Keyphrases
- international conference
- qualitative models
- causal reasoning
- acm sigkdd
- acm sigmod
- qualitative reasoning
- order of magnitude reasoning
- lecture notes
- qualitative simulation
- international workshop
- naacl hlt
- cyber security and information intelligence
- conference proceedings
- proof theory
- lecture notes in artificial intelligence
- qualitative physics
- computational intelligence
- workshop on artificial intelligence
- computational properties
- qualitative and quantitative
- inheritance reasoning
- proof theoretic
- student research workshop
- intuitionistic logic
- dynamic systems
- knowledge representation formalisms
- modal logic
- human computation
- horn logic
- computer science
- advances in artificial intelligence
- expressive power
- international symposium
- model construction
- knowledge discovery and data mining
- knowledge base
- description logics
- inference rules
- model based diagnosis
- years ago
- default reasoning
- selected papers
- multi context systems
- point algebra
- automated reasoning
- reasoning tasks
- uncertain knowledge
- classical logic
- natural language processing
- reasoning about actions