Epistemic Logics with Structured Knowledge.
Alexandre MadeiraManuel A. MartinsMario R. F. BenevidesPublished in: LSFA (2018)
Keyphrases
- structured knowledge
- epistemic logic
- semi structured
- knowledge representation and reasoning
- knowledge base
- modal logic
- propositional dynamic logic
- modal operators
- conceptual graphs
- expressive power
- model checking
- inference rules
- kripke models
- description logics
- belief change
- multi agent systems
- artificial intelligence
- database
- structured data
- reasoning systems
- incomplete information
- state space
- knowledge representation
- expert systems
- logical framework
- nonmonotonic logics
- information retrieval
- databases
- data sets