Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual Semantics.
Mario AlvianoLaura GiordanoDaniele Theseider DupréPublished in: ICLP Workshops (2023)
Keyphrases
- defeasible reasoning
- abstract argumentation
- reasoning tasks
- answer set programming
- legal reasoning
- argumentation systems
- argumentation semantics
- formal semantics
- preference relations
- proof theory
- logic programming
- open world
- weighted graph
- argumentation frameworks
- reasoning mechanisms
- conditional logic
- evidential reasoning
- abstract argumentation frameworks
- legal cases
- fuzzy description logics
- graph model
- logical formulas
- nonmonotonic reasoning
- graph matching
- logical framework
- proof theoretic
- uncertain information
- association graph
- practical reasoning
- computational properties
- default reasoning
- graph properties
- web applications
- defeasible logic
- reasoning mechanism
- uml class diagrams
- logical rules
- reasoning services
- grounded semantics
- owl dl
- knowledge base
- reasoning systems
- logic programs
- argumentation theory
- case based reasoning
- possibility theory
- stable model semantics
- automated reasoning
- bipartite graph
- reasoning process
- bayesian networks
- description logics
- semantic information
- graph theory
- edge weights
- closed world
- knowledge representation and reasoning
- cp nets
- agent communication
- default rules