4 Search Results for "Gabbay, Dov M."

Document
DOI: 10.4230/DagMan.7.1.69
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
DOI: 10.4230/DagRep.5.8.74
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}
}
Document
DOI: 10.4230/DagSemProc.09121.16
FSL – Fibred Security Language

Authors: Valerio Genovese, Dov M. Gabbay, Guido Boella, and Leendert van der Torre

Published in: Dagstuhl Seminar Proceedings, Volume 9121, Normative Multi-Agent Systems (2009)

Abstract
We develop a fibred security language capable to express statements of the form begin{center} ${x }varphi (x) says psi$ end{center} where ${x}varphi (x)$ is the set of all $x$ that satisfy $varphi$ and $psi$ is any formula. $varphi$ and $psi$ may share several free variables. For example, we can express the following: "A member $m$ of the Program Committee can not accept a paper $P_1$ in which one of its authors says that he has published a paper with him after 2007" begin{center} $ eg({m} [PC(m) wedge {y}author\_of(y,P_1) extbf{ says } exists p(paper(p) wedge author\_of(m,p) wedge author\_of(y,p) wedge year(p) geq 2007)] extbf{ says } accept(P_1))$ end{center}
Cite as

Valerio Genovese, Dov M. Gabbay, Guido Boella, and Leendert van der Torre. FSL – Fibred Security Language. In Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 9121, pp. 1-29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{genovese_et_al:DagSemProc.09121.16,
  author =	{Genovese, Valerio and Gabbay, Dov M. and Boella, Guido and van der Torre, Leendert},
  title =	{{FSL – Fibred Security Language}},
  booktitle =	{Normative Multi-Agent Systems},
  pages =	{1--29},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9121},
  editor =	{Guido Boella and Pablo Noriega and Gabriella Pigozzi and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09121.16},
  URN =		{urn:nbn:de:0030-drops-19083},
  doi =		{10.4230/DagSemProc.09121.16},
  annote =	{Keywords: Access Control, Trust Management, Fibring Logics}
}
Document
DOI: 10.4230/DagSemRep.70
Automated Practical Reasoning and Argumentation (Dagstuhl Seminar 9334)

Authors: Dov M. Gabbay and Hans Jürgen Ohlbach

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)

Abstract
Cite as

Dov M. Gabbay and Hans Jürgen Ohlbach. Automated Practical Reasoning and Argumentation (Dagstuhl Seminar 9334). Dagstuhl Seminar Report 70, pp. 1-28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1993)

Copy BibTex To Clipboard

@TechReport{gabbay_et_al:DagSemRep.70,
  author =	{Gabbay, Dov M. and Ohlbach, Hans J\"{u}rgen},
  title =	{{Automated Practical Reasoning and Argumentation (Dagstuhl Seminar 9334)}},
  pages =	{1--28},
  ISSN =	{1619-0203},
  year =	{1993},
  type = 	{Dagstuhl Seminar Report},
  number =	{70},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.70},
  URN =		{urn:nbn:de:0030-drops-149583},
  doi =		{10.4230/DagSemRep.70},
}
  • Refine by Author
  • 4 Gabbay, Dov M.
  • 3 van der Torre, Leendert
  • 2 Giacomin, Massimiliano
  • 2 Liao, Beishui
  • 1 Boella, Guido
  • Show More...

  • Refine by Classification

  • Refine by Keyword
  • 2 Argumentation
  • 2 Multi-Agent Systems
  • 2 Non-monotonic Logic
  • 1 Access Control
  • 1 Artificial Intelligence
  • Show More...

  • Refine by Type
  • 4 document

  • Refine by Publication Year
  • 1 1993
  • 1 2009
  • 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
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact