Formalizing two fixed point semantics for HH(C)

MaRDI QIDQ3372483zbMATH OpenFDO

Authors Miguel García-Díaz, Susana Nieva

Publication date 21 February 2006

Full work available at URL http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2004/S04-01/S04-01.html

zbMATH Keywords

declarative semantics

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Constraint Logic Programming with Hereditary Harrop formulas
• scientific article; zbMATH DE number 1407681
• A Linear-Logic Semantics for Constraint Handling Rules
• Higher-Order Logic Programming Languages with Constraints: A Semantics
• Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation

Cited in

(1)

• scientific article; zbMATH DE number 1407681 (Why is no real title available?)

This page was built for publication: Formalizing two fixed point semantics for \(HH(C)\)

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