Abductive Logic Programming for Normative Reasoning and Ontologies.
Marco GavanelliEvelina LammaFabrizio RiguzziElena BellodiRiccardo ZeseGiuseppe CotaPublished in: JSAI-isAI Workshops (2015)
Keyphrases
- abductive logic programming
- logic programs
- proof procedure
- knowledge representation
- knowledge base
- domain ontology
- theorem proving
- semantic web
- semantic relations
- answer set semantics
- computational properties
- logic programming
- domain specific
- information integration
- propositional logic
- fixpoint
- machine learning
- first order logic
- modular ontologies