default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches

• 

Venues:

• no matches

• 

Publications:

• no matches

• 

ask others

• Google
• Google Scholar
• Semantic Scholar
• Internet Archive Scholar
• CiteSeerX
• ORCID

• 
  Joaquín Arias, Damiano Azzolini, Kinjal Basu, Verónica Dahl, Markus Hecher, Francesco Pacenza, Zeynep G. Saribatur, Sarat Chandra Varanasi:
  Workshop Proceedings of the 40th International Conference on Logic Programming (ICLP-WS 2024) co-located with the 40th International Conference on Logic Programming (ICLP 2024), Dallas, TX, USA, October 12th and 13th, 2024. CEUR Workshop Proceedings 3799, CEUR-WS.org 2024 [contents]

• 
  Joaquín Arias, Sotiris Batsakis, Wolfgang Faber, Gopal Gupta, Francesco Pacenza, Emmanuel Papadakis, Livio Robaldo, Kilian Rückschloß, Elmer Salazar, Zeynep G. Saribatur, Ilias Tachmazidis, Felix Weitkämper, Adam Z. Wyner:
  Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), London, United Kingdom, July 9th and 10th, 2023. CEUR Workshop Proceedings 3437, CEUR-WS.org 2023 [contents]
• 
  Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Alice Gaggl, Roberta Calegari, Artur S. d'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni:
  Proceedings 39th International Conference on Logic Programming, ICLP 2023, Imperial College London, UK, 9th July 2023 - 15th July 2023. EPTCS 385, 2023 [contents]

ICLP proceedings 1: Theory Pract. Log. Program. 22(4)

ICLP proceedings 2: Theory Pract. Log. Program. 22(5)

• 
  Joaquín Arias, Roberta Calegari, Luke Dickens, Wolfgang Faber, Jorge Fandinno, Gopal Gupta, Markus Hecher, Daniela Inclezan, Emily LeBlanc, Michael Morak, Elmer Salazar, Jessica Zangari:
  Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st - August 1st, 2022. CEUR Workshop Proceedings 3193, CEUR-WS.org 2022 [contents]
• 
  Yuliya Lierler, José F. Morales, Carmine Dodaro, Verónica Dahl, Martin Gebser, K. Tuncay Tekle:
  Proceedings 38th International Conference on Logic Programming, ICLP 2022 Technical Communications / Doctoral Consortium, Haifa, Israel, 31st July 2022 - 6th August 2022. EPTCS 364, 2022 [contents]

ICLP proceedings 1: Theory Pract. Log. Program. 21(5)

ICLP proceedings 2: Theory Pract. Log. Program. 21(6)

• 
  Joaquín Arias, Fabio Aurelio D'Asaro, Abeer Dyoub, Gopal Gupta, Markus Hecher, Emily LeBlanc, Rafael Peñaloza, Elmer Salazar, Ari Saptawijaya, Felix Weitkämper, Jessica Zangari:
  Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), Porto, Portugal (virtual), September 20th-21st, 2021. CEUR Workshop Proceedings 2970, CEUR-WS.org 2021 [contents]
• 
  Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts, Alex Brik, Verónica Dahl, Carmine Dodaro, Paul Fodor, Gian Luca Pozzato, Joost Vennekens, Neng-Fa Zhou:
  Proceedings 37th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2021, Porto (virtual event), 20-27th September 2021. EPTCS 345, 2021 [contents]

ICLP proceedings 1: Theory Pract. Log. Program. 20(5)

ICLP proceedings 2: Theory Pract. Log. Program. 20(6)

• 
  Francesco Ricca, Alessandra Russo, Sergio Greco, Nicola Leone, Alexander Artikis, Gerhard Friedrich, Paul Fodor, Angelika Kimmig, Francesca A. Lisi, Marco Maratea, Alessandra Mileo, Fabrizio Riguzzi:
  Proceedings 36th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2020, (Technical Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020. EPTCS 325, 2020 [contents]
• 
  Carmine Dodaro, George Aristidis Elder, Wolfgang Faber, Jorge Fandinno, Martin Gebser, Markus Hecher, Emily LeBlanc, Michael Morak, Jessica Zangari:
  International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), Rende, Italy, September 18-19, 2020. CEUR Workshop Proceedings 2678, CEUR-WS.org 2020 [contents]

ICLP proceedings: Theory Pract. Log. Program. 19(5-6)

