Zobrazeno 1 - 10
of 19
pro vyhledávání: '"Sarah Alice Gaggl"'
Publikováno v:
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence.
We study the extension of non-monotonic disjunctive logic programs with terms that represent sets of constants, called DLP(S), under the stable model semantics. This strictly increases expressive power, but keeps reasoning decidable, though cautious
Publikováno v:
Logic Programming and Nonmonotonic Reasoning ISBN: 9783031157066
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d0d84d8eddebe89506f85dee7f2ccea1
https://doi.org/10.1007/978-3-031-15707-3_14
https://doi.org/10.1007/978-3-031-15707-3_14
Publikováno v:
Logic Programming and Nonmonotonic Reasoning ISBN: 9783031157066
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e2536baee00a3b01cedff3cc38465434
https://doi.org/10.1007/978-3-031-15707-3_17
https://doi.org/10.1007/978-3-031-15707-3_17
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030893903
CLAR
CLAR
Assumption-based argumentation (ABA) is one of the main general frameworks for structured argumentation. Dispute derivations for ABA allow for evaluating claims in a dialectical manner: i.e. on the basis of an exchange of arguments and counter-argume
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::39c15b433555979a3b8175f336b836c1
https://doi.org/10.1007/978-3-030-89391-0_9
https://doi.org/10.1007/978-3-030-89391-0_9
Autor:
Holger Hermanns, Nikolai Käfer, Clemens Dubslaff, Christel Baier, Martin Diller, Sarah Alice Gaggl
Publikováno v:
Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning
KR
KR
argumentation is a prominent reasoning framework. It comes with a variety of semantics and has lately been enhanced by probabilities to enable a quantitative treatment of argumentation. While admissibility is a fundamental notion for classical reason
Publikováno v:
AI Magazine; Vol 39 No 4: Winter 2018; 77-79
We give an overview of design and results of the Second International Competition on Computational Models of Argumentation (ICCMA’17). Following the first edition in 2015, the competition evaluates the performance of submitted solvers on computatio
Argumentation is a major topic in the study of Artificial Intelligence. Since the first edition in 2015, advancements in solving (abstract) argumentation frameworks are assessed in competition events, similar to other closely related problem solving
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d20ae79562b774faae6eae9d57dd3794
Publikováno v:
Fundamenta Informaticae. 155:i-iii
Autor:
Sarah Alice Gaggl, Wolfgang Dvořák
Publikováno v:
Journal of Logic and Computation. 26:1149-1202
Autor:
Sarah Alice Gaggl, Umer Mushtaq
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319458557
SUM
SUM
Argumentation is a simple yet powerful formalism for modeling the human reasoning and argumentation process. Various semantics have been suggested with a view of arriving at coherent outcomes of the argumentation process. Two categories of semantics
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7bceaf11b834955698724378f089262a
https://doi.org/10.1007/978-3-319-45856-4_11
https://doi.org/10.1007/978-3-319-45856-4_11