Generalized Abstract Argumentation: A First-order Machinery towards Ontology Debugging.
Martín O. MoguillanskyNicolás D. RotsteinMarcelo A. FalappaPublished in: Inteligencia Artif. (2010)
Keyphrases
- abstract argumentation
- first order logic
- theorem proving
- semantic web
- domain specific
- domain knowledge
- argumentation frameworks
- domain ontology
- abstract argumentation frameworks
- data mining
- model based diagnosis
- sufficient conditions
- higher order
- knowledge representation
- decision problems
- knowledge base
- machine learning