tag : logic programming
41 publications
On Correctness and Completeness of an n Queens Program (article in journal, 2022) — Włodzimierz Drabent CILC 2022 – Italian Conference on Computational Logic (edited volume, 2022) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini ICLP Workshops 2022: International Conference on Logic Programming 2022 Workshops (edited volume, 2022) — 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 A Mechanism for Reasoning over Defeasible Preferences in Arg2P (paper in proceedings, 2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor Explainability through argumentation in logic programming (paper in proceedings, 2021) — Marco Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (paper in proceedings, 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini 2P-Kt: logic programming with objects & functions in Kotlin (paper in proceedings, 2020) — Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini Argumentation and Logic Programming for Explainable and Ethical AI (paper in proceedings, 2020) — Roberta Calegari, Andrea Omicini, Giovanni Sartor Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI (paper in proceedings, 2019) — Roberta Calegari, Giovanni Ciatto, Jason Dellaluce, Andrea Omicini Logic Programming as a Service in Multi-Agent Systems for the Internet of Things (article in journal, 2019) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines (paper in proceedings, 2019) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning (article in journal, 2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini From the Blockchain to Logic Programming and Back: Research Perspectives (paper in proceedings, 2018) — Giovanni Ciatto, Roberta Calegari, Stefano Mariani, Enrico Denti, Andrea Omicini Extending Logic Programming with Labelled Variables: Model and Semantics (article in journal, 2018) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini Logic Programming in Space-Time: The Case of Situatedness in LPaaS (paper in proceedings, 2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini Logic Programming as a Service (article in journal, 2018) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini Logic Programming as a Service (LPaaS): Intelligence for the IoT (paper in proceedings, 2017) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini Labelled Variables in Logic Programming: Foundations (paper in proceedings, 2016) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini Towards Logic Programming as a Service: Experiments in tuProlog (paper in proceedings, 2016) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini tuProlog: Making Prolog Ubiquitous (article in journal, 2013) — Enrico Denti, Andrea Omicini, Roberta Calegari Declarative Agent Languages and Technologies VIII (edited volume, 2011) — Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos Agents, Multi-Agent Systems and Declarative Programming: Who, What, When, Where, Why, How? (book chapter, 2010) — Matteo Baldoni, Cristina Baroglio, Viviana Mascardi, Andrea Omicini, Paolo Torroni A Multi-Theory Logic Language for the World Wide Web (paper in proceedings, 2008) — Giulio Piancastelli, Andrea Omicini A Multi-Theory Logic Programming Language for the World Wide Web (technical report, 2008) — Giulio Piancastelli, Andrea Omicini The Architecture and Design of a Malleable Object-Oriented Prolog Engine (paper in proceedings, 2008) — Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci Minority Game: A Logic-Based Approach in TuCSoN (paper in proceedings, 2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini Multi-paradigm Java-Prolog Integration in tuProlog (article in journal, 2005) — Enrico Denti, Andrea Omicini, Alessandro Ricci Merging Logic Programming into Web-based Technology: A Coordination-based Approach (paper in proceedings, 1997) — Enrico Denti, Antonio Natali, Andrea Omicini Robot Control Systems as Contextual Logic Programs (book chapter, 1995) — Enrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli A Multi-Agent Framework and Programming Environment for Autonomous Robotics (paper in proceedings, 1994) — Francesco Zanichelli, Stefano Caselli, Antonio Natali, Andrea Omicini Object-Oriented Computations in Logic Programming (paper in proceedings, 1994) — Andrea Omicini, Antonio Natali Open Logic Theory Composition in a Software Engineering Perspective (paper in proceedings, 1994) — Enrico Denti, Andrea Omicini A Structured Logic Programming Approach to Robot Programming (paper in proceedings, 1994) — Enrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support (paper in proceedings, 1993) — Enrico Denti, Antonio Natali, Andrea Omicini Exploiting Logic Programming in Robot Applications (paper in proceedings, 1993) — Antonio Natali, Andrea Omicini, Francesco Zanichelli Techniques for Implementing Contexts in Logic Programming (paper in proceedings, 1993) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini Objects with State in Contextual Logic Programming (paper in proceedings, 1993) — Antonio Natali, Andrea Omicini Implementing Contexts in Logic Programming (paper in proceedings, 1992) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System (paper in proceedings, 1992) — Enrico Denti, Antonio Natali, Andrea Omicini Objects as Evolving Contexts (paper in proceedings, 1992) — Antonio Natali, Andrea Omicini CSM User's Guide (technical report, 1992) — Enrico Denti, Antonio Natali, Andrea Omicini