Introduction to the 34-th international conference on logic programming special issue

This special issue of Theory and Practice of Logic Programming (TPLP) contains the regular papers accepted for presentation at the 34-th International Conference on Logic Programming (ICLP 2018), held in Oxford, United Kingdom, from July 14th to July 17th, 2018.

Download Full-text

Introduction to the 30th International Conference on Logic Programming Special Issue

Theory and Practice of Logic Programming ◽

10.1017/s1471068414000581 ◽

2014 ◽

Vol 14 (4-5) ◽

pp. 401-414

Author(s):

MICHAEL LEUSCHEL ◽

TOM SCHRIJVERS

Keyword(s):

Logic Programming ◽

Language Processing ◽

Program Analysis ◽

Virtual Machines ◽

Inductive Logic ◽

Theory And Practice ◽

Scientific Conference ◽

Special Issue ◽

History Of Logic ◽

International Conference

The 30th edition of the International Conference of Logic Programming took place in Vienna in July 2014 at the Vienna Summer of Logic - the largest scientific conference in the history of logic. Following the initiative in 2010 taken by the Association for Logic Programming and Cambridge University Press, the full papers accepted for the International Conference on Logic Programming again appear as a special issue of Theory and Practice of Logic Programming (TPLP) - the 30th International Conference on Logic Programming Special Issue. Papers describing original, previously unpublished research and not simultaneously submitted for publication elsewhere were solicited in all areas of logic programming including but not restricted to: Theory: Semantic Foundations, Formalisms, Non- monotonic Reasoning, Knowledge Representation; Implementation: Compilation, Memory Management, Virtual Machines, Parallelism; Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing; Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques; Related Paradigms: Abductive Logic Programming, Inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming; Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics.

Download Full-text

Introduction to the 27th International Conference on Logic Programming Special Issue

Theory and Practice of Logic Programming ◽

10.1017/s1471068411000342 ◽

2011 ◽

Vol 11 (4-5) ◽

pp. 429-432

Author(s):

JOHN GALLAGHER ◽

MICHAEL GELFOND

Keyword(s):

Logic Programming ◽

Language Processing ◽

Program Analysis ◽

Memory Management ◽

Virtual Machines ◽

Inductive Logic ◽

Theory And Practice ◽

Special Issue ◽

International Conference ◽

Abductive Logic Programming

Following the initiative in 2010 taken by the Association for Logic Programming and Cambridge University Press, the full papers accepted for the International Conference on Logic Programming again appear as a special issue of Theory and Practice of Logic Programming (TPLP)—the 27th International Conference on Logic Programming Special Issue. Papers describing original, previously unpublished research and not simultaneously submitted for publication elsewhere were solicited in all areas of logic programming including but not restricted to: Theory: Semantic Foundations, Formalisms, Non- monotonic Reasoning, Knowledge Representation. Implementation: Compilation, Memory Management, Virtual Machines, Parallelism. Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing. Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. Related Paradigms: Abductive Logic Programming, Inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming. Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics.

Download Full-text

Editorial: 29th International conference on logic programming special issue – ADDENDUM

Theory and Practice of Logic Programming ◽

10.1017/s1471068417000229 ◽

2017 ◽

Vol 18 (1) ◽

pp. 121-121

Author(s):

EVELINA LAMMA ◽

TERRANCE SWIFT

Keyword(s):

Logic Programming ◽

Theory And Practice ◽

Special Issue ◽

International Conference

The links to the online only Technical Communications in Lamma and Swift (2013) are unfortunately broken. All of the Technical Communications can be found here:https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/editorial-29th-international-conference-on-logic-programming-special-issue/82FDD81073DC30A563ED242516CADAAE#fndtn-supplementary-materials

Download Full-text

Editorial: 29th International Conference on Logic Programming special issue

Theory and Practice of Logic Programming ◽

10.1017/s1471068413000112 ◽

2013 ◽

Vol 13 (4-5) ◽

pp. 465-470 ◽

Cited By ~ 2

Author(s):

EVELINA LAMMA ◽

TERRANCE SWIFT

Keyword(s):

Logic Programming ◽

Computer Science ◽

Theory And Practice ◽

Special Issue ◽

Journal Quality ◽

International Conference ◽

Lecture Notes ◽

Computer Scientists