• 
  Bart Bogaerts, Esra Erdem, Paul Fodor, Andrea Formisano, Giovambattista Ianni, Daniela Inclezan, Germán Vidal, Alicia Villanueva, Marina De Vos, Fangkai Yang:
  Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019. EPTCS 306, 2019 [contents]

Proceedings published in: Theory Pract. Log. Program. 18(3-4)

• 
  Alessandro Dal Palù, Paul Tarau, Neda Saeedloei, Paul Fodor:
  Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom. OASIcs 64, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-090-3 [contents]

Proceedings published in: Theory Pract. Log. Program. 17(5-6)

• 
  Ricardo Rocha, Tran Cao Son, Christopher Mears, Neda Saeedloei:
  Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017, August 28 to September 1, 2017, Melbourne, Australia. OASIcs 58, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-058-3 [contents]

Proceedings published in: Theory Pract. Log. Program. 16(5-6)

• 
  Manuel Carro, Andy King, Neda Saeedloei, Marina De Vos:
  Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016 TCs, October 16-21, 2016, New York City, USA. OASIcs 52, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-007-1 [contents]

Proceedings published in: Theory Pract. Log. Program. 15(4-5)

• 
  Marina De Vos, Thomas Eiter, Yuliya Lierler, Francesca Toni:
  Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31 - September 4, 2015. CEUR Workshop Proceedings 1433, CEUR-WS.org 2015 [contents]
• 
  Fabrizio Riguzzi, Joost Vennekens:
  Proceedings of the 2nd International Workshop on Probabilistic Logic Programming co-located with 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31st, 2015. CEUR Workshop Proceedings 1413, CEUR-WS.org 2015 [contents]

Proceedings published in: Theory Pract. Log. Program. 14(4-5)

Proceedings published in: Theory Pract. Log. Program. 13(4-5)

Proceedings published in: Theory Pract. Log. Program. 12(4-5)

• 
  Agostino Dovier, Vítor Santos Costa:
  Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012, September 4-8, 2012, Budapest, Hungary. LIPIcs 17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2012, ISBN 978-3-939897-43-9 [contents]

ICLP 2011 Home Page

Proceedings published in: Theory Pract. Log. Program. 11(4-5)

• 
  John P. Gallagher, Michael Gelfond:
  Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, July 6-10, 2011, Lexington, Kentucky, USA. LIPIcs 11, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2011, ISBN 978-3-939897-31-6 [contents]

ICLP 2010 Home Page

Proceedings published in: Theory Pract. Log. Program. 10(4-6)

• 
  Manuel V. Hermenegildo, Torsten Schaub:
  Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK. LIPIcs 7, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2010, ISBN 978-3-939897-17-0 [contents]
• 
  Agostino Dovier, Alessandro Dal Palù, Sebastian Will:
  Workshop on Constraint Based Methods for Bioinformatics, WCB10, Edinburgh, UK, July 21, 2010. EPiC Series in Computing 4, EasyChair 2012 [contents]

• 
  Patricia M. Hill, David Scott Warren:
  Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings. Lecture Notes in Computer Science 5649, Springer 2009, ISBN 978-3-642-02845-8 [contents]

• 
  Maria Garcia de la Banda, Enrico Pontelli:
  Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings. Lecture Notes in Computer Science 5366, Springer 2008, ISBN 978-3-540-89981-5 [contents]

• 
  Verónica Dahl, Ilkka Niemelä:
  Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings. Lecture Notes in Computer Science 4670, Springer 2007, ISBN 978-3-540-74608-9 [contents]
• 
  Axel Polleres, David Pearce, Stijn Heymans, Edna Ruckhaus:
  Proceedings of the ICLP'07 Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services, ALPSWS 2007, Porto, Portugal, September 13th, 2007. CEUR Workshop Proceedings 287, CEUR-WS.org 2007 [contents]

• 
  Sandro Etalle, Miroslaw Truszczynski:
  Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Lecture Notes in Computer Science 4079, Springer 2006, ISBN 3-540-36635-0 [contents]

• 
  Maurizio Gabbrielli, Gopal Gupta:
  Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings. Lecture Notes in Computer Science 3668, Springer 2005, ISBN 3-540-29208-X [contents]

ICLP 2004 Home Page

• 
  Bart Demoen, Vladimir Lifschitz:
  Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings. Lecture Notes in Computer Science 3132, Springer 2004, ISBN 3-540-22671-0 [contents]

Workshop on Teaching Logic Programming (TeachLP 2004)

• 
  Catuscia Palamidessi:
  Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings. Lecture Notes in Computer Science 2916, Springer 2003, ISBN 3-540-20642-6 [contents]
