Transaction Logic with Defaults and Argumentation Theories

DOI10.4230/LIPICS.ICLP.2011.162zbMath1245.68184OpenAlexW2144883403MaRDI QIDQ2909156

Paul Fodor, Michael Kifer

Publication date: 29 August 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_0b99.html

zbMATH Keywords

defeasible reasoningtransaction logicwell-founded models

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17)

Related Items (1)

Modular action language

This page was built for publication: Transaction Logic with Defaults and Argumentation Theories