Pages that link to "Item:Q4327844"
From MaRDI portal
The following pages link to An argumentation-theoretic foundation for logic programming (Q4327844):
Displaying 22 items.
- Iterative belief revision in extended logic programming (Q672058) (← links)
- Diversity of agents and their interaction (Q1006512) (← links)
- Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction (Q1037610) (← links)
- Argumentation in disjunctive logic programming (Q1129838) (← links)
- A unifying view for logic programming with non-monotonic reasoning (Q1390932) (← links)
- Abduction in logic programming: A new definition and an abductive procedure based on rewriting (Q1614866) (← links)
- Semantics for a theory of defeasible reasoning (Q1776195) (← links)
- An abstract argumentation and logic programming comparison based on 5-valued labellings (Q2146012) (← links)
- Modal provability foundations for argumentation networks (Q2269511) (← links)
- Probabilistic abstract argumentation frameworks, a possible world view (Q2300457) (← links)
- Dialectic proof procedures for assumption-based, admissible argumentation (Q2457643) (← links)
- Principles Of Talmudic Logic (Q3305655) (← links)
- Argumentation-Based Semantics for Logic Programs with First-Order Formulae (Q4571139) (← links)
- Justifying answer sets using argumentation (Q4593019) (← links)
- Solving stable matching problems using answer set programming (Q4593026) (← links)
- Stabilization of Information Sharing for Queries Answering in Multiagent Systems (Q4649726) (← links)
- Knowledge base dynamics, abduction, and database updates (Q4835515) (← links)
- An abductive framework for negation in disjunctive logic programming (Q5236438) (← links)
- Modelling last-act attempted crime in criminal law (Q5243395) (← links)
- Cost-bounded argumentation (Q5932223) (← links)
- A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics (Q5958767) (← links)
- Theoretical analysis and implementation of abstract argumentation frameworks with domain assignments (Q6178732) (← links)