A series of revisions of David Poole's specificity

DOI10.1007/S10472-015-9471-9MaRDI QIDQ524933zbMATH OpenOpenAlexFDO

Authors Claus-Peter Wirth, Frieder Stolzenburg

Publication date 27 April 2017

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10472-015-9471-9

zbMATH Keywords

specificityartificial intelligencenonmonotonic reasoningdefeasible reasoningpositive-conditional specification

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• Computing specificity in default reasoning
• Compiling specificity into approaches to nonmonotonic reasoning
• Computing generalized specificity
• An argument-based approach to reasoning with specificity
• scientific article; zbMATH DE number 1696836

Cites work

• scientific article; zbMATH DE number 3731310 (Why is no real title available?)
• scientific article; zbMATH DE number 3466489 (Why is no real title available?)
• scientific article; zbMATH DE number 6957 (Why is no real title available?)
• scientific article; zbMATH DE number 3453513 (Why is no real title available?)
• scientific article; zbMATH DE number 1852916 (Why is no real title available?)
• A constructor-based approach to positive/negative-conditional equational specifications
• A logic-based theory of deductive arguments
• A mathematical treatment of defeasible reasoning and its implementation.
• A ranking semantics for first-order conditionals
• A series of revisions of David Poole's specificity
• An application of automated reasoning in natural language question answering
• Computing generalized specificity
• Defeasible logic programming: an argumentative approach
• ECAI 2012. 20th European conference on artificial intelligence, Montpellier, France, August 27--31, 2012. Proceedings. Including proceedings of the 7th conference on prestigious applications of artificial intelligence (PAIS-2012) and the system demonstrations track
• Greek, Indian and Arabic logic
• Handbook of philosophical logic. Vol. 4.
• Herbrand's fundamental theorem in the eyes of Jean van Heijenoort
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• Relating defeasible and normal logic programming through transformation properties.
• Scalable uncertainty management. 7th international conference, SUM 2013, Washington, DC, USA, September 16--18, 2013. Proceedings
• Shallow confluence of conditional term rewriting systems

Cited in

(3)

• A quantitative approach to belief revision in structured probabilistic argumentation
• Computing generalized specificity
• A series of revisions of David Poole's specificity

This page was built for publication: A series of revisions of David Poole's specificity

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