A Logic Programming Approach to Collaborative Autonomous Robotics

KI 2017: Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-319-67190-1_25 ◽

2017 ◽

pp. 309-315

Author(s):

Binal Javia ◽

Philipp Cimiano

Keyword(s):

Logic Programming ◽

Programming Approach ◽

Autonomous Robotics

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

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

Extending a General-Purpose Algebraic Modeling Language to Combinatorial Optimization: A Logic Programming Approach

Operations Research/Computer Science Interfaces Series - Advances in Computational and Stochastic Optimization, Logic Programming, and Heuristic Search ◽

10.1007/978-1-4757-2807-1_2 ◽

1998 ◽

pp. 31-74 ◽

Author(s):

Robert Fourer

Keyword(s):

Combinatorial Optimization ◽

Logic Programming ◽

General Purpose ◽

Programming Approach ◽

Modeling Language ◽

Algebraic Modeling Language

Download Full-text

Knowledge acquisition in model driven development transformations: An inductive logic programming approach

TENCON 2014 - 2014 IEEE Region 10 Conference ◽

10.1109/tencon.2014.7022470 ◽

2014 ◽

Author(s):

Hamdi A. Al-Jamimi ◽

Moataz A. Ahmed

Keyword(s):

Knowledge Acquisition ◽

Logic Programming ◽

Inductive Logic Programming ◽

Inductive Logic ◽

Programming Approach ◽

Model Driven Development ◽

Download Full-text

V. Constraint Logic Programming Approach to Optimization

IEEJ Transactions on Electronics Information and Systems ◽

10.1541/ieejeiss1987.113.2_79 ◽

1993 ◽

Vol 113 (2) ◽

pp. 79-84

Author(s):

Fumio Mizoguchi ◽

Hayato Ohwada

Keyword(s):

Logic Programming ◽

Constraint Logic Programming ◽

Programming Approach

Download Full-text

A Logic Programming Approach to Channel Routing

Logic Programming ◽

10.7551/mitpress/4298.003.0029 ◽

1995 ◽

Keyword(s):

Logic Programming ◽

Programming Approach ◽

Channel Routing

Download Full-text

Data dictionary design: a logic programming approach

Entity-Relationship Approach — ER '92 - Lecture Notes in Computer Science ◽

10.1007/3-540-56023-8_14 ◽

1992 ◽

pp. 210-225 ◽

Author(s):

Fiora Pirri ◽

Clara Pizzuti

Keyword(s):

Logic Programming ◽

Programming Approach ◽

Data Dictionary

Download Full-text

A Logic Programming Approach to Supporting the Entries of XML Documents in an Object Database

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/3-540-46584-7_19 ◽

1999 ◽

pp. 278-292 ◽

Author(s):

Ching-Long Yeh

Keyword(s):

Logic Programming ◽

Programming Approach ◽

Xml Documents ◽

Object Database

Download Full-text

Combining object-oriented and logic paradigms: A modal logic programming approach

ECOOP ’92 European Conference on Object-Oriented Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0053032 ◽

1992 ◽

pp. 98-113 ◽

Author(s):

Tarmo Uustalu

Keyword(s):

Modal Logic ◽

Logic Programming ◽

Object Oriented ◽

Programming Approach

Download Full-text