Decidability, Undecidability, and Gödel's Incompleteness in Relativity Theories.
Hajnal AndrékaJudit X. MadarászIstván NémetiPublished in: Parallel Process. Lett. (2012)
Keyphrases
- description logics
- query containment
- query answering
- inverse roles
- answering queries
- knowledge base
- probabilistic planning
- knowledge representation
- exptime complete
- incomplete information
- information systems
- decision procedures
- computational properties
- cognitive psychology
- conjunctive queries
- missing values
- data sets
- partially observable
- modal logic
- causal reasoning
- theoretical framework
- fuzzy logic
- number restrictions