An Extended Logic Language For Representing Belief.
John FoxPaul J. KrauseMirko DohnalPublished in: ECSQARU (1991)
Keyphrases
- modal operators
- monadic second order logic
- expressive power
- modal logic
- dynamic logic
- programming language
- proof theory
- formal language
- logic programming
- first order logic
- operational semantics
- lambda calculus
- natural language
- temporal logic
- regular expressions
- intuitionistic logic
- predicate calculus
- multi valued
- automated reasoning
- situation calculus
- truth values
- classical logic
- language learning
- agent programming
- highly expressive
- specification language
- belief revision
- linear temporal logic
- rule engine
- knowledge base
- asynchronous circuits
- belief functions
- logic programming language
- conditional logic