Searching for "Abduction and Constraint Logic Programming." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

20 documents found, showing 1 through 10. Next 10 →

ACLP: Abductive Constraint Logic Programming
by A. Kakas, A. Michael, C. Mourlas — 2000
…J. LOGIC PROGRAMMING 1994:19, 20:1--679 1 ACLP: ABDUCTIVE CONSTRAINT LOGIC PROGRAMMING A.C. Kakas…
Cited by 41 (4 self) – Add To MetaCart

A Unifying Framework for Abductive and Constraint Logic Programming
by Gerhard Wetzel — 1997 — 12 th Workshop on Logic Programming (WLP'97), Munchen
…A Unifying Framework for Abductive and Constraint Logic Programming Gerhard Wetzel Logic Based…
Cited by 3 (2 self) – Add To MetaCart

Improving Optical Music Recognition by means of Abductive Constraint Logic Programming
by M. Ferrand and J. A. Leite and A. Cardoso, Miguel Ferrand, Amilcar Cardoso — 1999 — In Proceedings of EPIA'99, number 1695 in LNAI, 342--356
…Improving Optical Music Recognition by means of Abductive Constraint Logic Programming Miguel…
Cited by 4 (0 self) – Add To MetaCart

Improving Optical Music Recognition by means of Abductive Constraint Logic Programming
by Miguel Ferrand Jo, Re Leite, Amilcar Cardoso — 1999 — In Proceedings of EPIA'99, number 1695 in LNAI, 342--356
…Improving Optical Music Recognition by means of Abductive Constraint Logic Programming Miguel…
Add To MetaCart

Reasoning about Temporal Context using Ontology and Abductive Constraint Logic Programming
by Hongwei Zhu, Hongwei Zhu, Hongwei Zhu, Stuart E. Madnick, Stuart E. Madnick, Stuart E. Madnick, Michael D. Siegel, Michael D. Siegel, Michael D. Siegel — 2004 — Constraint Logic Programming”, Workshop on Principles and Practices of Semantic Web Reasoning (PPSWR04), Saint
… Temporal Context Using Ontology and Abductive Constraint Logic Programming Hongwei Zhu Stuart E. Madnick…
Cited by 4 (3 self) – Add To MetaCart

Constraint-Based Integrity Checking in Abductive and Non-Monotonic Extensions of Constraint Logic
by Aditya K. Ghose, Srinivas Padmanabhuni
… of the abductive and constraint logic programming paradigms has led to systems which are both expressive…
Add To MetaCart

ACLP: Flexible Solutions to Complex Problems
by A. C. Kakas, C. Mourlas — 1997 — Proceedings of Logic Programming and Non-monotonic Reasoning
…. The system, called ACLP, is a programming language based on the framework of Abductive and Constraint Logic…
Cited by 18 (5 self) – Add To MetaCart

Hypothetical Reasoning: an application to Optical Music Recognition
by M. Ferrand and J. A. Leite and A. Cardoso, Miguel Ferr, Re Leite, Amilcar Cardoso — 1999 — APPIA-GULP-PRODE’99 Joint Conference on Declarative Programming
… practical implementation using Abductive Constraint Logic Programming. Once we abduce these missing events…
Add To MetaCart

Hypothetical reasoning: An application to Optical Music Recognition
by Miguel Ferr, Re Leite, Amilcar Cardoso — 1999 — APPIA-GULP-PRODE’99 Joint Conference on Declarative Programming
… practical implementation using Abductive Constraint Logic Programming. Once we abduce these missing events…
Cited by 1 (0 self) – Add To MetaCart

ACLP: A case for Non-Monotonic Reasoning
by A. C. Kakas, A. Michael, C. Mourlas — 1998 — In Proceedings of NMR98
… the framework of Abductive Logic Programming (ALP) with that of Constraint Logic Programming (CLP). In ACLP…
Cited by 4 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB