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

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).

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.

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 special issue on probability, logic and learning

2014 ◽  
Vol 15 (2) ◽  
pp. 145-146
Author(s):  
JAMES CUSSENS ◽  
LUC DE RAEDT ◽  
ANGELIKA KIMMIG ◽  
TAISUKE SATO
Keyword(s):  
Artificial Intelligence ◽  
Machine Learning ◽  
Learning Communities ◽  
Relational Learning ◽  
Probability Logic ◽  
Computational Logic ◽  
Special Issue ◽  
Probabilistic Programming ◽  
Contemporary Work ◽  
Theoretical Foundations

Recently, the combination of probability, logic and learning has received considerable attention in the artificial intelligence and machine learning communities; see e.g. Getoor and Taskar (2007); De Raedt et al. (2008). Computational logic often plays a major role in these developments since it forms the theoretical backbone for much of the work in probabilistic programming and logical and relational learning. Contemporary work in this area is often application- and experiment-driven, but is also concerned with the theoretical foundations of formalisms and inference procedures and with advanced implementation technology that scales well.

Special issue on ‘Logic Programming and the INTERNET’

2001 ◽  
Vol 1 (3) ◽  
pp. 249-250
Author(s):  
LEON STERLING ◽  
LEE NAISH ◽  
MANUEL HERMENEGILDO
Keyword(s):  
Logic Programming ◽  
Memory Management ◽  
The Internet ◽  
Computational Logic ◽  
Special Issue ◽  
Internet Applications ◽  
Dynamic Memory ◽  
Practical Applications ◽  
Dynamic Databases ◽  
Logic Systems

Computational logic systems can offer an attractive environment for developing Internet applications. They share many of the important characteristics of popular network programming tools, including dynamic memory management, well-behaved structure and pointer manipulation, robustness, and compilation to architecture-independent bytecode. However, in addition, computational logic systems offer some unique features such as very powerful symbolic processing capabilities, constraint solving, dynamic databases, search facilities, grammars, sophisticated meta-programming, and well understood semantics. Such features can often make it very easy to code simple applications.This special issue concerned with applications is the third of its kind in a journal sponsored by the Association for Logic Programming. The first appeared in 1990, and showed the potential for logic programming to be extended. The second issue highlighted some papers from the Practical Applications of Prolog conference that had been held. This third time, the applications are concerned with the Internet and reflect the profound impact that the Internet has had on the computing landscape.

scholarly journals Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms

2019 ◽  
Vol 19 (2) ◽  
pp. 109-113
Author(s):  
STEFAN ELLMAUTHALER ◽  
CLAUDIA SCHULZ
Keyword(s):  
Artificial Intelligence ◽  
Machine Learning ◽  
Deep Learning ◽  
Knowledge Representation ◽  
Logic Programming ◽  
Unstructured Data ◽  
Knowledge Representation And Reasoning ◽  
Special Issue

With the rise of machine learning, and more recently the overwhelming interest in deep learning, knowledge representation and reasoning (KRR) approaches struggle to maintain their position within the wider Artificial Intelligence (AI) community. Often considered as part of thegood old-fashioned AI(Haugeland 1985) – like a memory of glorious old days that have come to an end – many consider KRR as no longer applicable (on its own) to the problems faced by AI today (Blackwell 2015; Garneloet al.2016). What they see are logical languages with symbols incomprehensible by most, inference mechanisms that even experts have difficulties tracing and debugging, and the incapability to process unstructured data like text.

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.

Sign in / Sign up

Export Citation Format

Share Document