An argumentation system for reasoning with LPm

zbMATH Open1366.68295MaRDI QIDQ5283036FDOQ5283036

Nico Roos, Wenzhao Qiao

Publication date: 18 July 2017

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

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

Mathematics Subject Classification ID

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

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)