AngryHEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases. - Francesco Calimeri; Michael Fink 001; Stefano Germano; Giovambattista Ianni; Christoph Redl; Anton Wimmer (PAI@AI*IA, 2013)

Answer Set Programming and Declarative Problem Solving in Game AIs. - Davide Fuscà; Stefano Germano; Jessica Zangari; Francesco Calimeri; Simona Perri (PAI@AI*IA, 2013)

ActHEX: Implementing HEX Programs with Action Atoms. - Michael Fink 001; Stefano Germano; Giovambattista Ianni; Christoph Redl; Peter Schüller (LPNMR, 2013)

Web Stream Reasoning in Practice: On the Expressivity vs. Scalability Tradeoff. - Stefano Germano; Thu-Le Pham; Alessandra Mileo (RR, 2015)

Boosting the Development of ASP-Based Applications in Mobile and General Scenarios. - Francesco Calimeri; Davide Fuscà; Stefano Germano; Simona Perri; Jessica Zangari (AI*IA, 2016)

A framework for easing the development of applications embedding answer set programming. - Davide Fuscà; Stefano Germano; Jessica Zangari; Marco Anastasio; Francesco Calimeri; Simona Perri (PPDP, 2016)

Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases. - Francesco Calimeri; Michael Fink 001; Stefano Germano; Andreas Humenberger; Giovambattista Ianni; Christoph Redl; Daria Stepanova 001; Andrea Tucci; Anton Wimmer (IEEE Trans. Comput. Intell. AI Games, 2016)

Automatic configuration of smart city applications for user-centric decision support. - Thu-Le Pham; Stefano Germano; Alessandra Mileo; Daniel Kümper; Muhammad Intizar Ali (ICIN, 2017)

A Framework for Easing the Development of Applications Embedding Answer Set Programming. - Francesco Calimeri; Davide Fuscà; Stefano Germano; Simona Perri; Jessica Zangari (CoRR, 2017)

LoIDE: a web-based IDE for Logic Programming - Preliminary Technical Report. - Stefano Germano; Francesco Calimeri; Eliana Palermiti (CoRR, 2017)

Answer Set Programming for Declarative Content Specification: A Scalable Partitioning-Based Approach. - Francesco Calimeri; Stefano Germano; Giovambattista Ianni; Francesco Pacenza; Armando Pezzimenti; Andrea Tucci (AI*IA, 2018)

Reasoning over Ontologies with DLV. - Carlo Allocca; Mario Alviano; Francesco Calimeri; Roberta Costabile; Alessio Fiorentino; Davide Fuscà; Stefano Germano; Giovanni Laboccetta; Nicola Leone; Marco Manna; Simona Perri; Kristian Reale; et al. (IC3K, 2018)

LoIDE: A Web-Based IDE for Logic Programming Preliminary Report. - Stefano Germano; Francesco Calimeri; Eliana Palermiti (PADL, 2018)

Integrating Rule-Based AI Tools into Mainstream Game Development. - Francesco Calimeri; Stefano Germano; Giovambattista Ianni; Francesco Pacenza; Simona Perri; Jessica Zangari (RuleML+RR, 2018)

Developing ASP Programs with ASPIDE and LoIDE. - Francesco Calimeri; Stefano Germano; Eliana Palermiti; Kristian Reale; Francesco Ricca (Künstliche Intell., 2018)

The DLVHEX System. - Thomas Eiter; Stefano Germano; Giovambattista Ianni; Tobias Kaminski; Christoph Redl; Peter Schüller; Antonius Weinzierl (Künstliche Intell., 2018)

Large Scale DLV: Preliminary Results. - Nicola Leone; Carlo Allocca; Mario Alviano; Francesco Calimeri; Cristina Civili; Roberta Costabile; Bernardo Cuteri; Alessio Fiorentino; Davide Fuscà; Stefano Germano; Giovanni Laboccetta; Marco Manna; et al. (CILC, 2019)

Large-Scale Reasoning on Expressive Horn Ontologies. - Carlo Allocca; Francesco Calimeri; Cristina Civili; Roberta Costabile; Bernardo Cuteri; Alessio Fiorentino; Davide Fuscà; Stefano Germano; Giovanni Laboccetta; Marco Manna; Simona Perri; Kristian Reale; et al. (Datalog, 2019)

Enhancing DLV for Large-Scale Reasoning. - Nicola Leone; Carlo Allocca; Mario Alviano; Francesco Calimeri; Cristina Civili; Roberta Costabile; Alessio Fiorentino; Davide Fuscà; Stefano Germano; Giovanni Laboccetta; Bernardo Cuteri; Marco Manna; et al. (LPNMR, 2019)

