✦ LIBER ✦

A Functorial Framework for Constraint Normal Logic Programming

✍ Scribed by P. Lucio; F. Orejas; E. Pasarella; E. Pino

Publisher: Springer
Year: 2008
Tongue: English
Weight: 629 KB
Volume: 16
Category: Article
ISSN: 0927-2852
DOI: 10.1007/s10485-008-9128-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A framework for linguistic logic program

A framework for linguistic logic programming

✍ Tru H. Cao; Nguyen V. Noi 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 181 KB

Lawry's label semantics for modeling and computing with linguistic information in natural language provides a clear interpretation of linguistic expressions and thus a transparent model for real-world applications. Meanwhile, annotated logic programs (ALPs) and its fuzzy extension AFLPs have been de

A framework to incorporate non-monotonic

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

✍ Jürgen Dix; Frieder Stolzenburg 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 230 KB

Impressive work has been done in the last years concerning the meaning of negation and disjunction in logic programs, but most of this research concentrated on propositional programs only. While it suces to consider the propositional case for investigating general properties and the overall behavior

Constraint logic programming for examina

Constraint logic programming for examination timetabling

✍ P Boizumault; Y Delon; L Peridy 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 978 KB

ACLP: Abductive Constraint Logic Program

ACLP: Abductive Constraint Logic Programming

✍ A.C. Kakas; A. Michael; C. Mourlas 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 349 KB

This paper presents the framework of Abductive Constraint Logic Programming (ACLP), which integrates Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP). In ACLP, the task of abduction is supported and enhanced by its non-trivial integration with constraint solving. This integra

An active-constraint logic for non-linea

An active-constraint logic for non-linear programming

✍ Alok Das; Eugene M. Cliff; Henry J. Kelley 📂 Article 📅 1984 🏛 John Wiley and Sons 🌐 English ⚖ 775 KB

A constraint logic programming approach

A constraint logic programming approach for generating all perfect matchings

✍ F. Harary; G. Gupta 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 366 KB

## In [1,2], a heuristics based approach ia presented for finding all perfect matchings of a graph. We present a simpler and more elegant approach based on constraint logic programming that embodies the same heuristic.