- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Realizability of three-valued semantics for abstract dialectical frameworks
Artificial Intelligence 278 (C):103198 (2020)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Approximating operators and semantics for abstract dialectical frameworks.Hannes Strass - 2013 - Artificial Intelligence 205 (C):39-70.
In Domain Realizability, not all Functionals on C[–1, 1] are Continuous.Martín Escardó & Thomas Streicher - 2002 - Mathematical Logic Quarterly 48 (S1):41-44.
Representing the semantics of abstract dialectical frameworks based on arguments and attacks.Phan Minh Dung & Phan Minh Thang - 2018 - Argument and Computation 9 (3):249-267.
Relational semantics for the 4-valued relevant logics BN4 and E4.Gemma Robles, José M. Blanco, Sandra M. López, Jesús R. Paradela & Marcos M. Recio - 2016 - Logic and Logical Philosophy 25 (2):173-201.
Star models and the semantics of infectiousness.Matthew W. G. McClure - 2020 - Undergraduate Philosophy Journal of Australasia 2 (2):35–57.
Initial sets in abstract argumentation frameworks.Yuming Xu & Claudette Cayrol - 2018 - Journal of Applied Non-Classical Logics 28 (2-3):260-279.
Hintikka’s Independence-Friendly Logic Meets Nelson’s Realizability.Sergei P. Odintsov, Stanislav O. Speranski & Igor Yu Shevchenko - 2018 - Studia Logica 106 (3):637-670.
“Four-Valued” Semantics for the Relevant Logic R.Edwin D. Mares - 2004 - Journal of Philosophical Logic 33 (3):327-341.
A Completenesss Theorem for a 3-Valued Semantics for a First-order Language.Christopher Gauker - manuscript
Learning based realizability for HA + EM1 and 1-Backtracking games: Soundness and completeness.Federico Aschieri - 2013 - Annals of Pure and Applied Logic 164 (6):591-617.
Abstract Argumentation in Artificial Intelligence. Problems of Interpretation and Adequacy of Semantics for Decision Making.Gustavo Adrián Bodanza - unknown
A Routley-Meyer semantics for truth-preserving and well-determined Lukasiewicz 3-valued logics.G. Robles & J. M. Mendez - 2014 - Logic Journal of the IGPL 22 (1):1-23.
Analytics
Added to PP
2020-12-22
Downloads
5 (#1,522,914)
6 months
2 (#1,221,975)
2020-12-22
Downloads
5 (#1,522,914)
6 months
2 (#1,221,975)
Historical graph of downloads
Citations of this work
Realizability of three-valued semantics for abstract dialectical frameworks.Jörg Pührer - 2020 - Artificial Intelligence 278 (C):103198.
Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving.Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes P. Wallner & Stefan Woltran - 2022 - Artificial Intelligence 307 (C):103697.
On the expressive power of collective attacks.Wolfgang Dvořák, Jorge Fandinno & Stefan Woltran - 2019 - Argument and Computation 10 (2):191-230.
Expressiveness of SETAFs and support-free ADFs under 3-valued semantics.W. Dvořák, A. Keshavarzi Zafarghandi & S. Woltran - 2023 - Journal of Applied Non-Classical Logics 33 (3-4):298-327.
On searching explanatory argumentation graphs.Régis Riveret - 2020 - Journal of Applied Non-Classical Logics 30 (2):123-192.
References found in this work
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games.Phan Minh Dung - 1995 - Artificial Intelligence 77 (2):321-357.
The Carneades model of argument and burden of proof.Thomas F. Gordon, Henry Prakken & Douglas Walton - 2007 - Artificial Intelligence 171 (10-15):875-896.
A Logical Account of Formal Argumentation.Martin W. A. Caminada & Dov M. Gabbay - 2009 - Studia Logica 93 (2-3):109-145.
A methodology for designing systems to reason with legal cases using Abstract Dialectical Frameworks.Latifa Al-Abdulkarim, Katie Atkinson & Trevor Bench-Capon - 2016 - Artificial Intelligence and Law 24 (1):1-49.
Realizability of three-valued semantics for abstract dialectical frameworks.Jörg Pührer - 2020 - Artificial Intelligence 278 (C):103198.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-c9g8x uwo