Logic Programming, Argumentation and Human Reasoning.
Marcos CramerEmmanuelle-Anna Dietz SaldanhaPublished in: CLAR (2020)
Keyphrases
- logic programming
- human reasoning
- knowledge representation
- defeasible argumentation
- scientific discovery
- fuzzy logic
- logic programs
- nonmonotonic reasoning
- cognitive psychology
- defeasible reasoning
- causal relationships
- machine learning
- argumentation systems
- artificial intelligence
- defeasible logic programming
- knowledge base
- answer set programming
- deductive databases
- programming language
- argumentation semantics
- logic programming language
- answer sets
- contextual knowledge
- default logic
- expert systems
- argumentation frameworks
- natural language
- first order logic
- knowledge discovery
- contextual information
- control system
- practical reasoning
- software engineering
- stable models
- argumentation theory
- context aware