<--- Back to Details
First PageDocument Content
Knowledge representation / Reasoning / Constraint programming / Cognition / Computational topology / Region connection calculus / Mathematics / Cognitive science / Logic
Date: 2015-08-11 09:14:44
Knowledge representation
Reasoning
Constraint programming
Cognition
Computational topology
Region connection calculus
Mathematics
Cognitive science
Logic

AAAI Proceedings Template

Add to Reading List

Source URL: qr15.sift.net

Download Document from Source Website

File Size: 667,10 KB

Share Document on Facebook

Similar Documents

Artificial 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

DocID: 1xVYq - View Document

Cryptocurrencies / 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

DocID: 1xVFA - View Document

Theoretical 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 φ

DocID: 1xVzg - View Document

Artificial 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

DocID: 1xVwB - View Document

Mathematics / 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

DocID: 1xVtC - View Document