[HTML][HTML] Methods for solving reasoning problems in abstract argumentation–a survey
Within the last decade, abstract argumentation has emerged as a central field in Artificial
Intelligence. Besides providing a core formalism for many advanced argumentation systems …
Intelligence. Besides providing a core formalism for many advanced argumentation systems …
Answer-set programming encodings for argumentation frameworks
U Egly, SA Gaggl, S Woltran - Argument & Computation, 2010 - content.iospress.com
Answer-set programming (ASP) has emerged as a declarative programming paradigm
where problems are encoded as logic programs, such that the so-called answer sets of …
where problems are encoded as logic programs, such that the so-called answer sets of …
On the equivalence between assumption-based argumentation and logic programming
M Caminada, C Schulz - Journal of Artificial Intelligence Research, 2017 - jair.org
Assumption-Based Argumentation (ABA) has been shown to subsume various other non-
monotonic reasoning formalisms, among them normal logic programming (LP). We re …
monotonic reasoning formalisms, among them normal logic programming (LP). We re …
Expressiveness of two-valued semantics for abstract dialectical frameworks
H Strass - Journal of Artificial Intelligence Research, 2015 - jair.org
We analyse the expressiveness of Brewka and Woltran's abstract dialectical frameworks for
two-valued semantics. By expressiveness we mean the ability to encode a desired set of two …
two-valued semantics. By expressiveness we mean the ability to encode a desired set of two …
Answer set programming and agents
A Dyoub, S Costantini, G De Gasperis - The Knowledge Engineering …, 2018 - cambridge.org
In this paper, we discuss the potential role of answer set programming (ASP) in the context
of approaches to the development of agents and multi-agent systems especially in the realm …
of approaches to the development of agents and multi-agent systems especially in the realm …
The relative expressiveness of abstract argumentation and logic programming
H Strass - Proceedings of the AAAI Conference on Artificial …, 2015 - ojs.aaai.org
We analyze the relative expressiveness of the two-valued semantics of abstract
argumentation frameworks, normal logic programs and abstract dialectical frameworks. By …
argumentation frameworks, normal logic programs and abstract dialectical frameworks. By …
An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms
Two knowledge bases are strongly equivalent if and only if they are mutually
interchangeable in arbitrary contexts. This notion is of high interest for any logical formalism …
interchangeable in arbitrary contexts. This notion is of high interest for any logical formalism …
Manifold answer-set programs and their applications
W Faber, S Woltran - … , and Nonmonotonic Reasoning: Essays Dedicated to …, 2011 - Springer
In answer-set programming (ASP), the main focus usually is on computing answer sets
which correspond to solutions to the problem represented by a logic program. Simple …
which correspond to solutions to the problem represented by a logic program. Simple …
Argumentation-based framework for industrial wastewater discharges management
M Aulinas, P Tolchinsky, C Turon, M Poch… - … Applications of Artificial …, 2012 - Elsevier
The daily operation of wastewater treatment plants (WWTPs) in unitary sewer systems of
industrialized areas is of special concern. Severe problems can occur due to the …
industrialized areas is of special concern. Severe problems can occur due to the …
Manifold answer-set programs for meta-reasoning
W Faber, S Woltran - International Conference on Logic Programming and …, 2009 - Springer
In answer-set programming (ASP), the main focus usually is on computing answer sets
which correspond to solutions to the problem represented by a logic program. Simple …
which correspond to solutions to the problem represented by a logic program. Simple …