- 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
Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving
Artificial Intelligence 307 (C):103697 (2022)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
The Measurement of Chinese Sentence Semantic Complexity.Shuqin Zhu, Jihua Song, Weiming Peng, Dongdong Guo & Jingbo Sun - 2020 - Complexity 2020:1-10.
Investigating subclasses of abstract dialectical frameworks.Martin Diller, Atefeh Keshavarzi Zafarghandi, Thomas Linsbichler & Stefan Woltran - 2020 - Argument and Computation 11 (1-2):191-219.
Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory.Hannes Strass & Johannes Peter Wallner - 2015 - Artificial Intelligence 226 (C):34-74.
Reasoning in abstract dialectical frameworks using quantified Boolean formulas.Martin Diller, Johannes Peter Wallner & Stefan Woltran - 2015 - Argument and Computation 6 (2):149-177.
Cognitive and Computational Complexity: Considerations from Mathematical Problem Solving.Markus Pantsar - 2019 - Erkenntnis 86 (4):961-997.
Results of testing, research and analysis of the basic clustering algorithms of numerical data sets.Trokhymchuk R. M. - 2019 - Artificial Intelligence Scientific Journal 24 (1-2):101-107.
Abstract Complexity Definition.Mariusz Stanowski - 2011 - Complicity: An International Journal of Complexity and Education (2).
Descriptive Complexity, Computational Tractability, and the Logical and Cognitive Foundations of Mathematics.Markus Pantsar - 2020 - Minds and Machines 31 (1):75-98.
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.
Smart criminal justice: exploring the use of algorithms in the Swiss criminal justice system.Monika Simmler, Simone Brunner, Giulia Canova & Kuno Schedler - 2023 - Artificial Intelligence and Law 31 (2):213-237.
Study on Centroid Type-Reduction of Interval Type-2 Fuzzy Logic Systems Based on Noniterative Algorithms.Yang Chen - 2019 - Complexity 2019:1-12.
Approximating operators and semantics for abstract dialectical frameworks.Hannes Strass - 2013 - Artificial Intelligence 205 (C):39-70.
Realizability of three-valued semantics for abstract dialectical frameworks.Jörg Pührer - 2020 - Artificial Intelligence 278 (C):103198.
Ranking and unranking algorithms for loopless generation of t-ary trees.Amin Ahmadi-adl, Abbas Nowzari-Dalini & Hayedeh Ahrabian - 2011 - Logic Journal of the IGPL 19 (1):33-43.
Analytics
Added to PP
2022-04-08
Downloads
8 (#1,283,306)
6 months
4 (#818,853)
2022-04-08
Downloads
8 (#1,283,306)
6 months
4 (#818,853)
Historical graph of downloads
Citations of this work
Acceptance in incomplete argumentation frameworks.Dorothea Baumeister, Matti Järvisalo, Daniel Neugebauer, Andreas Niskanen & Jörg Rothe - 2021 - Artificial Intelligence 295 (C):103470.
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.
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.
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.
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.
Acceptance in incomplete argumentation frameworks.Dorothea Baumeister, Matti Järvisalo, Daniel Neugebauer, Andreas Niskanen & Jörg Rothe - 2021 - Artificial Intelligence 295 (C):103470.
Complexity-sensitive decision procedures for abstract argumentation.Wolfgang Dvořák, Matti Järvisalo, Johannes Peter Wallner & Stefan Woltran - 2014 - Artificial Intelligence 206 (C):53-78.
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-l2pxr uwo