A framework to incorporate non-monotonic reasoning into constraint logic programming

DOI10.1016/S0743-1066(98)10003-1zbMATH Open0936.68018MaRDI QIDQ4245933FDOQ4245933

Authors: J. Dix, Frieder Stolzenburg 

Publication date: 28 May 2000

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

Recommendations

• Non-monotonic extensions of logic programming. ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected papers
• scientific article; zbMATH DE number 517025
• scientific article; zbMATH DE number 140387

zbMATH Keywords

constraint logic programmingcalculus of program transformations

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (7)

• A unifying view for logic programming with non-monotonic reasoning
• Querying incomplete information in RDF with SPARQL
• Relating defeasible and normal logic programming through transformation properties.
• Static Analysis
• Computation of non-ground disjunctive well-founded semantics with constraint logic programming
• A general theory of confluent rewriting systems for logic programming and its applications
• Title not available (Why is that?)

This page was built for publication: A framework to incorporate non-monotonic reasoning into constraint logic programming

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