Implementing crash-resistance and non-interference in logic-based argumentation

DOI10.1093/logcom/exu017zbMath1322.68191OpenAlexW1967448333MaRDI QIDQ3195614

Mikołaj Podlaszewski, Yining Wu

Publication date: 20 October 2015

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exu017

zbMATH Keywords

formal argumentationpostulateslogic-based argumentation

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (5)

Classical logic, argument and dialectic ⋮ A generalized proof-theoretic approach to logical argumentation based on hypersequents ⋮ A Comparative Study of Some Central Notions of ASPIC⁺ and DeLP ⋮ Structured argumentation dynamics. Undermining attacks in default justification logic ⋮ On the equivalence between logic programming semantics and argumentation semantics

This page was built for publication: Implementing crash-resistance and non-interference in logic-based argumentation