Decidability and Undecidability Results for Propositional Schemata.
Vincent AravantinosRicardo CaferraNicolas PeltierPublished in: J. Artif. Intell. Res. (2011)
Keyphrases
- description logics
- query containment
- propositional logic
- first order logic
- knowledge base
- query answering
- knowledge representation
- probabilistic planning
- exptime complete
- transitive closure
- multi valued
- functional dependencies
- number restrictions
- strips planning
- answering queries
- inverse roles
- horn clauses
- dl lite
- knowledge compilation
- probabilistic logic
- expressive power
- search algorithm