Verification in argument-incomplete argumentation frameworks

DOI10.1007/978-3-319-23114-3_22MaRDI QIDQ3449544zbMATH OpenOpenAlexFDO

Authors Dorothea Baumeister, Jörg Rothe, Hilmar Schadrack

Publication date 4 November 2015

Published in Algorithmic Decision Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-23114-3_22

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Verification in attack-incomplete argumentation frameworks
• Verification in 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

Cited in

(10)

• A logic of argumentation for specification and verification of abstract argumentation frameworks
• Acceptance in incomplete argumentation frameworks
• A semantical perspective on verification of knowledge
• Verification in attack-incomplete argumentation frameworks
• Verifying Refutations with Extended Resolution
• I don't care, I don't know \(\dots \) I know too much! on incompleteness and undecidedness in abstract argumentation
• Credulous and skeptical acceptance in incomplete argumentation frameworks
• On incompleteness in abstract argumentation: complexity and expressiveness
• Verification in incomplete argumentation frameworks
• Verificaton, falsification, and cancellation in KT

This page was built for publication: Verification in argument-incomplete argumentation frameworks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3449544)