Verification in incomplete argumentation frameworks
From MaRDI portal
Publication:668774
DOI10.1016/J.ARTINT.2018.08.001zbMATH Open1478.68343OpenAlexW2885218246MaRDI QIDQ668774FDOQ668774
Authors: Dorothea Baumeister, Daniel Neugebauer, Jörg Rothe, Hilmar Schadrack 
Publication date: 19 March 2019
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2018.08.001
Recommendations
- Verification in argument-incomplete argumentation frameworks
- Verification in attack-incomplete argumentation frameworks
- Credulous and skeptical acceptance in incomplete argumentation frameworks
- Acceptance in incomplete argumentation frameworks
- Complexity of Possible and Necessary Existence Problems in Abstract Argumentation
verificationcomputational complexityabstract argumentationargumentation frameworkincomplete knowledge
Analysis of algorithms and problem complexity (68Q25) Knowledge representation (68T30) Logic in artificial intelligence (68T27)
Cites Work
- Title not available (Why is that?)
- Argumentation in artificial intelligence
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- Title not available (Why is that?)
- The polynomial-time hierarchy
- What does it take to enforce an argument? Minimal change in abstract argumentation
- Change in abstract argumentation frameworks: adding an argument
- Dynamics in Argumentation with Single Extensions: Abstraction Principles and the Grounded Extension
- Dynamics of argumentation systems: a division-based method
- Determining possible and necessary winners given partial orders
- The possible winner problem with uncertain weights
- New candidates welcome! Possible winners with respect to the addition of new candidates
- Complexity of manipulation and bribery in judgment aggregation for uniform premise-based quota rules
- The first international competition on computational models of argumentation: results and analysis
- Probabilistic qualification of attack in abstract argumentation
- Coherence in finite argument systems.
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Graph theoretical structures in logic programs and default theories
- On the merging of Dung's argumentation systems
- SCC-recursiveness: a general schema for argumentation semantics
- Complexity theory and cryptology. An introduction to cryptocomplexity.
- Fair division under ordinal preferences: computing envy-free allocations of indivisible goods
- Complexity results and algorithms for extension enforcement in abstract argumentation
- Aggregation of Attack Relations: A Social-Choice Theoretical Analysis of Defeasibility Criteria
- Verification in attack-incomplete argumentation frameworks
- Verification in argument-incomplete argumentation frameworks
- Handling Ignorance in Argumentation: Semantics of Partial Argumentation Frameworks
- Credulous and skeptical acceptance in incomplete argumentation frameworks
- Verification in incomplete argumentation frameworks
Cited In (25)
- Verification in attack-incomplete argumentation frameworks
- Verification in argument-incomplete argumentation frameworks
- Credulous and skeptical acceptance in incomplete argumentation frameworks
- Taking into account ``who said what in abstract argumentation: complexity results
- Extension-based semantics for incomplete argumentation frameworks: grounded semantics and principles
- Acceptance in incomplete argumentation frameworks
- The possible winner problem with uncertain weights revisited
- Theoretical analysis and implementation of abstract argumentation frameworks with domain assignments
- Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks
- Complexity of nonemptiness in control argumentation frameworks
- Constrained incomplete argumentation frameworks
- Handling Ignorance in Argumentation: Semantics of Partial Argumentation Frameworks
- How to manage supports in incomplete argumentation
- A logic of argumentation for specification and verification of abstract argumentation frameworks
- Verifying Refutations with Extended Resolution
- On dynamics in structured argumentation formalisms
- Abstract argumentation with qualitative uncertainty: an analysis in dynamic logic
- Extension-based semantics for incomplete argumentation frameworks
- Integrating individual preferences into collective argumentation
- On incompleteness in abstract argumentation: complexity and expressiveness
- Verification in incomplete argumentation frameworks
- Dynamic epistemic logics for abstract argumentation
- I don't care, I don't know \(\dots \) I know too much! on incompleteness and undecidedness in abstract argumentation
- Probabilistic causal bipolar abstract argumentation: an approach based on credal networks
- The possible winner with uncertain weights problem
This page was built for publication: Verification in incomplete argumentation frameworks
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q668774)
