The following pages link to (Q4514010):
Displayed 30 items.
- An approach to characterize graded entailment of arguments through a label-based framework (Q511660) (← links)
- A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system (Q814436) (← links)
- Equilibrium logic (Q854969) (← links)
- Answer set programming based on propositional satisfiability (Q861709) (← links)
- A labeled argumentation framework (Q901086) (← links)
- Equivalence for the \(G_3^\prime\)-stable models semantics (Q975880) (← links)
- The foundations of DeLP: Defeating relations, games and truth values (Q987489) (← links)
- Logic programming and knowledge representation---The A-Prolog perspective (Q1603731) (← links)
- A sequential model of bargaining in logic programming (Q1633069) (← links)
- What is answer set programming to propositional satisfiability (Q1699519) (← links)
- Designing context-aware systems: a method for understanding and analysing context in practice (Q1734516) (← links)
- Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics (Q1776197) (← links)
- Advanced elementary formal systems. (Q1874228) (← links)
- Learning directed relational models with recursive dependencies (Q1945140) (← links)
- Practical reasoning using values: an argumentative approach based on a hierarchy of values (Q2294587) (← links)
- On the graded acceptability of arguments in abstract and instantiated argumentation (Q2321325) (← links)
- Possibilistic nested logic programs and strong equivalence (Q2344722) (← links)
- Integrity constraints in OWL ontologies based on grounded circumscription (Q2418659) (← links)
- Loop formulas for circumscription (Q2457644) (← links)
- A characterization of answer sets for logic programs (Q2644415) (← links)
- Backing and Undercutting in Defeasible Logic Programming (Q3011934) (← links)
- Dialectical Explanations in Defeasible Argumentation (Q3524938) (← links)
- A Comparative Study of Some Central Notions of <i>ASPIC</i><sup>+</sup> and <i>DeLP</i> (Q4957198) (← links)
- Default Negation as Explicit Negation plus Update (Q5059691) (← links)
- Defeasible Argumentation Support for an Extended BDI Architecture (Q5385619) (← links)
- On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP (Q5504658) (← links)
- Witnesses for Answer Sets of Logic Programs (Q5886522) (← links)
- Nonmonotonic reasoning by inhibition nets (Q5941136) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
- Automatic knowledge generation for a persuasion dialogue system with enthymemes (Q6178706) (← links)