Monodic Epistemic Predicate Logic.
Holger SturmFrank WolterMichael ZakharyaschevPublished in: JELIA (2000)
Keyphrases
- predicate logic
- formal logic
- knowledge representation and reasoning
- temporal logic
- semantic net
- computational linguistics
- epistemic logic
- predicate calculus
- semantic network
- belief change
- artificial intelligence
- knowledge representation
- multi agent
- natural language processing
- low level
- highly expressive
- knowledge base