scholarly journals Application of constraint logic programming for VLSI CAD tools

2005 ◽  
pp. 183-200 ◽  
Author(s):  
Renate Beckmann ◽  
Ulrich Bieker ◽  
Ingolf Markhof
Keyword(s):  
Logic Programming ◽  
Constraint Logic Programming ◽  
Cad Tools ◽  
Vlsi Cad

Constraint Logic Programming Using ECLiPSe

2006 ◽  
Author(s):  
Krzysztof R. Apt ◽  
Mark Wallace
Keyword(s):  
Logic Programming ◽  
Constraint Logic Programming

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

Informatica ◽  
2010 ◽  
Vol 21 (4) ◽  
pp. 487-504 ◽  
Author(s):  
Jeremy Besson ◽  
Albertas Čaplinskas
Keyword(s):  
Logic Programming ◽  
Constraint Logic Programming ◽  
Programming Approach

Constructive negation and constraint logic programming with sets

2001 ◽  
Vol 19 (3) ◽  
pp. 209-255 ◽  
Author(s):  
Agostino Dovier ◽  
Enrico Pontelli ◽  
Gianfranco Rossi
Keyword(s):  
Logic Programming ◽  
Constraint Logic Programming ◽  
Constructive Negation

scholarly journals Constraint Logic Programming Approach for Dynamic Traffic Signal Control

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

scholarly journals Reasoning about Temporal Context using Ontology and Abductive Constraint Logic Programming

2004 ◽  
Author(s):  
Hongwei (Harry) Zhu ◽  
Stuart E. Madnick ◽  
Michael Siegel
Keyword(s):  
Logic Programming ◽  
Constraint Logic Programming ◽  
Temporal Context
Sign in / Sign up

Export Citation Format

Share Document