• 
  Sandro Etalle, Supratik Mukhopadhyay, Abhik Roychoudhury:
  Proceedings of the International Workshop on Software Verification and Validation, SVV@ICLP 2003, Mumbai, India, December 14, 2003. Electronic Notes in Theoretical Computer Science 118, Elsevier 2005 [contents]

• 
  Peter J. Stuckey:
  Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings. Lecture Notes in Computer Science 2401, Springer 2002, ISBN 3-540-43930-7 [contents]
• 
  Hendrik Decker, Jørgen Villadsen, Toshiharu Waragai:
  Paraconsistent Computational Logic, This proceedings volume contains the papers presented at the ICLP 2002 workshop Paraconsistent Computational Logic, on July 27, in Copenhagen, Denmark, as part of the Federated Logic Conference (FLoC). Datalogiske Skrifter 95, Roskilde University, Roskilde, Denmark 2002 [contents]

Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2002)

ICLP 2001 Home Page

• 
  Philippe Codognet:
  Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings. Lecture Notes in Computer Science 2237, Springer 2001, ISBN 3-540-42935-2 [contents]

ICLP 1999 Home Page

• 
  Danny De Schreye:
  Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999. MIT Press 1999, ISBN 0-262-54104-1 [contents]
• 
  Sandro Etalle, Jan-Georg Smaus:
  Workshop on Verification of Logic Programs 1999, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 1, 1999. Electronic Notes in Theoretical Computer Science 30(1), Elsevier 1999 [contents]
• 
  Michael Leuschel:
  Workshop on Optimization and Implementation of Declarative Programs, WOID 1999, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 2-3, 1999. Electronic Notes in Theoretical Computer Science 30(2), Elsevier 1999 [contents]
• 
  Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk:
  Parallelism and Implementation Technology for (Constraint) Logic Programming, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 1, 1999. Electronic Notes in Theoretical Computer Science 30(3), Elsevier 1999 [contents]
• 
  Mireille Ducassé, Anthony J. Kusalik, Germán Puebla:
  Tenth Workshop on Logic Programming Environments, WLPE 1999, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, Nobember 29, 1999. Electronic Notes in Theoretical Computer Science 30(4), Elsevier 1999 [contents]

• 
  Joxan Jaffar:
  Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998. MIT Press 1998, ISBN 0-262-60031-5 [contents]
• 
  Konstantinos Sagonas:
  Proceedings of the International Workshop on Implementation Technology for Programming Languages based on Logic, held in conjunction with the Joint International Conference and Symposium on Logic Programming, Manchester, UK, Saturday 20th June, 1998. 1998 [contents]

Parallelism and Implementation Technology for (Constraint) Logic Programming Languages

• 
  Lee Naish:
  Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997. MIT Press 1997, ISBN 0-262-64035-X [contents]
• 
  Anthony J. Kusalik, Mireille Ducassé, Ulrich Neumerkel:
  Proceedings of the 8th Workshop on Logic Programming Environments, LPE '97, post-conference workshop at ICLP 1997, Leuven, Belgium, July 11, 1997. 1997 [contents]
• 
  Ulrich Geske, Carolina Ruiz, Dietmar Seipel:
  Proceedings of the Fifth International Workshop on Deductive Databases and Logic Programming, DDLP'97, Leuven, Belgium, July 1997. Accepted Papers. GMD - German National Research Center for Information Technology 1997, ISBN 3-88457-317-9 [contents]

Logic-Based Composition of Software (LOCOS)

Tabling in Logic Programs

• 
  Michael J. Maher:
  Logic Programming, Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming, Bonn, Germany, September 2-6, 1996. MIT Press 1996, ISBN 0-262-63173-3 [contents]
• 
  Dmitri Boulanger, Ulrich Geske, Fosca Giannotti, Dietmar Seipel:
  Proceedings of the Workshop DDLP'96 on Deductive Databases and Logic Programming, 4th Workshop in Conjunction with JICSLP '96, Bonn, Germany, September 5-6, 1996. GMD-Studien 295, GMD, Sankt Augustin, Germany 1996, ISBN 3-88457-295-4 [contents]

Parallelism and Implementation Technology for Constraint Logic Programming

Workshop on Multi-Paradigm Logic Programming (MPLP)

• 
  Leon Sterling:
  Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, Tokyo, Japan, June 13-16, 1995. MIT Press 1995, ISBN 0-262-69177-9 [contents]

