Keyphrases
- action theories
- equational theories
- defeasible logic
- horn clauses
- situation calculus
- probability theory
- reasoning about actions
- theorem proving
- causal theories
- theoretical framework
- automated reasoning
- lattice theory
- modal logic
- formal logic
- predicate logic
- initial state
- transition systems
- proof theory
- artificial intelligence
- theorem prover
- digital circuits
- multi valued
- human actions
- logic programming
- information systems
- sound and complete axiomatization
- nonmonotonic logics
- logical framework
- practical reasoning
- computational models
- decision making
- propositional theories
- neural network