Constructive negation and constraint logic programming with sets

New Generation Computing ◽

10.1007/bf03037598 ◽

2001 ◽

Vol 19 (3) ◽

pp. 209-255 ◽

Author(s):

Agostino Dovier ◽

Enrico Pontelli ◽

Gianfranco Rossi

Keyword(s):

Logic Programming ◽

Constraint Logic Programming ◽

Constructive Negation

Download Full-text

Constructive negation for constraint logic programming

[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1991.151657 ◽

2002 ◽

Author(s):

P.J. Stuckey

Keyword(s):

Logic Programming ◽

Constraint Logic Programming ◽

Constructive Negation

Download Full-text

A necessary condition for Constructive Negation in Constraint Logic Programming

Information Processing Letters ◽

10.1016/s0020-0190(00)00046-6 ◽

2000 ◽

Vol 74 (3-4) ◽

pp. 147-156 ◽

Author(s):

Agostino Dovier ◽

Enrico Pontelli ◽

Gianfranco Rossi

Keyword(s):

Logic Programming ◽

Constraint Logic Programming ◽

Necessary Condition ◽

Constructive Negation

Download Full-text

Constraint Logic Programming Using ECLiPSe

10.1017/cbo9780511607400 ◽

2006 ◽

Author(s):

Krzysztof R. Apt ◽

Mark Wallace

Keyword(s):

Logic Programming ◽

Constraint Logic Programming

Download Full-text

QOS-Aware Composition of Enterprise System‘s Components: Constraint Logic Programming Approach

Informatica ◽

10.15388/informatica.2010.301 ◽

2010 ◽

Vol 21 (4) ◽

pp. 487-504 ◽

Author(s):

Jeremy Besson ◽

Albertas Čaplinskas

Keyword(s):

Logic Programming ◽

Constraint Logic Programming ◽

Programming Approach

Download Full-text

Scheduling In High-Level Synthesis Using A Hybrid Constraint Logic Programming /Integer Programming Approach

2006 International Conference on Computer Engineering and Systems ◽

10.1109/icces.2006.320436 ◽

2006 ◽

Author(s):

Mohamed Ahmed ◽

Hany Abdel-malek

Keyword(s):

Integer Programming ◽

Logic Programming ◽

Constraint Logic Programming ◽

High Level Synthesis ◽

Programming Approach ◽

Download Full-text

Assertion-based automated functional vectors generation using constraint logic programming

Proceedins of the 14th ACM Great Lakes symposium on VLSI - GLSVLSI '04 ◽

10.1145/988952.989021 ◽

2004 ◽

Author(s):

Tun Li ◽

Yang Guo ◽

Si-Kun Li

Keyword(s):

Logic Programming ◽

Constraint Logic Programming

Download Full-text

Parallel objects on distributed constraint logic programming machines

Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming - ◽

10.1145/67386.67420 ◽

1988 ◽

Author(s):

J. F. Koegel

Keyword(s):

Logic Programming ◽

Constraint Logic Programming

Download Full-text

A constraint logic programming algorithm for solving thermal unit commitment problem

Proceedings 1995 International Conference on Energy Management and Power Delivery EMPD '95 ◽

10.1109/empd.1995.500735 ◽

2002 ◽

Author(s):

Hong-Tzer Yang ◽

Kun-Yuan Huang ◽

Ching-Lien Huang

Keyword(s):

Logic Programming ◽

Unit Commitment ◽

Constraint Logic Programming ◽

Programming Algorithm ◽

Thermal Unit ◽

Unit Commitment Problem ◽

Commitment Problem

Download Full-text

Constraint Logic Programming Approach for Dynamic Traffic Signal Control

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)39522-8 ◽

2000 ◽

Vol 33 (17) ◽

pp. 897-902

Author(s):

Kelwyn D'Souza ◽

Tomasz Borowiecki ◽

Zbigniew Banaszak

Keyword(s):

Logic Programming ◽

Constraint Logic Programming ◽

Traffic Signal ◽

Programming Approach ◽

Signal Control ◽

Traffic Signal Control ◽

Dynamic Traffic

Download Full-text

An alternative to constraint logic programming for managing domain arithmetics in Prolog expert systems

Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing technological challenges of the 1990's - SAC '92 ◽

10.1145/143559.143658 ◽

1992 ◽

Author(s):

David Roach ◽

Hal Berghel

Keyword(s):

Expert Systems ◽

Logic Programming ◽

Constraint Logic Programming

Download Full-text