scientific article; zbMATH DE number 928020

zbMATH Open0853.68074MaRDI QIDQ4893673FDOQ4893673

Authors: Alberto Martelli, N. Olivetti, Dov Gabbay, Laura Giordano 

Publication date: 2 January 1997

Title of this publication is not available (Why is that?)

Recommendations

• Hypothetical updates, priority and inconsistency in a logic programming language
• Conditional reasoning in logic programming
• An abductive proof procedure for conditional logic programming
• A logical semantics for hypothetical rulebases with deletion
• Hypothetical reasoning in logic programming: A semantic approach

zbMATH Keywords

integrity constraintslogic programming language

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15) Logic in artificial intelligence (68T27)

Cited In (6)

• Hypothetical updates, priority and inconsistency in a logic programming language
• Management of Change in Declarative Languages
• Conditional reasoning in logic programming
• Computing defeasible meta-logic
• Hypothetical reasoning in logic programming: A semantic approach
• An abductive proof procedure for conditional logic programming

This page was built for publication:

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