Structural Properties for Deductive Argument Systems

DOI10.1007/978-3-642-39091-3_24MaRDI QIDQ5326426zbMATH OpenOpenAlexFDO

Authors Stefan Woltran, Anthony Hunter

Publication date 5 August 2013

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-39091-3_24

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Logical argumentation by dynamic proof systems
• Systems of argumentation and abduction inference
• Deductive argumentation by enhanced sequent calculi and dynamic derivations
• Proving structural properties of sequent systems in rewriting logic
• Computational properties of argument systems satisfying graph-theoretic constraints
• On dynamics in structured argumentation formalisms
• Structural constraints for dynamic operators in abstract argumentation
• Structured propositions and the logical form of predication

Cited in

(4)

• Computational properties of argument systems satisfying graph-theoretic constraints
• Graph theoretical properties of logic based argumentation frameworks: proofs and general results
• When is argumentation deductive?
• An axiomatic analysis of structured argumentation with priorities

This page was built for publication: Structural Properties for Deductive Argument Systems

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