Keyphrases
- epistemic logic
- logic program updates
- abstract argumentation
- modal operators
- formal semantics
- propositional dynamic logic
- logic programs
- belief change
- semantic information
- logical framework
- database
- logic programming
- high level
- knowledge base
- secret key
- knowledge representation
- natural language
- multi agent
- database systems
- neural network