scientific article; zbMATH DE number 928020

MaRDI QIDQ4893673zbMATH OpenFDO

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

Publication date 2 January 1997

zbMATH Keywords

integrity constraintslogic programming language

Mathematics Subject Classification ID

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

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

Cited in

(6)

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

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)