Monadic Reasoning using Weak Completion Semantics.
Ana Oliveira da CostaEmmanuelle-Anna Dietz SaldanhaSteffen HölldoblerPublished in: YSIP (2017)
Keyphrases
- proof theory
- reasoning tasks
- open world
- valued logic
- deductive databases
- proof theoretic
- reasoning mechanisms
- computational properties
- logic programming
- logical framework
- default rules
- reasoning mechanism
- model theoretic
- default reasoning
- abstract argumentation
- fuzzy description logics
- reasoning services
- reasoning process
- vague concepts
- logical rules
- probabilistic reasoning
- owl dl
- knowledge base
- formal semantics
- graphical representation
- uml class diagrams
- reasoning systems
- derivation rules
- reasoning problems
- legal reasoning
- uncertain information
- classical logic
- automated reasoning
- answer set programming
- expressive power
- logic programs
- description logics
- truth maintenance systems
- knowledge representation and reasoning
- closed world
- datalog queries
- semantic web
- knowledge representation