English
Related papers

Related papers: Introduction to the 35th International Conference …

200 papers

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…

Programming Languages · Computer Science 2012-10-16 Agostino Dovier , Vítor Santos Costa

Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to:…

Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are solicited in all areas of logic programming and related areas, including but…

Since the first conference in Marseille in 1982, the International Conference on Logic Programming (ICLP) has been the premier international event for presenting research in logic programming. These proceedings include the Technical…

Logic in Computer Science · Computer Science 2026-01-05 Martin Gebser , Daniela Inclezan , Francesco Ricca , Manuel Carro , Miroslaw Truszczynski

Since the first conference In Marseille in 1982, the International Conference on Logic Programming (ICLP) has been the premier international event for presenting research in logic programming. These proceedings include technical…

Logic in Computer Science · Computer Science 2025-02-13 Pedro Cabalar , Francesco Fabiano , Martin Gebser , Gopal Gupta , Theresa Swift

This is the list of the full papers accepted for presentation at the 32nd International Conference on Logic Programming, New York City, USA, October 18-21, 2016. In addition to the main conference itself, ICLP hosted four pre-conference…

Programming Languages · Computer Science 2016-08-22 Manuel Carro , Andy King

ICLP is the premier international event for presenting research in logic programming. Contributions to ICLP 2022 were sought in all areas of logic programming, including but not limited to: Foundations: Semantics, Formalisms, Nonmonotonic…

Logic in Computer Science · Computer Science 2022-08-05 Yuliya Lierler , Jose F. Morales , Carmine Dodaro , Veronica Dahl , Martin Gebser , Tuncay Tekle

ICLP is the premier international event for presenting research in logic programming. Contributions to ICLP 2021 were sought in all areas of logic programming, including but not limited to: Foundations: Semantics, Formalisms, Nonmonotonic…

This document describes the contributions of the 2016 Applications of Logic Programming Workshop (AppLP), which was held on October 17 and associated with the International Conference on Logic Programming (ICLP) in Flushing, New York City.

Programming Languages · Computer Science 2017-04-11 David S. Warren , Yanhong A. Liu

This is the preface to the 26th International Conference on Logic Programming Special Issue

Artificial Intelligence · Computer Science 2010-08-11 Manuel Hermenegildo , Torsten Schaub

This volume contains the Technical Communications presented at the 39th International Conference on Logic Programming (ICLP 2023), held at Imperial College London, UK from July 9 to July 15, 2023. Technical Communications included here…

This volume contains the proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2013), held in Istanbul, Turkey during August 25, 2013. CICLOPS is a well established line of…

Programming Languages · Computer Science 2013-08-01 Ricardo Rocha , Christian Theil Have

This volume contains papers presented at WLPE 2005, 15th International Workshop on Logic-based methods in Programming Environments. The aim of the workshop is to provide an informal meeting for the researchers working on logic-based tools…

Programming Languages · Computer Science 2007-05-23 Alexander Serebrenik , Susana Munoz-Hernandez

This volume contains the papers presented at CICLOPS'12: 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems held on Tueseday September 4th, 2012 in Budapest. The program included 1 invited talk, 9…

Programming Languages · Computer Science 2013-02-04 Nicos Angelopoulos , Roberto Bagnara

This volume constitutes the pre-proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020), organized by the University of Bologna, Italy, as part of Bologna Federated Conference on Programming Languages…

Programming Languages · Computer Science 2020-09-07 Michael Hanus , Claudio Sacerdoti Coen

The twelfth Workshop on Logic Programming Environments, WLPE 2002, is one in a series of international workshops held in the topic area. The workshops facilitate the exchange ideas and results among researchers and system developers on all…

Software Engineering · Computer Science 2007-05-23 Alexandre Tessier

The Workshops on (Constraint) Logic Programming (WLP) are the annual meeting of the German Society of Logic Programming (Gesellschaft f\"ur Logische Programmierung e.V., GLP) and bring together researchers interested in logic programming,…

Programming Languages · Computer Science 2017-01-03 Sibylle Schwarz , Janis Voigtländer

This volume contains the papers presented at the 23rd Workshop on Logic-based Methods in Programming Environments (WLPE 2013), which was held in Istanbul, Turkey, on August 24 & 25 2013 as a satellite event of the 29th International…

Programming Languages · Computer Science 2013-08-23 Rémy Haemmerlé , Jose Morales

This volume constitutes the pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), held on 10-12th October 2017 in Namur, Belgium, and co-located with the 19th International…

Programming Languages · Computer Science 2017-09-01 Fabio Fioravanti , John P. Gallagher

This volume contains the papers presented at the sixth workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013) held on August 25th, 2013 in Istanbul, co-located with the 29th International Conference on Logic…

Artificial Intelligence · Computer Science 2013-12-31 Michael Fink , Yuliya Lierler
‹ Prev 1 2 3 10 Next ›