Skeptical and Credulous Event Calculi for Supporting Modal Queries.
Luca ChittaroAngelo MontanariAlessandro ProvettiPublished in: ECAI (1994)
Keyphrases
- nonmonotonic inference
- default logic
- query language
- query processing
- graph theoretic
- web search engines
- modal logic
- default reasoning
- efficient processing
- query logs
- default theories
- event detection
- query evaluation
- range queries
- nonmonotonic reasoning
- databases
- nonmonotonic logics
- search engine
- argumentation frameworks
- response time
- complex queries
- query formulation
- database
- description logics
- data model
- tree patterns
- logic programming
- multi attribute
- conditional logic