Tableaux for Acceptance Logic.
Mathijs de BoerAndreas HerzigTiago de LimaEmiliano LoriniPublished in: DALT (2009)
Keyphrases
- modal logic
- sequent calculi
- automated reasoning
- decision procedures
- logic programming
- functional dependencies
- epistemic logic
- proof procedure
- temporal logic
- sound and complete axiomatization
- classical logic
- logical framework
- classical first order logic
- inference rules
- predicate calculus
- dynamic logic
- multi valued
- digital circuits
- conditional logic
- nonmonotonic logics
- data sets
- situation calculus
- database design
- scheduling problem
- artificial intelligence
- information retrieval
- neural network