scholarly journals Preface for the special issue on Ontologies and Logic Programming for Query Answering

2018 ◽  
Vol 82 (1-3) ◽  
pp. 1-2
Author(s):  
Odile Papini ◽  
Salem Benferhat
Keyword(s):  
Logic Programming ◽  
Query Answering ◽  
Special Issue

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

scholarly journals Special issue on inductive logic programming

2017 ◽  
Vol 106 (12) ◽  
pp. 1863-1865 ◽  
Author(s):  
Katsumi Inoue ◽  
Hayato Ohwada ◽  
Akihiro Yamamoto
Keyword(s):  
Logic Programming ◽  
Inductive Logic Programming ◽  
Inductive Logic ◽  
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 32nd International Conference on Logic Programming Special Issue

2016 ◽  
Vol 16 (5-6) ◽  
pp. 509-514 ◽  
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.

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.

Sign in / Sign up

Export Citation Format

Share Document