Keyphrases
- proof theory
- automated reasoning
- deductive reasoning
- xml documents
- computational properties
- logical framework
- order of magnitude reasoning
- reasoning engine
- logical inference
- probabilistic logic
- human reasoning
- xml data
- abductive reasoning
- logic programming
- proof theoretic
- intuitionistic logic
- reasoning systems
- horn logic
- xml databases
- databases
- knowledge representation formalisms
- xml format
- markup language
- probabilistic reasoning
- knowledge base
- metadata
- relational databases
- reasoning tasks
- reasoning process
- logical rules
- commonsense reasoning
- semi structured
- knowledge representation and reasoning
- database
- topic maps
- reasoning problems
- classical logic
- multi valued
- modal logic
- data integration
- default reasoning
- xml queries
- qualitative reasoning
- object oriented databases
- xml schema
- integrity constraints
- data exchange
- expressive power
- causal reasoning
- knowledge representation
- data model
- proof procedure
- database systems
- predicate logic
- reasoning about actions