• 
  Hendrik Decker, Ulrich Geske, Antonis C. Kakas, Chiaki Sakama, Dietmar Seipel, Toni Urpí:
  Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995. GMD-Studien 266, Gesellschaft für Mathematik und Datenverarbeitung MbH 1995, ISBN 3-88457-266-0 [contents]

Workshop W5: Parallel Logic Programming

• 
  Pascal Van Hentenryck:
  Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994. MIT Press 1994, ISBN 0-262-72022-1 [contents]
• 
  Koenraad De Bosschere, Jean-Marie Jacquet, Antonio Brogi:
  ICPL 1994 Workshop W1: Process-Based Parallel Logic Programming, Santa Margherita Ligure, Italy, June, 1994. 1994 [contents]
• 
  Frank S. de Boer, Maurizio Gabbrielli:
  ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994. 1994 [contents]
• 
  Franz J. Kurfess, Alessandro Sperduti:
  ICLP 1994 Workshop W3: Logic and Reasoning with Neural Networks, Santa Margherita Ligure, Italy, June 1994. 1994 [contents]
• 
  Sixth Workshop on Logic Programming Environments, ICLP 1994 post Conference Workshop W4, Technical Report, Institutt for datateknikk og telematikk, Norges. Tekniske Høgskole, University of Trondheim, Trondheim, Norway 1994 [contents]
• 
  Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski:
  Non-Monotonic Extensions of Logic Programming (NMELP'94), ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers. Lecture Notes in Computer Science 927, Springer 1995, ISBN 3-540-59467-1 [contents]
• 
  Jonas Barklund, Bharat Jayaraman, Jiro Tanaka:
  Parallel and Data Parallel Execution of Logic Programs, Proceedings of the Post-ICLP'94 Workshop W6. UPMAIL Technical Report No. 78, June 1994. Uppsala University, Computing Science Departent 1994 [contents]
• 
  Paolo Ciancarini, Leon Sterling:
  ICLP 1994 Workshop W7: Applications of Logic Programming to Software Engineering, Santa Margherita Ligure, Italy, June 1994. 1994 [contents]
• 
  Hassan Aït-Kaci, Michael Hanus, Juan José Moreno-Navarro:
  Integration of Declarative Paradigms, Proceedings of the ICLP'94 Post-Conference Workshop. Max-Planck-Institut für Informatik, Saarbrücken, Germany, Report MPI-94-224, June 1994. Max-Planck-Institut für Informatik, Saarbrücken, Germany 1994 [contents]
• 
  Ulrich Geske, Dietmar Seipel:
  Proceedings of the Workshop on Deductive Databases and Logic Programming, Second ICLP-Workshop on Deductive Databases, Santa Marherita Ligure, Italy, June 17, 1994. GMD-Studien 231, Gesellschaft für Mathematik und Datenverarbeitung MBH 1994, ISBN 3-88457-231-8 [contents]
• 
  Roy Dyckhoff, Lars-Henrik Eriksson, Alberto Momigliano, Mario Ornaghi:
  ICLP 1994, Workshop W10: Proof-Theoretical Extensions on Logic Programming, Santa Margherita Ligure, Italy, June 1994. 1994 [contents]
• 
  Rosa Maria Bottino, Paola Forcheri, Maria Teresa Molfino:
  ICLP 1994 Workshop W11: Logic Programming and Education, Santa Margherita Ligure, Italy, June 1994. 1994 [contents]
• 
  Carlo Biagioli, Giovanni Sartor, Daniela Tiscornia:
  ICLP 1994 Workshop W12: Legal Application of Logic Programming, Santa Margherita Ligure, Italy, June 1994. 1994 [contents]

• 
  David Scott Warren:
  Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-25, 1993. MIT Press 1993, ISBN 0-262-73105-3 [contents]
• 
  Giancarlo Succi, Giancarlo Colla:
  Proceedings of the ICLP'93 Post Conference Workshop on: Concurrent, Distributed & Parallel Implementations of Logic Programming Systems. Budapest, Hungary, June 25, 1993. 1993 [contents]
• 
  Evan Tick, Giancarlo Succi:
  Implementations of Logic Programming Systems: Papers from the ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems - Concurrent, Distributed, and Parallel Implementations of Logic Programming Systems. Kluwer Academic Publishers, Boston 1994, ISBN 0-7923-9457-7 [contents]
• 
  Christian Schulte, Gert Smolka:
  Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, Budapest, Hungary, June 24-25, 1993. 1993 [contents]
• 
  Koen De Bosschere, Jean-Marie Jacquet, Paul Tarau:
  Proceedings of the ICLP'93 Post-Conference Workshop on Blackboard-Based Logic Programming, Budapest, Hungary, June 24, 1993. 1993 [contents]
• 
  Eugenio G. Omodeo, Gianfranco Rossi:
  Workshop on Logic Programming with Sets, in conjunction with ICLP 1993, Budapest, Hungary, June 24, 1993. 1993 [contents]

• 
  Krzysztof R. Apt:
  Logic Programming, Proceedings of the Joint International Conference and Symposium on Logic Programming, JICSLP 1992, Washington, DC, USA, November 1992. MIT Press 1992, ISBN 0-262-51064-2 [contents]
• 
  Howard A. Blair, V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
  Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic methods in Logic-Programming, Washington, DC, USA, November 13, 1992. Mathematical Sciences Institute, Cornell University 1992 [contents]
• 
  Mireille Ducassé, Yow-Jian Lin, L. Ümit Yalçinalp:
  Proceedings of the 4th Workshop on Logic Programming Environments (LPE 1992), November 13th, 1992, In conjunction with JICSLP 1992, Washington, DC, USA. Technical Report TR 92-143. Case Western Reserver University, Cleveland 1992 [contents]
• 
  Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP'92, Washington, DC, USA, November 1992. 1992 [contents]

• 
  Koichi Furukawa:
  Logic Programming, Proceedings of the Eigth International Conference, Paris, France, June 24-28, 1991. MIT Press 1991, ISBN 0-262-56058-5 [contents]
• 
  Jean-Marie Jacquet:
  Constructing Logic Programs - This book is issued from a workshop on the subject of the construction of logic programs, organized during the 1991 ICLP. Wiley 1993, ISBN 0-471-93789-4 [contents]
• 
  Anthony Joseph Beaumont, Gopal Gupta:
  Parallel Execution of Logic Programs, ICLP'91 Pre-Conference Workshop, Paris, France, June 24, 1991, Proceedings. Lecture Notes in Computer Science 569, Springer 1991, ISBN 3-540-55038-0 [contents]
• 
  Mireille Ducassé, Gérard Ferrand:
  Proceedings of the ICLP 1991 Workshop on Logic Programming Environments, Paris, June 1991. Technical Report, University of Orléans, France, LIFO N 91-6. University of Orléans, France 1991 [contents]

• 
  David H. D. Warren, Péter Szeredi:
  Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990. MIT Press 1990, ISBN 0-262-73090-1 [contents]
• 
  Mireille Ducassé, Anna-Maria Emde, Anthony J. Kusalik, Jacob Levy:
  Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, Eilat, Israel, June 16, 1990. Technical Report, ECRC IR-LP-31-25. 1990 [contents]

• 
  Giorgio Levi, Maurizio Martelli:
  Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989. MIT Press 1989, ISBN 0-262-62065-0 [contents]

• 
  Robert A. Kowalski, Kenneth A. Bowen:
  Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes). MIT Press 1988, ISBN 0-262-61056-6 [contents]