The proceedings of the International Conference on Logic Programming (ICLP) have had several publishers, including MIT Press and Springer's Lecture Notes in Computer Science. Beginning in 2010, the proceedings have been published in a dual format: with regular papers contained in a special issue of Theory and Practice of Logic Programming (TPLP), and technical communications as a Dagstuhl LIPics series publication. The reason for the change was that compared to researchers in other fields, computer scientists publish more in conferences or symposia and less in journals. The thinking went that since many ICLP papers are of journal quality – or nearly so – why not publish them in a journal straight away? And why not TPLP?

Download Full-text

Introduction to the 28th international conference on logic programming special issue

Theory and Practice of Logic Programming ◽

10.1017/s1471068412000300 ◽

2012 ◽

Vol 12 (4-5) ◽

pp. 421-426 ◽

Cited By ~ 3

Author(s):

AGOSTINO DOVIER ◽

VÍTOR SANTOS COSTA

Keyword(s):

Logic Programming ◽

Theory And Practice ◽

Special Issue ◽

International Conference

We are proud to introduce this special issue of the Journal of Theory and Practice of Logic Programming (TPLP), dedicated to the full papers accepted for the 28th International Conference on Logic Programming (ICLP). The ICLP meetings started in Marseille in 1982 and since then constitute the main venue for presenting and discussing work in the area of logic programming.

Download Full-text

Introduction to the 33rd international conference on logic programming special issue

Theory and Practice of Logic Programming ◽

10.1017/s1471068417000448 ◽

2017 ◽

Vol 17 (5-6) ◽

pp. 684-688

Author(s):

RICARDO ROCHA ◽

TRAN CAO SON

Keyword(s):

Logic Programming ◽

Constraint Programming ◽

Theory And Practice ◽

Special Issue ◽

International Conference ◽

International Event

This special issue of Theory and Practice of Logic Programming (TPLP) contains the regular papers accepted for presentation at the 33rd International Conference on Logic Programming (ICLP 2017), held in Melbourne, Australia from the 28th of August to the 1st of September, 2017. ICLP 2017 was colocated with the 23rd International Conference on Principles and Practice of Constraint Programming (CP 2017) and the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT 2017). Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming.

Download Full-text

Introduction to the 32nd International Conference on Logic Programming Special Issue

Theory and Practice of Logic Programming ◽

10.1017/s1471068416000491 ◽

2016 ◽

Vol 16 (5-6) ◽

pp. 509-514 ◽

Cited By ~ 2

Author(s):

MANUEL CARRO ◽

ANDY KING

Keyword(s):

New York ◽

New York City ◽

Logic Programming ◽

York City ◽

Special Issue ◽

International Conference ◽

Significant Power ◽

Main Track ◽

Start Ups ◽

The City

The main track of the Thirty Second International Conference on Logic Programming (ICLP) took place in New York City, USA, from the 18th to the 21st October 2016. It seems fitting to hold a significant, power of two, ICLP in New York because the city has a long and distinguished association with logic programming: XSB was developed at Stony Brook, as was HiLog before that, and SB-Prolog before that. Moreover, Picat was developed at the City University of New York, as was B-Prolog, and other logic programming-based systems, such as Ergo. New York has also been (and is) the cradle of several start-ups based on logic programming.

Download Full-text

Introduction to the special issue on the 25th annual GULP conference

Theory and Practice of Logic Programming ◽

10.1017/s1471068411000676 ◽

2012 ◽

Vol 13 (2) ◽

pp. 147-148

Author(s):

WOLFGANG FABER ◽

NICOLA LEONE

Keyword(s):

Artificial Intelligence ◽

Logic Programming ◽

Theory And Practice ◽

Declarative Programming ◽

Annual Conference ◽

User Group ◽

Historical Account ◽

Computational Logic ◽

Special Issue ◽

One Year

This special issue of TPLP commemorates the 25th edition of the annual conference organized by GULP (Gruppo Ricercatori e Utenti Logic Programming), the Italian group of researchers and users of logic programming. The first event in this series was held at Genoa in 1986, one year after the foundation of the user group, continuing annually ever since. In 1994, the conference joined forces with the Spanish conference PRODE (on Declarative Programming), and in 1996 with the Portuguese APPIA (on Artificial Intelligence). This collaboration continued until 2003. Starting from 2004, the event became known as CILC (Convegno Italiano di Logica Computazionale, Italian Conference on Computational Logic), thereby broadening its topics to general computational logic, while becoming a national Italian event again. Being one of the oldest and largest national events of its kind, over the years the conference has been an important networking opportunity and catalyst for persons with different backgrounds, coming from theory and practice, and from research and industry, for exchanging their visions, achievements, and challenges in logic programming. For a more detailed historical account on GULP and its annual conferences, we refer to Rossi (2010).

Download Full-text