Formalizing DSL Semantics for Reasoning and Conformance Testing.
Sarmen KeshishzadehArjan J. MooijPublished in: SEFM (2014)
Keyphrases
- reasoning tasks
- open world
- proof theory
- reasoning mechanisms
- default rules
- fuzzy description logics
- proof theoretic
- formal semantics
- logical framework
- graphical representation
- uncertain information
- knowledge base
- reasoning mechanism
- automated reasoning
- default reasoning
- abstract argumentation
- reasoning services
- logic programming
- computational properties
- knowledge representation
- logical rules
- semantic information
- reasoning systems
- model theoretic
- vague concepts
- defeasible reasoning
- derivation rules
- closed world
- reasoning problems
- cp nets
- legal reasoning
- software testing
- data exchange
- logic programs
- relational databases