Goal-Directed Calculli for Gödel-Dummett Logics.
George MetcalfeNicola OlivettiDov M. GabbayPublished in: CSL (2003)
Keyphrases
- goal directed
- valued logic
- expressive power
- modal logic
- inference rules
- autonomous robots
- automated planning
- propositional logic
- neural network
- classical logic
- social bookmarking
- propositional dynamic logic
- propositional calculus
- proof theory
- epistemic logic
- nonmonotonic logics
- first order logic
- artificial intelligence