A framework to incorporate non-monotonic reasoning into constraint logic programming
From MaRDI portal
Publication:4245933
DOI10.1016/S0743-1066(98)10003-1zbMath0936.68018MaRDI QIDQ4245933
Jürgen Dix, Frieder Stolzenburg
Publication date: 28 May 2000
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Related Items (3)
Querying incomplete information in RDF with SPARQL ⋮ A general theory of confluent rewriting systems for logic programming and its applications ⋮ Relating defeasible and normal logic programming through transformation properties.
This page was built for publication: A framework to incorporate non-monotonic reasoning into constraint logic programming