A Logic Programming Language Designed for the Modeling of Abductive Reasoning in an Educational Context.
Osvaldo Luiz De OliveiraCarlos Eduardo Andrade OliveiraRicardo Jose MartinsMarcio MatsumotoPublished in: MICAI (Special Session) (2016)
Keyphrases
- logic programming language
- abductive reasoning
- inference rules
- logic programming
- reasoning tasks
- logic programs
- constraint logic programming
- logical representation
- nonmonotonic reasoning
- machine learning
- first order logic
- natural language understanding
- plan recognition
- probabilistic logic
- context aware
- high level
- knowledge base
- artificial intelligence