Adding Proof Calculi to Epistemic Logics with Structured Knowledge.
Mario R. F. BenevidesAlexandre MadeiraManuel A. MartinsPublished in: FSEN (2021)
Keyphrases
- sequent calculi
- structured knowledge
- knowledge representation and reasoning
- conditional logic
- semi structured
- modal logic
- knowledge base
- epistemic logic
- conceptual graphs
- cut elimination
- knowledge representation
- proof theory
- reasoning systems
- incomplete information
- modal operators
- description logics
- proof theoretic
- artificial intelligence
- belief change
- structured data
- decision procedures
- sequent calculus
- databases
- automated reasoning
- inference rules
- propositional dynamic logic
- linear logic
- natural deduction
- logic programming
- information extraction
- domain knowledge
- multi agent systems