Naming and Identity in Epistemic Logic Part II: A First-Order Logic for Naming.
Adam J. GrovePublished in: Artif. Intell. (1995)
Keyphrases
- first order logic
- epistemic logic
- inference rules
- formal semantics
- expressive power
- propositional logic
- theorem proving
- theorem prover
- probabilistic reasoning
- knowledge representation
- model checking
- inductive logic programming
- modal logic
- logical framework
- incomplete information
- representation language
- horn clauses
- dynamic epistemic logic
- automated reasoning
- multi agent systems
- markov logic networks
- transitive closure
- integrity constraints
- logic programs
- bayesian networks
- data mining