ACLP: Abductive Constraint Logic Programming
From MaRDI portal
Publication:4484726
DOI10.1016/S0743-1066(99)00075-8zbMath0957.68017WikidataQ62615147 ScholiaQ62615147MaRDI QIDQ4484726
No author found.
Publication date: 25 May 2000
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Related Items (7)
Abduction in logic programming: A new definition and an abductive procedure based on rewriting ⋮ Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules ⋮ Integration of Abductive Reasoning and Constraint Optimization in SCIFF ⋮ Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules ⋮ The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments ⋮ Abductive reasoning through filtering ⋮ Authorization and Obligation Policies in Dynamic Systems
This page was built for publication: ACLP: Abductive Constraint Logic Programming
