tag : logic programming
38 publications / Andrea Omicini
CILC 2022 – Italian Conference on Computational Logic (CILC 2022) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (JELIA 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
A Mechanism for Reasoning over Defeasible Preferences in Arg2P (CILC 2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
Argumentation and Logic Programming for Explainable and Ethical AI (AIxIA 2020) — Roberta Calegari, Andrea Omicini, Giovanni Sartor
2P-Kt: logic programming with objects & functions in Kotlin (WOA 2020) — Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini
Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI (WOA 2019) — Roberta Calegari, Giovanni Ciatto, Jason Dellaluce, Andrea Omicini
Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines (IDCS 2019) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
Logic Programming as a Service in Multi-Agent Systems for the Internet of Things (International Journal of Grid and Utility Computing, 2019) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning (Big Data and Cognitive Computing, 2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
From the Blockchain to Logic Programming and Back: Research Perspectives (WOA 2018) — Giovanni Ciatto, Roberta Calegari, Stefano Mariani, Enrico Denti, Andrea Omicini
Extending Logic Programming with Labelled Variables: Model and Semantics (Fundamenta Informaticae, 2018) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
Logic Programming in Space-Time: The Case of Situatedness in LPaaS (WOA 2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
Logic Programming as a Service (Theory and Practice of Logic Programming, 2018) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Logic Programming as a Service (LPaaS): Intelligence for the IoT (ICNSC 2017) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Labelled Variables in Logic Programming: Foundations (CILC 2016) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
Towards Logic Programming as a Service: Experiments in tuProlog (WOA 2016) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
tuProlog: Making Prolog Ubiquitous (ALP Newsletter, 2013) — Enrico Denti, Andrea Omicini, Roberta Calegari
Declarative Agent Languages and Technologies VIII (DALT 2010@AAMAS 2010) — Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos
Agents, Multi-Agent Systems and Declarative Programming: Who, What, When, Where, Why, How? (2010) — Matteo Baldoni, Cristina Baroglio, Viviana Mascardi, Andrea Omicini, Paolo Torroni
A Multi-Theory Logic Programming Language for the World Wide Web (2008) — Giulio Piancastelli, Andrea Omicini
The Architecture and Design of a Malleable Object-Oriented Prolog Engine (2008) — Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci
A Multi-Theory Logic Language for the World Wide Web (2008) — Giulio Piancastelli, Andrea Omicini
Minority Game: A Logic-Based Approach in TuCSoN (WOA 2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini
Multi-paradigm Java-Prolog Integration in tuProlog (Science of Computer Programming, 2005) — Enrico Denti, Andrea Omicini, Alessandro Ricci
Merging Logic Programming into Web-based Technology: A Coordination-based Approach (1997) — Enrico Denti, Antonio Natali, Andrea Omicini
Robot Control Systems as Contextual Logic Programs (1995) — Enrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli
Object-Oriented Computations in Logic Programming (ECOOP 1994) — Andrea Omicini, Antonio Natali
A Multi-Agent Framework and Programming Environment for Autonomous Robotics (ICRA 1994) — Francesco Zanichelli, Stefano Caselli, Antonio Natali, Andrea Omicini
Open Logic Theory Composition in a Software Engineering Perspective (1994) — Enrico Denti, Andrea Omicini
A Structured Logic Programming Approach to Robot Programming (1994) — Enrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli
From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support (1993) — Enrico Denti, Antonio Natali, Andrea Omicini
Objects with State in Contextual Logic Programming (PLILP’93) — Antonio Natali, Andrea Omicini
Exploiting Logic Programming in Robot Applications (GULP 1993) — Antonio Natali, Andrea Omicini, Francesco Zanichelli
Techniques for Implementing Contexts in Logic Programming (ELP'92) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
Objects as Evolving Contexts (COMPULOG NET Area Meeting '92) — Antonio Natali, Andrea Omicini
Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System (GULP 1992) — Enrico Denti, Antonio Natali, Andrea Omicini
Implementing Contexts in Logic Programming (ELP'92) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
CSM User's Guide (1992) — Enrico Denti, Antonio Natali, Andrea Omicini