A Default Logical Semantics for Defeasible Argumentation.
Gabriele Kern-IsbernerGuillermo Ricardo SimariPublished in: FLAIRS Conference (2011)
Keyphrases
- logic programming
- defeasible argumentation
- default rules
- logic programs
- logical framework
- formal semantics
- defeasible logic programming
- programming language
- conceptual model
- answer set programming
- reasoning tasks
- probabilistic knowledge
- knowledge representation
- argumentation theory
- nonmonotonic reasoning
- default reasoning
- natural language
- stable models
- probabilistic logic
- argumentation semantics
- data model
- relational databases