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

A necessary condition for Constructive Negation in Constraint Logic Programming

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

Constraint Logic Programming Using ECLiPSe

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

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
Sign in / Sign up

Export Citation Format

Share Document