A Decidable CLDS for Some Propositional Resource Logics.
Krysia BrodaPublished in: Computational Logic: Logic Programming and Beyond (2002)
Keyphrases
- first order logic
- expressive power
- classical first order logic
- default logic
- polynomial hierarchy
- inference rules
- propositional logic
- modal logic
- resource allocation
- horn clauses
- linearly ordered
- transitive closure
- theorem prover
- predicate calculus
- resource management
- theorem proving
- coalition logic
- knowledge representation
- propositional variables
- strips planning
- function symbols
- nonmonotonic logics
- resource constraints
- belief revision