Proceedings of the 7th International Workshop on Modular Ontologies co-located with the 12th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2013), Corunna, Spain, September 15, 2013.
Published in: WoMO (2013)
Keyphrases
- logic programming
- modular ontologies
- possibilistic logic
- logic programs
- autoepistemic logic
- nonmonotonic reasoning
- answer set programming
- classical logic
- deductive databases
- knowledge representation
- programming language
- default logic
- logic programming language
- knowledge base
- answer sets
- knowledge representation and reasoning
- defeasible logic
- stable models
- data mining
- high level
- np complete
- ontology languages
- disjunctive logic programming