ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications
Calimeri, Francesco, Leone, Nicola, Melissari, Giovanni, Pacenza, Francesco, Perri, Simona, Reale, Kristian, Ricca, Francesco, Zangari, Jessica
Published in Algorithms (01.03.2023)
Published in Algorithms (01.03.2023)
Get full text
Journal Article
Debugging Non-ground ASP Programs: Technique and Graphical Tools
DODARO, CARMINE, GASTEIGER, PHILIP, REALE, KRISTIAN, RICCA, FRANCESCO, SCHEKOTIHIN, KONSTANTIN
Published in Theory and practice of logic programming (01.03.2019)
Published in Theory and practice of logic programming (01.03.2019)
Get full text
Journal Article
Proceedings 38th International Conference on Logic Programming: Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning (Extended Abstract)
Reale, Kristian, Calimeri, Francesco, Leone, Nicola, Perri, Simona, Ricca, Francesco
Published in Electronic proceedings in theoretical computer science (04.08.2022)
Published in Electronic proceedings in theoretical computer science (04.08.2022)
Get full text
Journal Article
Enhancing DLV for Large-Scale Reasoning
Leone, Nicola, Allocca, Carlo, Alviano, Mario, Calimeri, Francesco, Civili, Cristina, Costabile, Roberta, Fiorentino, Alessio, Fuscà, Davide, Germano, Stefano, Laboccetta, Giovanni, Cuteri, Bernardo, Manna, Marco, Perri, Simona, Reale, Kristian, Ricca, Francesco, Veltri, Pierfrancesco, Zangari, Jessica
Published in Logic Programming and Nonmonotonic Reasoning
Published in Logic Programming and Nonmonotonic Reasoning
Get full text
Book Chapter
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track
Calimeri, Francesco, Ianni, Giovambattista, Ricca, Francesco, Alviano, Mario, Bria, Annamaria, Catalano, Gelsomina, Cozza, Susanna, Faber, Wolfgang, Febbraro, Onofrio, Leone, Nicola, Manna, Marco, Martello, Alessandra, Panetta, Claudio, Perri, Simona, Reale, Kristian, Santoro, Maria Carmela, Sirianni, Marco, Terracina, Giorgio, Veltri, Pierfrancesco
Published in Logic Programming and Nonmonotonic Reasoning
Published in Logic Programming and Nonmonotonic Reasoning
Get full text
Book Chapter
Debugging Non-Ground ASP Programs: Technique and Graphical Tools
Dodaro, Carmine, Gasteiger, Philip, Reale, Kristian, Ricca, Francesco, Schekotihin, Konstantin
Published in arXiv.org (01.08.2018)
Published in arXiv.org (01.08.2018)
Get full text
Paper
Journal Article
An integrated Graphical User Interface for Debugging Answer Set Programs
Gasteiger, Philip, Dodaro, Carmine, Musitsch, Benjamin, Reale, Kristian, Ricca, Francesco, Schekotihin, Konstantin
Year of Publication 15.11.2016
Year of Publication 15.11.2016
Get full text
Journal Article
Developing ASP Programs with ASPIDE and L oIDE
Calimeri, Francesco, Germano, Stefano, Palermiti, Eliana, Reale, Kristian, Ricca, Francesco
Published in KI. Künstliche Intelligenz (Oldenbourg) (01.08.2018)
Published in KI. Künstliche Intelligenz (Oldenbourg) (01.08.2018)
Get full text
Magazine Article
Developing ASP Programs with ASPIDE and LoIDE
Calimeri, Francesco, Germano, Stefano, Palermiti, Eliana, Reale, Kristian, Ricca, Francesco
Published in KI. Künstliche Intelligenz (Oldenbourg) (01.08.2018)
Published in KI. Künstliche Intelligenz (Oldenbourg) (01.08.2018)
Get full text
Magazine Article