An argumentation system for reasoning with LPm

MaRDI QIDQ5283036zbMATH OpenFDO

Authors Wenzhao Qiao, Nico Roos

Publication date 18 July 2017

Full work available at URL http://ebooks.iospress.nl/volumearticle/37032

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logic in artificial intelligence (68T27) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• Minimally inconsistent LP
• What can argumentation do for inconsistent ontology query answering?
• Postulates for logic-based argumentation systems
• Argumentative logics: Reasoning with classically inconsistent information
• Inferring from inconsistency in preference-based argumentation frameworks

Cited in

(1)

• Minimally inconsistent LP

This page was built for publication: An argumentation system for reasoning with LPm

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