An argumentation-theoretic foundation for logic programming
From MaRDI portal
Recommendations
Cited in
(36)- Diversity of agents and their interaction
- Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction
- Argumentation in disjunctive logic programming
- A unifying view for logic programming with non-monotonic reasoning
- Abduction in logic programming: A new definition and an abductive procedure based on rewriting
- Deductive argumentation by enhanced sequent calculi and dynamic derivations
- Defining stage argumentation semantics in terms of an abducible semantics
- Semantics for a theory of defeasible reasoning
- An abstract argumentation and logic programming comparison based on 5-valued labellings
- Modal provability foundations for argumentation networks
- Probabilistic abstract argumentation frameworks, a possible world view
- Dialectic proof procedures for assumption-based, admissible argumentation
- Principles of Talmudic logic
- scientific article; zbMATH DE number 1222412 (Why is no real title available?)
- Argumentation-based abduction in disjunctive logic programming
- Argumentation-based semantics for logic programs with first-order formulae
- Foundations for a logic of arguments
- Justifying answer sets using argumentation
- Solving stable matching problems using answer set programming
- Stabilization of Information Sharing for Queries Answering in Multiagent Systems
- A parameterised hierarchy of argumentation semantics for extended logic programming and its application to the well-founded semantics
- Computing argumentation in logic programming
- Knowledge base dynamics, abduction, and database updates
- Contextual hypotheses and semantics of logic programs
- Computing the acceptability semantics
- An abductive framework for negation in disjunctive logic programming
- Modelling last-act attempted crime in criminal law
- Cost-bounded argumentation
- A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics
- Generic logical encoding for argumentation
- Theoretical analysis and implementation of abstract argumentation frameworks with domain assignments
- Nonmonotonic reasoning by monotonic inferences with priority constraints
- Iterative belief revision in extended logic programming
- Towards assumption-based argumentation mining in hotel reviews
- A logic programming framework for possibilistic argumentation: Formalization and logical properties
- Logic programming as classical inference
This page was built for publication: An argumentation-theoretic foundation for logic programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4327844)