• 
  Jean-Louis Lassez:
  Logic Programming, Proceedings of the Fourth International Conference, Melbourne, Victoria, Australia, May 25-29, 1987 (2 Volumes). MIT Press 1987, ISBN 0-262-12125-5 [contents]

• 
  Ehud Shapiro:
  Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986, Proceedings. Lecture Notes in Computer Science 225, Springer 1986, ISBN 3-540-16492-8 [contents]

• 
  Sten-Åke Tärnlund:
  Proceedings of the Second International Logic Programming Conference, Uppsala University, Uppsala, Sweden, July 2-6, 1984. Uppsala University 1984 [contents]

• 
  Luís Moniz Pereira, António Porto, Luís Monteiro, Miguel Figueiras:
  Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June - 1 July, 1983, Proceedings. Núcleo de Intelligência Artificial, Universidade Nova De Lisboa, Portugal 1983 [contents]

• 
  Michel Van Caneghem:
  Proceedings of the First International Logic Programming Conference, Faculté des Science de Luminy, ADDP-GIA, Marseille, France, September, 14-17, 1982. ADDP-GIA 1982 [contents]

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

last updated on 2025-01-18 00:49 CET by the dblp team

 all metadata released as open data under CC0 1.0 license

see also: Terms of Use | Privacy Policy | Imprint

dblp was originally created in 1993 at:

 

since 2018, dblp has been operated and maintained by:

 

the dblp computer science bibliography is funded and supported by: