Conditional reasoning in logic programming

DOI10.1016/S0743-1066(99)00072-2MaRDI QIDQ4484723zbMATH OpenWikidataFDO

Authors Alberto Martelli, N. Olivetti, Maria Luisa Sapino, Dov Gabbay, Laura Giordano

Publication date 25 May 2000

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0743-1066(99)00072-2

zbMATH Keywords

logic programming language

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• An abductive proof procedure for conditional logic programming
• Hypothetical updates, priority and inconsistency in a logic programming language
• scientific article; zbMATH DE number 928020
• Hypothetical reasoning in logic programming: A semantic approach
• Conditionals: from philosophy to computer science

Cited in

(12)

• Reasoning with conditional axioms
• Conditionals and supposition-based reasoning
• Non-normal modal logics and conditional logics: semantic analysis and proof theory
• Systems and Implementations for Solving Reasoning Problems in Conditional Logics
• Theorem proving for conditional logics: CondLean and GOALDUCK
• scientific article; zbMATH DE number 1032007 (Why is no real title available?)
• An abductive proof procedure for conditional logic programming
• scientific article; zbMATH DE number 928020 (Why is no real title available?)
• Hypothetical updates, priority and inconsistency in a logic programming language
• Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics
• Foundations of conditional logic
• Hypothetical reasoning in logic programming: A semantic approach

This page was built for publication: Conditional reasoning in logic programming

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