Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs.
Stijn HeymansDavy Van NieuwenborghDirk VermeirPublished in: ESWC (2005)
Keyphrases
- logic programs
- logic programming
- rule based reasoning
- reasoning tasks
- knowledge representation
- strong equivalence
- answer set semantics
- case based reasoning
- answer set programming
- answer sets
- nonmonotonic reasoning
- fixpoint
- argumentation frameworks
- minimal models
- owl ontologies
- autoepistemic logic
- stable models
- artificial intelligence
- deductive databases
- inference mechanism
- computational properties
- semantics of logic programs
- default logic
- stable model semantics
- knowledge base
- knowledge structures
- conceptual modeling
- semi automatic
- expert systems
- high level
- disjunctive logic programming
- propositional logic
- knowledge based systems
- decision support system
- knowledge management
- databases