Logic Programming and Nonmonotonic Reasoning by Francesco Calimeri, Giovambattista Ianni & Miroslaw Truszczynski

Logic Programming and Nonmonotonic Reasoning

By

Description

This volume contains the refereed proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA.

The 29 long and 11 short papers presented together with 3 invited talks, the paper reporting on the Answer Set Programming competition, and four papers presented by LPNMR student attendees at the doctoral consortium were carefully reviewed and selected from 60 submissions. LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation. The aim of the LPNMR conferences is to facilitate interactions between researchers interested in the design and implementation of logic-based programming languages and database systems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning.

More Francesco Calimeri, Giovambattista Ianni & Miroslaw Truszczynski Books

  • Practical Aspects of Declarative Languages

    Practical Aspects of Declarative Languages

    Francesco Calimeri, Kevin Hamlen & Nicola Leone

    Programming

  • Artificial Intelligence. ECAI 2023 International Workshops

    Artificial Intelligence. ECAI 2023 International Workshops

    Slawomir Nowaczyk, Przemyslaw Biecek, Neo Christopher Chung, Mauro Vallati, Paweł Skruch, Joanna Jaworek-Korjakowska, Simon Parkinson, Alexandros Nikitas, Martin Atzmüller, Tomáš Kliegr, Ute Schmid, Szymon Bobek, Nada Lavrac, Marieke Peeters, Roland van Dierendonck, Saskia Robben, Eunika Mercier-Laurent, Gülgün Kayakutlu, Mieczysław Lech Owoc, Karl Mason, Abdul Wahid, Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Giorgio Terracina, Diedrich Wolter, Jochen L. Leidner, Michael Kohlhase & Vania Dimitrova

    Computers & Internet

  • Logic Programming and Nonmonotonic Reasoning

    Logic Programming and Nonmonotonic Reasoning

    Francesco Calimeri, Giovambattista Ianni & Miroslaw Truszczynski

    Computers & Internet

  • Logics in Artificial Intelligence

    Logics in Artificial Intelligence

    Francesco Calimeri, Nicola Leone & Marco Manna

    Computers & Internet

  • Artificial Intelligence. ECAI 2023 International Workshops

    Artificial Intelligence. ECAI 2023 International Workshops

    Slawomir Nowaczyk, Przemyslaw Biecek, Neo Christopher Chung, Mauro Vallati, Paweł Skruch, Joanna Jaworek-Korjakowska, Simon Parkinson, Alexandros Nikitas, Martin Atzmüller, Tomáš Kliegr, Ute Schmid, Szymon Bobek, Nada Lavrac, Marieke Peeters, Roland van Dierendonck, Saskia Robben, Eunika Mercier-Laurent, Gülgün Kayakutlu, Mieczysław Lech Owoc, Karl Mason, Abdul Wahid, Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Giorgio Terracina, Diedrich Wolter, Jochen L. Leidner, Michael Kohlhase & Vania Dimitrova

    Computers & Internet