Satisfiability, Lattices, Temporal Logic and Constraint Logic Programming on Intervals

Mapping Intimacies ◽

10.1007/978-3-030-71430-7_19 ◽

2021 ◽

pp. 521-536

Author(s):

André Vellino

Keyword(s):

Logic Programming ◽

Temporal Logic ◽

Constraint Logic Programming

Download Full-text

Temporal logic and annotated constraint logic programming

Executable Modal and Temporal Logics - Lecture Notes in Computer Science ◽

10.1007/3-540-58976-7_4 ◽

1995 ◽

pp. 58-68 ◽

Author(s):

Thom Frühwirth

Keyword(s):

Logic Programming ◽

Temporal Logic ◽

Constraint Logic Programming

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

On temporal logic programming using Petri nets

IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans ◽

10.1109/3468.759269 ◽

1999 ◽

Vol 29 (3) ◽

pp. 245-254 ◽

Author(s):

A.K. Zaidi

Keyword(s):

Logic Programming ◽

Temporal Logic ◽

Temporal Logic Programming

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

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

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