Negotiating logic: for richer or poorer.
Pamela N. GrayXenogene GrayJohn ZeleznikowPublished in: ICAIL (2007)
Keyphrases
- classical logic
- modal logic
- logic programming
- software agents
- computational properties
- automated reasoning
- sound and complete axiomatization
- logic synthesis
- proof theory
- asynchronous circuits
- predicate logic
- logical framework
- neural network
- defeasible logic
- epistemic logic
- probabilistic logic
- dynamic logic
- multi valued
- linear temporal logic
- propositional dynamic logic
- database