Reasoning

Results: 5026



#Item
1Artificial intelligence / Multi-agent systems / Modeling and simulation / Systems science / Agent-based model / Artificial life / Complex systems theory / Model checking / Temporal logic / Intelligent agent / Sociology

Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification Workshop

Add to Reading List

Source URL: cgi.csc.liv.ac.uk

Language: English - Date: 2015-11-05 09:28:54
2Cryptocurrencies / Computing / Concurrent computing / Fault-tolerant computer systems / Distributed computing / Distributed algorithms / Theory of computation / Cryptography / Byzantine fault tolerance / Blockchain / Consensus / Proof-of-stake

OPERA: Reasoning about continuous common knowledge in asynchronous distributed systems Sang-Min Choia , Jiho Parka , Quan Nguyena , Kiyoung Jangb , Hyunjoon Cheonb , Yo-Sub Hanb , Byung-Ik Ahna a

Add to Reading List

Source URL: fantom.foundation

Language: English - Date: 2018-10-24 09:53:18
3Theoretical computer science / Logic in computer science / Automated theorem proving / Formal methods / Constraint programming / Logic programming / Resolution / Unification / Satisfiability modulo theories / Andrei Voronkov

Instantiation for Theory Reasoning in Vampire Giles Reger Theory Reasoning in saturation provers φ

Add to Reading List

Source URL: www.logic.at

Language: English - Date: 2018-07-19 05:32:19
4Artificial intelligence / Logic / Cognitive science / Automated reasoning / Reasoning / Accountability / Technology / Automated theorem proving / Explainable Artificial Intelligence / Xai / Inference

Automated Reasoning for EXplainable Artificial Intelligence Maria Paola Bonacina Dipartimento di Informatica Universit` a degli Studi di Verona

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2017-08-08 03:28:31
5Mathematics / Theoretical computer science / Applied mathematics / Logic in computer science / Formal methods / Computational neuroscience / Artificial neural networks / Proof assistants / Entropy / Coq / N-gram / Recurrent neural network

Language Models for Proofs Anonymous Author(s) ABSTRACT Proofs play a key role in reasoning about programs and verification of properties of systems. Mechanized proof assistants help users in developing proofs and checki

Add to Reading List

Source URL: web.cs.ucdavis.edu

Language: English - Date: 2018-10-22 12:57:37
6Mathematics / Algebra / Theoretical computer science / Logic in computer science / Satisfiability modulo theories / Alt-Ergo / Modular arithmetic / Ring / Rewriting / Linear programming / First-order logic / Interval arithmetic

A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo Sylvain Conchon∗ Mohamed Iguernelala∗,∗∗ Alain Mebsout∗ ∗ LRI, Universit´

Add to Reading List

Source URL: mebsout.github.io

Language: English - Date: 2017-07-21 11:03:15
7Artificial intelligence / Cognitive science / Logic / Cognition / Cybernetics / Automated reasoning / Automated theorem proving / Computational neuroscience / Explainable Artificial Intelligence / Mark E. Stickel / Reason / Inference

Automated Reasoning for Explainable Artificial Intelligence∗ Maria Paola Bonacina1 Dipartimento di Informatica Universit` a degli Studi di Verona Strada Le Grazie 15

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2017-07-30 15:10:53
8Mathematical logic / Mathematics / Logic / Logic in computer science / Proof assistants / Model theory / Proof theory / Foundations of mathematics / ZermeloFraenkel set theory / HOL / Gdel's completeness theorem / Gdel's incompleteness theorems

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Self-Formalisation of Higher-Order Logic Semantics, Soundness, and a Verified Implementation Ramana Kumar · Rob Arthan ·

Add to Reading List

Source URL: cakeml.org

Language: English - Date: 2015-12-16 14:53:21
9Logic / Mathematical logic / Theoretical computer science / Automated theorem proving / Logic in computer science / Formal methods / Logic programming / Propositional calculus / Resolution / Unification / Satisfiability modulo theories / Literal

Instantiation for Theory Reasoning in Vampire Giles Reger Martin Riener University of Manchester, Manchester, UK

Add to Reading List

Source URL: www.logic.at

Language: English - Date: 2018-07-19 05:32:19
10Logic / Mathematical logic / Mathematics / Model theory / Propositional calculus / Logic in computer science / Logical truth / Linear temporal logic / First-order logic / Well-formed formula / Interpretation / Intuitionistic logic

Automated Deduction for Verification Natarajan Shankar SRI International Automated deduction uses computation to perform symbolic logical reasoning. It has been a core technology for program verification from the very be

Add to Reading List

Source URL: dream.inf.ed.ac.uk

Language: English - Date: 2010-07-20 03:24:48
UPDATE