Querying Large Expressive Horn Ontologies. - Carlo Allocca; Mario Alviano; Francesco Calimeri; Cristina Civili; Roberta Costabile; Bernardo Cuteri; Alessio Fiorentino; Davide Fuscà; Stefano Germano; Giovanni Laboccetta; Nicola Leone; Marco Manna; et al. (SEBD, 2019)

Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework. - Francesco Calimeri; Davide Fuscà; Stefano Germano; Simona Perri; Jessica Zangari (New Gener. Comput., 2019)

Datasets for Guarded Saturation. - Michael Benedikt; Maxime Buron; Stefano Germano; Kevin Kappelmann; Boris Motik (Zenodo, 2020)

RSAComb: Combined Approach for CQ Answering in RSA. - Federico Igne; Stefano Germano; Ian Horrocks 001 (Description Logics, 2021)

Use of Semantic Technologies to Inform Progress Toward Zero-Carbon Economy. - Stefano Germano; Carla Saunders; Ian Horrocks 001; Rick Lupton (ISWC, 2021)

Use of Semantic Technologies to Inform Progress Toward Zero-Carbon Economy - Extended Abstract. - Stefano Germano; Carla Saunders; Ian Horrocks 001; Rick Lupton (ISWC (Posters/Demos/Industry), 2021)

Computing CQ Lower-Bounds over OWL 2 Through Approximation to RSA. - Federico Igne; Stefano Germano; Ian Horrocks 001 (ISWC, 2021)

Computing CQ lower-bounds over OWL 2 through approximation to RSA - Extended Abstract. - Federico Igne; Stefano Germano; Ian Horrocks 001 (ISWC (Posters/Demos/Industry), 2021)

RSAComb - Combined approach for Conjunctive Query answering in RSA. - Federico Igne; Stefano Germano; Ian Horrocks 001 (Zenodo, 2021)

RSAComb - Combined approach for Conjunctive Query answering in RSA. - Federico Igne; Stefano Germano; Ian Horrocks 001 (Zenodo, 2021)

Datalog Rewriting for Guarded TGDs. - Michael Benedikt; Maxime Buron; Stefano Germano; Kevin Kappelmann; Boris Motik (Datalog, 2022)

Rewriting the Infinite Chase. - Michael Benedikt; Maxime Buron; Stefano Germano; Kevin Kappelmann; Boris Motik (Proc. VLDB Endow., 2022)

RSAComb - Combined approach for Conjunctive Query answering in RSA. - Federico Igne; Stefano Germano; Ian Horrocks 001 (Zenodo, 2022)

ACQuA - A hybrid framework providing a CQ answering service for OWL. - Federico Igne; Stefano Germano; Ian Horrocks 001 (Zenodo, 2022)

Benchmarks and scripts for ACQuA and RSAComb. - Federico Igne; Stefano Germano; Ian Horrocks 001 (Zenodo, 2022)

PDQ 2.0: Flexible Infrastructure for Integrating Reasoning and Query Planning. - Michael Benedikt; Fergus R. Cooper; Stefano Germano; Gabor Gyorkei; Efthymia Tsamoura; Brandon Moore; Camilo Ortiz (SIGMOD Rec., 2022)

Domain-agnostic Procedural Content Generation Can Be Done Declaratively. - Denise Angilica; Stefano Germano; Giovambattista Ianni (CILC, 2023)

TEC: Transparent Emissions Calculation Toolkit. - Milan Markovic; Daniel Garijo; Stefano Germano; Iman Naja (ISWC, 2023)

Conjunctive query answering over unrestricted OWL 2 ontologies. - Federico Igne; Stefano Germano; Ian Horrocks 001 (Semantic Web, 2023)

Farm Explorer: A Tool for Calculating Transparent Greenhouse Gas Emissions. - Milan Markovic; Stefano Germano; Daniel Garijo; Peter Edwards; Andy Li; Tewodros Ayall; Rachael Ramsey; Georgios Leontidis (ISWC (Posters/Demos/Industry), 2024)

Guarded Saturation. - Michael Benedikt; Maxime Buron; Stefano Germano; Kevin Kappelmann; Boris Motik (Zenodo, 2024)

Experiments on Guarded Saturation. - Michael Benedikt; Maxime Buron; Stefano Germano; Kevin Kappelmann; Boris Motik (Zenodo, 2024)

Rewriting the Infinite Chase for Guarded TGDs. - Michael Benedikt; Maxime Buron; Stefano Germano; Kevin Kappelmann; Boris Motik (ACM Trans. Database Syst., 2024)