A series of revisions of David Poole's specificity

DOI10.1007/S10472-015-9471-9zbMath1378.68138OpenAlexW2278073823MaRDI QIDQ524933

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

artificial intelligencenonmonotonic reasoningspecificitydefeasible reasoningpositive-conditional specification

Mathematics Subject Classification ID

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

Related Items (2)

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Scalable uncertainty management. 7th international conference, SUM 2013, Washington, DC, USA, September 16--18, 2013. Proceedings
• A series of revisions of David Poole's specificity
• A mathematical treatment of defeasible reasoning and its implementation.
• A constructor-based approach to positive/negative-conditional equational specifications
• Relating defeasible and normal logic programming through transformation properties.
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• Greek, Indian and Arabic logic
• Herbrand's fundamental theorem in the eyes of Jean van Heijenoort
• Shallow confluence of conditional term rewriting systems
• An application of automated reasoning in natural language question answering
• Computing Generalized Specificity
• Defeasible logic programming: an argumentative approach
• A logic-based theory of deductive arguments
• Handbook of philosophical logic. Vol. 4.

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