Propositional Goedel Logic and Delannoy Paths.
Pietro CodaraOttavio M. D'AntonaVincenzo MarraPublished in: FUZZ-IEEE (2007)
Keyphrases
- sound and complete axiomatization
- multi valued
- deductive reasoning
- probabilistic logic
- propositional logic
- proof procedure
- horn clauses
- autoepistemic logic
- modal logic
- logic programming
- general logic programs
- predicate calculus
- shortest path
- default logic
- automated reasoning
- logical framework
- defeasible logic
- propositional variables
- predicate logic
- knowledge base
- classical first order logic
- logical theories
- propositional theories
- first order logic
- abductive reasoning
- truth values
- belief revision
- computational problems
- default theories
- situation calculus
- path finding