Some Extensions to Propositional Mean-Value Caculus: Expressiveness and Decidability.
Paritosh K. PandyaPublished in: CSL (1995)
Keyphrases
- default logic
- truth maintenance systems
- description logics
- computational properties
- expressive power
- default theories
- query answering
- first order logic
- automata theoretic
- efficient implementation
- multi valued
- propositional logic
- probabilistic logic
- data exchange
- data model
- database systems
- learning algorithm
- temporal logic
- logic programming
- decision procedures
- argumentation semantics
- strips planning