2 Search Results for "Liao, Beishui"


Document
Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362)

Authors: Dov M. Gabbay, Massimiliano Giacomin, Beishui Liao, and Leendert van der Torre

Published in: Dagstuhl Manifestos, Volume 7, Issue 1 (2018)


Abstract
Formal Argumentation is emerging as a key reasoning paradigm building bridges among knowledge representation and reasoning in artificial intelligence, informal argumentation in philosophy and linguistics, legal and ethical argumentation, mathematical and logical reasoning, and graph-theoretic reasoning. It aims to capture diverse kinds of reasoning and dialogue activities in the presence of uncertainty and conflicting information in a formal and intuitive way, with potential applications ranging from argumentation mining, via LegalTech and machine ethics, to therapy in clinical psychology. The turning point for the modern stage of formal argumentation theory, much similar to the introduction of possible worlds semantics for the theory of modality, is the framework and language of Dung's abstract argumentation theory introduced in 1995. This means that nothing could remain the same as before 1995 - it should be a focal point of reference for any study of argumentation, even if it is critical about it. Now, in modal logic, the introduction of the possible worlds semantics has led to a complete paradigm shift, both in tools and new subjects of studies. This is still not fully true for what is going on in argumentation theory. The Dagstuhl workshop led to the first volume of a handbook series in formal argumentation, reflecting the new stage of the development of argumentation theory.

Cite as

Dov M. Gabbay, Massimiliano Giacomin, Beishui Liao, and Leendert van der Torre. Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362). In Dagstuhl Manifestos, Volume 7, Issue 1, pp. 69-95, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@Article{gabbay_et_al:DagMan.7.1.69,
  author =	{Gabbay, Dov M. and Giacomin, Massimiliano and Liao, Beishui and van der Torre, Leendert},
  title =	{{Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362)}},
  pages =	{69--95},
  journal =	{Dagstuhl Manifestos},
  ISSN =	{2193-2433},
  year =	{2018},
  volume =	{7},
  number =	{1},
  editor =	{Gabbay, Dov M. and Giacomin, Massimiliano and Liao, Beishui and van der Torre, Leendert},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagMan.7.1.69},
  URN =		{urn:nbn:de:0030-drops-98957},
  doi =		{10.4230/DagMan.7.1.69},
  annote =	{Keywords: Artificial Intelligence, Knowledge Representation and Reasoning, Multi-Agent Systems, Argumentation, Non-monotonic Logic}
}
Document
Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362)

Authors: Dov M. Gabbay, Massimiliano Giacomin, Beishui Liao, and Leendert van der Torre

Published in: Dagstuhl Reports, Volume 5, Issue 8 (2016)


Abstract
This report documents the program and the outcomes of Dagstuhl Perspectives Workshop 15362 "Present and Future of Formal Argumentation". The goal of this Dagstuhl Perspectives Workshop was to gather the world leading experts in formal argumentation in order to develop a SWOT (Strength, Weaknesses, Opportunities, Threats) analysis of the current state of the research in this field and to draw accordingly some strategic lines to ensure its successful development in the future. A critical survey of the field has been carried out through individual presentations and collective discussions. Moreover, working group activity lead to identify several open problems in argumentation.

Cite as

Dov M. Gabbay, Massimiliano Giacomin, Beishui Liao, and Leendert van der Torre. Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362). In Dagstuhl Reports, Volume 5, Issue 8, pp. 74-89, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)


Copy BibTex To Clipboard

@Article{gabbay_et_al:DagRep.5.8.74,
  author =	{Gabbay, Dov M. and Giacomin, Massimiliano and Liao, Beishui and van der Torre, Leendert},
  title =	{{Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362)}},
  pages =	{74--89},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{8},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.5.8.74},
  URN =		{urn:nbn:de:0030-drops-56792},
  doi =		{10.4230/DagRep.5.8.74},
  annote =	{Keywords: Argumentation, Non-monotonic Logic, Multi-Agent Systems}
}
  • Refine by Author
  • 2 Gabbay, Dov M.
  • 2 Giacomin, Massimiliano
  • 2 Liao, Beishui
  • 2 van der Torre, Leendert

  • Refine by Classification

  • Refine by Keyword
  • 2 Argumentation
  • 2 Multi-Agent Systems
  • 2 Non-monotonic Logic
  • 1 Artificial Intelligence
  • 1 Knowledge Representation and Reasoning

  • Refine by Type
  • 2 document

  • Refine by Publication Year
  • 1 2016
  • 1 2018

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail