Decidability and Undecidability of Theories with a Predicate for the Primes.
P. T. BatemanCarl G. Jockusch Jr.Alan R. WoodsPublished in: J. Symb. Log. (1993)
Keyphrases
- description logics
- query containment
- conjunctive queries
- query answering
- theoretical framework
- knowledge base
- datalog programs
- first order logic
- inverse roles
- exptime complete
- knowledge representation
- expert systems
- data management
- state space
- integrity constraints
- search algorithm
- cognitive psychology
- case study
- decision procedures
- information systems
- design theory
- type checking
- databases
- database