Introducing Equational Semantics for Argumentation Networks

DOI10.1007/978-3-642-22152-1_2zbMath1341.68212OpenAlexW1786983340MaRDI QIDQ3011932

Dov M. Gabbay

Publication date: 29 June 2011

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

Full work available at URL: http://orbilu.uni.lu/handle/10993/15872

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items

An Equational Approach to Logic Programming ⋮ Equilibrium states in numerical argumentation networks ⋮ Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger ⋮ Editorial: Weighted logics for artificial intelligence -- an introductory discussion ⋮ Introducing Equational Semantics for Argumentation Networks ⋮ Evaluation of argument strength in attack graphs: foundations and semantics

Cites Work

• Weighted argument systems: basic definitions, algorithms, and complexity results
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• Modal provability foundations for argumentation networks
• Fibring argumentation frames
• A logical account of formal argumentation
• Annotation theories over finite graphs
• Introducing Equational Semantics for Argumentation Networks
• Mechanizing Mathematical Reasoning