On the Development of a Formal Methodology for Knowledge Representation in Defeasible Logic Programming.
Alejandro G. StankeviciusMarcela CapobiancoPublished in: SBIA (2012)
Keyphrases
- knowledge representation
- defeasible logic programming
- logic programming
- knowledge based systems
- software engineering
- ontological engineering
- knowledge engineering
- formal representation
- formal model
- defeasible argumentation
- semantic web
- natural language
- machine learning
- automated reasoning
- knowledge base
- ontology engineering
- reinforcement learning
- logic programs
- decision makers
- general purpose
- optimal solution