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

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.

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

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.

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

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

scholarly journals Editorial: 29th International Conference on Logic Programming special issue

2013 ◽  
Vol 13 (4-5) ◽  
pp. 465-470 ◽  
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?

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

2012 ◽  
Vol 12 (4-5) ◽  
pp. 421-426 ◽  
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.

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

2018 ◽  
Vol 18 (3-4) ◽  
pp. 296-300
Author(s):  
ALESSANDRO DAL PALÙ ◽  
PAUL TARAU
Keyword(s):  
United Kingdom ◽  
Logic Programming ◽  
Theory And Practice ◽  
Special Issue ◽  
International Conference

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.

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

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.

Call for Papers Verification and Computational Logic Special Issue of Theory and Practice of Logic Programming

2001 ◽  
Vol 1 (5) ◽  
pp. 631-632
Author(s):  
Michael Leuschel ◽  
Andreas Podelski ◽  
C. R. Ramakrishnan ◽  
Ulrich Ultes-Nitsche
Keyword(s):  
Model Checking ◽  
Logic Programming ◽  
Program Analysis ◽  
Program Transformation ◽  
Logic Program ◽  
Theory And Practice ◽  
Special Issue ◽  
High Quality Research ◽  
Programming Techniques ◽  
Verification Techniques

Submission deadline: January 10, 2002The past decade has seen dramatic growth in the application of model checking techniques to the validation and verification of correctness properties of hardware, and more recently software systems. One of the methods is to model a hardware or software system as a finite, labelled transition system which is then exhaustively explored to decide whether a given temporal specification holds. Recently, there has been increasing interest in applying logic programming techniques to model checking in particular and verification in general. For example, table-based logic programming can be used as an efficient means of performing explicit model checking. Other research has successfully exploited set-based logic program analysis, constraint logic programming, and logic program transformation techniques.The aim of this special issue is to attract high-quality research papers on the interplay between verification techniques (e.g. model checking, reduction and abstraction) and logic programming techniques (e.g. constraints, abstract interpretation, program transformation).

scholarly journals Preface to special issue on Inductive Logic Programming, ILP 2017 and 2018

2019 ◽  
Vol 108 (7) ◽  
pp. 1057-1059
Author(s):  
Nicolas Lachiche ◽  
Christel Vrain ◽  
Fabrizio Riguzzi ◽  
Elena Bellodi ◽  
Riccardo Zese
Keyword(s):  
Logic Programming ◽  
Inductive Logic Programming ◽  
Inductive Logic ◽  
Special Issue

Selected Papers from TAAI 2006

2008 ◽  
Vol 12 (3) ◽  
pp. 217-217
Author(s):  
Hsin-Chang Yang ◽  
Wen-Yang Lin ◽  
Chun-Yang Chang ◽  
Cheng-Hong Yang ◽  
Shyi-Ming Chen
Keyword(s):  
Artificial Intelligence ◽  
Language Processing ◽  
Theory And Practice ◽  
Annual Conference ◽  
Valuable Resource ◽  
Special Issue ◽  
High Quality ◽  
Swarm Optimization ◽  
Music Retrieval

The 11th Conference on Artificial Intelligence and Applications (TAAI 2006), which was held during Dec. 15-16, 2006 at Kaohsiung, Taiwan, is the annual conference of Taiwanese Association for Artificial Intelligence. The conference is intended to provide a forum for researchers and scholars in the related fields of artificial intelligence. Past conferences have proven them successful attempts to become the most important meeting of artificial intelligence researchers in Taiwan. This is also true for TAAI 2006, which focuses on various aspects on theory and practice of artificial intelligence. In this special issue, 11 papers presented in the conference are selected and extended for their outstanding performance on the conference. These papers cover wide spreading aspects, which include versatile motion planning, particle swarm optimization, data mining, image retrieval, music retrieval, natural language processing, navigation, fuzzy logic, gaming, and bioinformatics. This issue thus concisely summarizes recent advances in artificial intelligence and its applications. The readers should find them valuable and inspiring. We hope that this issue should provide a valuable resource for their researches. As guest editors of this special issue, we like to express our greatest gratitude to those that help this issue come true. Thanks to all contributors and referees for their elaborate works and careful reviews that assure the high quality of this issue. Special thanks should go to Mr. Makoto Shimada of Fuji Technology Press for his efforts and kind assistance in publishing this issue. Finally, we also like to thank the Editors in Chief of JACIII, Prof. Toshio Fukuda and Prof. Kaoru Hirota, for their generous hospitality in supporting this special issue.

Sign in / Sign up

Export Citation Format

Share Document