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