Zobrazeno 1 - 10
of 71
pro vyhledávání: '"Phan Minh Dung"'
Publikováno v:
Argument & Computation, Vol 13, Iss 2, Pp 121-157 (2022)
We study the semantics of dialectical proof procedures. As dialectical proof procedures are in general sound but not complete wrt admissibility semantics, a natural question here is whether we could give a more precise semantical characterization of
Externí odkaz:
https://doaj.org/article/1b081388263446a3933b105525906d12
Autor:
Phan Minh Dung, Phan Minh Thang
Publikováno v:
Argument & Computation, Vol 9, Iss 3, Pp 249-267 (2018)
Abstract dialectical frameworks have been proposed as a generalization of the abstract argumentation frameworks. The semantics of abstract dialectical frameworks is defined by identifying different classes of models. In this paper, we show that the s
Externí odkaz:
https://doaj.org/article/3f8e38135dd542cdaa79b2ac24cd7c5d
Publikováno v:
AAAI
We study defeasible knowledge bases with conditional preferences (DKB). A DKB consists of a set of undisputed facts and a rule-based system that contains different types of rules: strict, defeasible, and preference. A major challenge in defining the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c49e4e78df4cb567dcc961e100540caa
https://doi.org/10.1609/aaai.v33i01.33012792
https://doi.org/10.1609/aaai.v33i01.33012792
First published online: 7 August 2019 In the court of law, a person can be punished for attempting to commit a crime. An open issue in the study of Artificial Intelligence and Law is whether the law of attempts could be formally modelled. There are d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d6276189b7686829a29a53cf0d719448
https://hdl.handle.net/1814/65769
https://hdl.handle.net/1814/65769
Autor:
Phan Minh Dung, Phan Minh Thang
Publikováno v:
Artificial Intelligence. 255:1-42
Due to a proliferation and diversity of approaches to structured argumentation with prioritized rules, several simple and intuitive principles for characterization and evaluation of the proposed attack relations have recently been introduced in [23]
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::190f95af4c0b810ff8d9ee1d386c3011
https://doi.org/10.1016/j.artint.2017.11.002
https://doi.org/10.1016/j.artint.2017.11.002
Autor:
Phan Minh Dung
Publikováno v:
Artificial Intelligence. 231:107-150
Several systems of semantics have been proposed for structured argumentation with priorities. As the proposed semantics often sanction contradictory conclusions (even for skeptical reasoners), there is a fundamental need for guidelines for understand
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a006a33fd53ae6080fc50500a0053999
https://doi.org/10.1016/j.artint.2015.10.005
https://doi.org/10.1016/j.artint.2015.10.005
Autor:
Phan Minh Dung, Phan Minh Thang
Publikováno v:
Journal of Artificial Intelligence Research. 49:79-109
Properties like logical closure and consistency are important properties in any logical reasoning system. Caminada and Amgoud showed that not every logic-based argument system satisfies these relevant properties. But under conditions like closure und
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7bb7d623fb2b9b0f01f05e4758e72757
https://doi.org/10.1613/jair.4107
https://doi.org/10.1613/jair.4107
Publikováno v:
PRIMA 2016: Princiles and Practice of Multi-Agent Systems ISBN: 9783319448312
PRIMA
PRIMA
This paper studies different semantics of logic programs with first order formulae under the lens of argumentation framework. It defines the notion of an argumentation-based answer set and the notion of an argumentation-based well-founded model for p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3c6ad1a1f96c5bdfe5fa7b78349c75c8
https://doi.org/10.1007/978-3-319-44832-9_3
https://doi.org/10.1007/978-3-319-44832-9_3
Autor:
Phan Minh Dung
Publikováno v:
PRIMA 2016: Princiles and Practice of Multi-Agent Systems ISBN: 9783319448312
PRIMA
PRIMA
An argument system could be viewed as a pair of a set of argument and a binary attack relation between arguments. The semantics of argumentation rests on the acceptability of arguments and the structure of arguments and their attack relations. While
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::99cd91598e42de7515b779e13fd2297d
https://doi.org/10.1007/978-3-319-44832-9_2
https://doi.org/10.1007/978-3-319-44832-9_2
Autor:
Phan Minh Dung, Giovanni Sartor
Publikováno v:
Artificial Intelligence and Law. 19:233-261
We provide a logical analysis of private international law, a rather esoteric, but increasingly important, domain of the law. Private international law addresses overlaps and conflicts between legal systems by distributing cases between the authoriti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6f3669930fc6d59da20b6bfdac2e3d18
https://doi.org/10.1007/s10506-011-9112-5
https://doi.org/10.1007/s10506-011-9112-5