<--- Back to Details
First PageDocument Content
Logic / Abstraction / Philosophy / Automated theorem proving / Reasoning / Formal methods / Predicate logic / Datalog / First-order logic / Axiom / Satisfiability modulo theories / Mereology
Date: 2007-08-16 08:58:53
Logic
Abstraction
Philosophy
Automated theorem proving
Reasoning
Formal methods
Predicate logic
Datalog
First-order logic
Axiom
Satisfiability modulo theories
Mereology

Microsoft Word - BlankPage

Add to Reading List

Source URL: www.cs.miami.edu

Download Document from Source Website

File Size: 2,74 MB

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