Stefano Germano

36 papers B 3C 3Misc 4Journal 12Unranked 14
YearRankTypeTitle / Venue / Authors
2024 — conf
Farm Explorer: A Tool for Calculating Transparent Greenhouse Gas Emissions.
ISWC (Posters/Demos/Industry)
Milan Markovic, Stefano Germano, Daniel Garijo, Peter Edwards, Andy Li, Tewodros Ayall, Rachael Ramsey, Georgios Leontidis
2024 J jnl
Rewriting the Infinite Chase for Guarded TGDs.
ACM Trans. Database Syst.
Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik
2023 J jnl
Conjunctive query answering over unrestricted OWL 2 ontologies.
Semantic Web
Federico Igne, Stefano Germano, Ian Horrocks
2023 — conf
Domain-agnostic Procedural Content Generation Can Be Done Declaratively.
CILC
Denise Angilica, Stefano Germano, Giovambattista Ianni
2023 Misc conf
TEC: Transparent Emissions Calculation Toolkit.
ISWC
Milan Markovic, Daniel Garijo, Stefano Germano, Iman Naja
2022 — conf
Datalog Rewriting for Guarded TGDs.
Datalog
Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik
2022 J jnl
PDQ 2.0: Flexible Infrastructure for Integrating Reasoning and Query Planning.
SIGMOD Rec.
Michael Benedikt, Fergus R. Cooper, Stefano Germano, Gabor Gyorkei, Efthymia Tsamoura, Brandon Moore, Camilo Ortiz
2022 J jnl
Rewriting the Infinite Chase.
CoRR
Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik
2022 J jnl
Rewriting the Infinite Chase.
Proc. VLDB Endow.
Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik
2021 Misc conf
Computing CQ Lower-Bounds over OWL 2 Through Approximation to RSA.
ISWC
Federico Igne, Stefano Germano, Ian Horrocks
2021 — conf
Computing CQ lower-bounds over OWL 2 through approximation to RSA - Extended Abstract.
ISWC (Posters/Demos/Industry)
Federico Igne, Stefano Germano, Ian Horrocks
2021 J jnl
Computing CQ lower-bounds over OWL 2 through approximation to RSA.
CoRR
Federico Igne, Stefano Germano, Ian Horrocks
2021 — conf
RSAComb: Combined Approach for CQ Answering in RSA.
Description Logics
Federico Igne, Stefano Germano, Ian Horrocks
2021 — conf
Use of Semantic Technologies to Inform Progress Toward Zero-Carbon Economy - Extended Abstract.
ISWC (Posters/Demos/Industry)
Stefano Germano, Carla Saunders, Ian Horrocks, Rick Lupton
2021 Misc conf
Use of Semantic Technologies to Inform Progress Toward Zero-Carbon Economy.
ISWC
Stefano Germano, Carla Saunders, Ian Horrocks, Rick Lupton
2019 B conf
Enhancing DLV for Large-Scale Reasoning.
LPNMR
Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Bernardo Cuteri, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2019 J jnl
Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework.
New Gener. Comput.
Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari
2019 — conf
Large Scale DLV: Preliminary Results.
CILC
Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2019 — conf
Large-Scale Reasoning on Expressive Horn Ontologies.
Datalog
Carlo Allocca, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2019 — conf
Querying Large Expressive Horn Ontologies.
SEBD
Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2018 — conf
Answer Set Programming for Declarative Content Specification: A Scalable Partitioning-Based Approach.
AI*IA
Francesco Calimeri, Stefano Germano, Giovambattista Ianni, Francesco Pacenza, Armando Pezzimenti, Andrea Tucci
2018 J jnl
Developing ASP Programs with ASPIDE and LoIDE.
Künstliche Intell.
Francesco Calimeri, Stefano Germano, Eliana Palermiti, Kristian Reale, Francesco Ricca
2018 B conf
Integrating Rule-Based AI Tools into Mainstream Game Development.
RuleML+RR
Francesco Calimeri, Stefano Germano, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
2018 C conf
LoIDE: A Web-Based IDE for Logic Programming Preliminary Report.
PADL
Stefano Germano, Francesco Calimeri, Eliana Palermiti
2018 C conf
Reasoning over Ontologies with DLV.
IC3K
Carlo Allocca, Mario Alviano, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2018 J jnl
The DLVHEX System.
Künstliche Intell.
Thomas Eiter, Stefano Germano, Giovambattista Ianni, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl
2017 J jnl
A Framework for Easing the Development of Applications Embedding Answer Set Programming.
CoRR
Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari
2017 Misc conf
Automatic configuration of smart city applications for user-centric decision support.
ICIN
Thu-Le Pham, Stefano Germano, Alessandra Mileo, Daniel Kümper, Muhammad Intizar Ali
2017 J jnl
LoIDE: a web-based IDE for Logic Programming - Preliminary Technical Report.
CoRR
Stefano Germano, Francesco Calimeri, Eliana Palermiti
2016 C conf
A framework for easing the development of applications embedding answer set programming.
PPDP
Davide Fuscà, Stefano Germano, Jessica Zangari, Marco Anastasio, Francesco Calimeri, Simona Perri
2016 J jnl
Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases.
IEEE Trans. Comput. Intell. AI Games
Francesco Calimeri, Michael Fink, Stefano Germano, Andreas Humenberger, Giovambattista Ianni, Christoph Redl, Daria Stepanova, Andrea Tucci, Anton Wimmer
2016 — conf
Boosting the Development of ASP-Based Applications in Mobile and General Scenarios.
AI*IA
Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari
2015 — conf
Web Stream Reasoning in Practice: On the Expressivity vs. Scalability Tradeoff.
RR
Stefano Germano, Thu-Le Pham, Alessandra Mileo
2013 B conf
ActHEX: Implementing HEX Programs with Action Atoms.
LPNMR
Michael Fink, Stefano Germano, Giovambattista Ianni, Christoph Redl, Peter Schüller
2013 — conf
AngryHEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases.
PAI@AI*IA
Francesco Calimeri, Michael Fink, Stefano Germano, Giovambattista Ianni, Christoph Redl, Anton Wimmer
2013 — conf
Answer Set Programming and Declarative Problem Solving in Game AIs.
PAI@AI*IA
Davide Fuscà, Stefano Germano, Jessica Zangari, Francesco Calimeri, Simona Perri