Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics.
Tim LyonKees van BerkelPublished in: CoRR (2019)
Keyphrases
- logical framework
- reasoning problems
- decision procedures
- sequent calculi
- proof theory
- linear logic
- coalition logic
- modal logic
- cut elimination
- description logics
- reasoning tasks
- inference rules
- proof theoretic
- multi agent systems
- theorem proving
- automated reasoning
- sequent calculus
- computational properties
- intuitionistic logic
- theorem prover
- natural deduction
- belief revision
- default reasoning
- first order logic
- number restrictions
- knowledge base
- inheritance reasoning
- query answering
- proof procedure
- conditional logic
- temporal logic
- model theoretic
- expressive power
- natural language
- nonmonotonic reasoning
- logical rules
- satisfiability problem
- interval algebra
- reinforcement learning
- cooperative
- qualitative spatial
- model checking
- classical logic
- probabilistic reasoning