Francesco Ricca

242 papers A* 21A 2B 36C 9Journal 93Unranked 76

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	2-ASP(Q) Solving Based on CEGAR. AAAI Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca
2026	A*	`conf`	Computing Syntax Tree-based Minimal Unsatisfiable Cores of LTLf Formulas. AAAI Valeria Fionda, Antonio Ielo, Francesco Ricca
2026	A*	`conf`	Enumerating Minimal Unsatisfiable Cores of LTLf Formulae. AAAI Antonio Ielo, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca
2026	B	`ed.`	Proceedings 41st International Conference on Logic Programming, ICLP 2025, Rende, Italy, 12-19th September 2025. ICLP Martin Gebser, Daniela Inclezan, Francesco Ricca, Manuel Carro, Miroslaw Truszczynski
2026	C	`conf`	Solving Hard Combinatorial Optimization Problems with PyQASP. PADL Damiano Azzolini, Nicola Leone, Giuseppe Mazzotta, Francesco Ricca
2026	J	`jnl`	Towards ILP-based LTLf passive learning. J. Log. Comput. Antonio Ielo, Mark Law, Valeria Fionda, Francesco Ricca, Giuseppe De Giacomo, Alessandra Russo
2025	A*	`conf`	A Novel Framework for Reasoning over Optimization Problems in Probabilistic Answer Set Programming. KR Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca, Fabrizio Riguzzi
2025	—	`conf`	ASP Essentials: Modelling and Efficient Solving (Invited Paper). RW Giuseppe Mazzotta, Francesco Ricca
2025	A	`conf`	An Algebraic View of MAP Inference in Probabilistic Answer Set Programs. ECAI Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca, Fabrizio Riguzzi
2025	A*	`conf`	Are Large Language Models Fluent in Declarative Process Mining? IJCAI Valeria Fionda, Antonio Ielo, Francesco Ricca
2025	J	`jnl`	Direct Encoding of Declare Constraints in ASP. Theory Pract. Log. Program. Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca
2025	—	`conf`	Enhancing Compilation-based ASP Solving with Postponed Atom Discovery. ICLP Workshops Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca
2025	J	`jnl`	Explainable Knowledge-Aware Process Intelligence. Künstliche Intell. Eva Piccirilli, Claudio Di Ciccio, Marco Montali, Rafael Peñaloza, Luigi Pontieri, Francesco Ricca
2025	J	`jnl`	Introduction to the 41 $^{st}$ International Conference on Logic Programming Special Issue. Theory Pract. Log. Program. Martin Gebser, Daniela Inclezan, Francesco Ricca
2025	—	`conf`	Lazy Atom Discovery in Compilation-Based ASP Solving. JELIA (1) Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca
2025	J	`jnl`	Learning-based Approximate Model Predictive Control for an Impact Wrench Tool. CoRR Mark Benazet, Francesco Ricca, Dario Bralla, Melanie N. Zeilinger, Andrea Carron
2025	A*	`conf`	Most Probable Explanation in Probabilistic Answer Set Programming. IJCAI Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca, Fabrizio Riguzzi
2025	J	`jnl`	Ocular surface microbiome: Influences of physiological, environmental, and lifestyle factors. Comput. Biol. Medicine Vincenzo Rizzuto, Marzia Settino, Giacomo Stroffolini, Giuseppe Covello, Juris Vanags, Marta Naccarato, Roberto Montanari, Carlos Rocha de Lossada, Cosimo Mazzotta, Agostino Forestiero, Carlo Adornetto, Miguel Rechichi, Francesco Ricca, Gianluigi Greco, Guna Laganovska, David Borroni
2025	C	`ed.`	Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, PPDP 2025, Rende, Italy, September 10-11, 2025 PPDP Malgorzata Biernacka, Carlos Olarte, Francesco Ricca, James Cheney
2025	J	`jnl`	Question Answering with LLMs and Learning from Answer Sets. CoRR Manuel Borroto, Katie Gallagher, Antonio Ielo, Irfan Kareem, Francesco Ricca, Alessandra Russo
2025	—	`conf`	Toward Executing Datalog on Big Data Platforms - Extended Abstract. ICLP Workshops Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca
2025	—	`conf`	Toward Executing Datalog on Big Data Platforms. CILC Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca
2024	—	`conf`	A Declarative Framework for Temporal Reasoning in Green-Aware Applications. GreenAI@AI*IA Giuseppe De Giacomo, Valeria Fionda, Nicola Gigante, Antonio Ielo, Francesco Ricca, Alessandra Russo
2024	C	`conf`	A Direct ASP Encoding for Declare. PADL Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca
2024	B	`conf`	An ASP-Based Approach to Water Distribution System Reconstruction. LPNMR Antonio Ielo, Salvatore Falco, Salvatore Iiritano, Patrizia Piro, Ada Polizzi, Francesco Ricca
2024	—	`conf`	Automata-based LTL_f Satisfiability Checking via ASP. AI4CC-IPS-RCRA-SPIRIT@AI*IA Andrea Cuteri, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca
2024	A*	`conf`	Blending Grounding and Compilation for Efficient ASP Solving. KR Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca
2024	J	`jnl`	Direct Encoding of Declare Constraints in ASP. CoRR Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca
2024	—	`conf`	Efficient Compliance Computation in Probabilistic Declarative Specifications. ICLP Workshops Mario Alviano, Antonio Ielo, Francesco Ricca
2024	J	`jnl`	Enumerating Minimal Unsatisfiable Cores of LTLf formulas. CoRR Antonio Ielo, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca
2024	—	`conf`	Hybrid Compilation-based ASP solving (Short paper). DP@AI*IA Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca
2024	A*	`conf`	LLASP: Fine-tuning Large Language Models for Answer Set Programming. KR Erica Coppolillo, Francesco Calimeri, Giuseppe Manco, Simona Perri, Francesco Ricca
2024	J	`jnl`	LLASP: Fine-tuning Large Language Models for Answer Set Programming. CoRR Erica Coppolillo, Francesco Calimeri, Giuseppe Manco, Simona Perri, Francesco Ricca
2024	B	`conf`	LTLf2ASP: LTLf Bounded Satisfiability in ASP. LPNMR Valeria Fionda, Antonio Ielo, Francesco Ricca
2024	J	`jnl`	Quantifying over Optimum Answer Sets. CoRR Giuseppe Mazzotta, Francesco Ricca, Mirek Truszczynski
2024	J	`jnl`	Quantifying over Optimum Answer Sets. Theory Pract. Log. Program. Giuseppe Mazzotta, Francesco Ricca, Mirek Truszczynski
2024	—	`conf`	Towards ASP-based Minimal Unsatisfiable Cores Enumeration for LTLf. OVERLAY Antonio Ielo, Giuseppe Mazzotta, Francesco Ricca, Rafael Peñaloza
2024	A*	`conf`	Towards Automatic Composition of ASP Programs from Natural Language Specifications. IJCAI Manuel A. Borroto Santana, Irfan Kareem, Francesco Ricca
2024	J	`jnl`	Towards Automatic Composition of ASP Programs from Natural Language Specifications. CoRR Manuel Borroto, Irfan Kareem, Francesco Ricca
2024	J	`jnl`	Unit Testing in ASP Revisited: Language and Test-Driven Development Environment. CoRR Giovanni Amendola, Tobias Berei, Giuseppe Mazzotta, Francesco Ricca
2024	J	`jnl`	Unit Testing in ASP Revisited: Language and Test-Driven Development Environment. Theory Pract. Log. Program. Giovanni Amendola, Giuseppe Mazzotta, Francesco Ricca, Tobias Berei
2024	B	`conf`	Using Learning from Answer Sets for Robust Question Answering with LLM. LPNMR Irfan Kareem, Katie Gallagher, Manuel A. Borroto, Francesco Ricca, Alessandra Russo
2023	J	`jnl`	ASP and subset minimality: Enumeration, cautious reasoning and MUSes. Artif. Intell. Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca
2023	J	`jnl`	ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications. Algorithms Francesco Calimeri, Nicola Leone, Giovanni Melissari, Francesco Pacenza, Simona Perri, Kristian Reale, Francesco Ricca, Jessica Zangari
2023	—	`conf`	ASP-based Axiom Pinpointing for Description Logics. Description Logics Ignacio Huitzil, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca
2023	J	`jnl`	An Efficient Solver for ASP(Q). Theory Pract. Log. Program. Wolfgang Faber, Giuseppe Mazzotta, Francesco Ricca
2023	J	`jnl`	An efficient solver for ASP(Q). CoRR Wolfgang Faber, Giuseppe Mazzotta, Francesco Ricca
2023	A	`conf`	Compilation of Tight ASP Programs. ECAI Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca
2023	—	`conf`	Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics. CILC Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca
2023	J	`jnl`	Degradation-aware data-enabled predictive control of energy hubs. CoRR Varsha Behrunani, Marta Zagórowska, Mathias Hudoba de Badyn, Francesco Ricca, Philipp Heer, John Lygeros
2023	—	`conf`	Enhancing ASP(Q) evaluation. DP@AI*IA Wolfgang Faber, Giuseppe Mazzotta, Francesco Ricca
2023	A*	`conf`	Logic-based Composition of Business Process Models. KR Valeria Fionda, Antonio Ielo, Francesco Ricca
2023	J	`jnl`	Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels. CoRR Vito Barbara, Massimo Guarascio, Nicola Leone, Giuseppe Manco, Alessandro Quarta, Francesco Ricca, Ettore Ritacco
2023	J	`jnl`	Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels. Theory Pract. Log. Program. Vito Barbara, Massimo Guarascio, Nicola Leone, Giuseppe Manco, Alessandro Quarta, Francesco Ricca, Ettore Ritacco
2023	—	`conf`	Neuro-Symbolic techniques for Predictive Maintenance. SEBD Angelica Liguori, Simone Mungari, Ettore Ritacco, Francesco Ricca, Giuseppe Manco, Salvatore Iiritano
2023	J	`jnl`	SPARQL-QA-v2 system for Knowledge Base Question Answering. Expert Syst. Appl. Manuel A. Borroto, Francesco Ricca
2023	B	`conf`	Towards ILP-Based LTL f Passive Learning. ILP Antonio Ielo, Mark Law, Valeria Fionda, Francesco Ricca, Giuseppe De Giacomo, Alessandra Russo
2022	—	`conf`	A Loosely-coupled Neural-symbolic approach to Compliance of Electric Panels. CILC Vito Barbara, Dimitri Buelli, Massimo Guarascio, Stefano Ierace, Salvatore Iiritano, Giovanni Laboccetta, Nicola Leone, Giuseppe Manco, Valerio Pesenti, Alessandro Quarta, Francesco Ricca, Ettore Ritacco
2022	—	`conf`	Compilation of ASP Programs: Recent Developments (Short Paper). DP@AI*IA Giuseppe Mazzotta, Carmine Dodaro, Francesco Ricca
2022	A*	`conf`	Compilation of Aggregates in ASP Systems. AAAI Giuseppe Mazzotta, Francesco Ricca, Carmine Dodaro
2022	—	`conf`	Declarative Mining of Business Processes via ASP. PMAI@IJCAI Antonio Ielo, Francesco Ricca, Luigi Pontieri
2022	B	`conf`	Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring. LPNMR Carmine Dodaro, Davide Ilardi, Luca Oneto, Francesco Ricca
2022	B	`conf`	Enumeration of Minimal Models and MUSes in WASP. LPNMR Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca
2022	—	`conf`	From Graph to Graph - Question Answering using Abstract Meaning Representation. NLIWoD@ESWC Manuel Alejandro Borroto Santana, Bernardo Cuteri, Francesco Ricca, Vito Barbara
2022	C	`conf`	Modelling the Outlier Detection Problem in ASP(Q). PADL Pierpaolo Bellusci, Giuseppe Mazzotta, Francesco Ricca
2022	B	`conf`	Pinpointing Axioms in Ontologies via ASP. LPNMR Rafael Peñaloza, Francesco Ricca
2022	—	`conf`	SPARQL-QA enters the QALD challenge. NLIWoD@ESWC Manuel Alejandro Borroto Santana, Bernardo Cuteri, Francesco Ricca, Vito Barbara
2022	C	`conf`	Smart Devices and Large Scale Reasoning via ASP: Tools and Applications. PADL Kristian Reale, Francesco Calimeri, Nicola Leone, Francesco Ricca
2022	B	`conf`	Solving Problems in the Polynomial Hierarchy with ASP(Q). LPNMR Giovanni Amendola, Bernardo Cuteri, Francesco Ricca, Mirek Truszczynski
2021	—	`conf`	A Neural-Machine-Translation System Resilient to Out of Vocabulary Words for Translating Natural Language to SPARQL. AI*IA Manuel Borroto, Francesco Ricca, Bernardo Cuteri
2021	—	`conf`	A Sequence to Sequence Approach for Knowledge Base Relation Linking. NL4AI@AI*IA Vito Barbara, Manuel Borroto, Francesco Ricca
2021	—	`conf`	A system for translating natural language questions into SPARQL queries with neural networks: Preliminary results (Discussion Paper). SEBD Manuel Alejandro Borroto, Francesco Ricca, Bernardo Cuteri
2021	—	`conf`	Answer Set Computation of Negative Two-Literal Programs Based on Graph Neural Networks: Preliminary Results. CILC Antonio Ielo, Francesco Ricca
2021	—	`conf`	Explaining ASP-based Operating Room Schedules. IPS-RCRA@AI*IA Riccardo Bertolucci, Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro, Francesco Ricca
2021	—	`conf`	Hydrocontrol IT: an attempt to mitigate water losses in Italy towns. DP@AI*IA Giuseppe Benvenuto, Salvatore Iiritano, Luigi Mirto, Pasquale Piccione, Massimiliano Ruffolo, Simone Vizza, Manuel Borroto, Francesco Ricca
2021	J	`jnl`	Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers from the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018). Theory Pract. Log. Program. Christoph Benzmüller, Xavier Parent, Francesco Ricca
2021	—	`conf`	Mitigating the Impact of out of Vocabulary Words in a Neural-Machine-Translation-based Question Answering System. DeepOntoNLP/X-SENTIMENT@ESWC Manuel Borroto, Bernardo Cuteri, Francesco Ricca
2021	J	`jnl`	Paracoherent answer set computation. Artif. Intell. Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Francesco Ricca
2021	J	`jnl`	Reducing the impact of out of vocabulary words in the translation of natural language questions into SPARQL queries. CoRR Manuel A. Borroto Santana, Francesco Ricca, Bernardo Cuteri
2021	B	`conf`	Testing in ASP: Revisited Language and Programming Environment. JELIA Giovanni Amendola, Tobias Berei, Francesco Ricca
2020	J	`jnl`	ASP-Core-2 Input Language Format. Theory Pract. Log. Program. Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub
2020	—	`conf`	Compilation of Aggregates in ASP: Preliminary Results. CILC Giuseppe Mazzotta, Bernardo Cuteri, Carmine Dodaro, Francesco Ricca
2020	J	`jnl`	Introduction to the 36th International Conference on Logic Programming Special Issue I. Theory Pract. Log. Program. Francesco Ricca, Alessandra Russo
2020	J	`jnl`	Introduction to the 36th International Conference on Logic Programming Special Issue II. Theory Pract. Log. Program. Francesco Ricca, Alessandra Russo
2020	J	`jnl`	New models for generating hard random boolean formulas and disjunctive logic programs. Artif. Intell. Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski
2020	J	`jnl`	Optimum stable model search: algorithms and implementation. J. Log. Comput. Mario Alviano, Carmine Dodaro, João Marques-Silva, Francesco Ricca
2020	A*	`conf`	Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators. IJCAI Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller
2020	—	`ed.`	Proceedings 36th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2020, (Technical Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020. ICLP Technical Communications Francesco Ricca, Alessandra Russo, Sergio Greco, Nicola Leone, Alexander Artikis, Gerhard Friedrich, Paul Fodor, Angelika Kimmig, Francesca A. Lisi, Marco Maratea, Alessandra Mileo, Fabrizio Riguzzi
2020	J	`jnl`	The External Interface for Extending WASP. Theory Pract. Log. Program. Carmine Dodaro, Francesco Ricca
2020	J	`jnl`	The Seventh Answer Set Programming Competition: Design and Results. Theory Pract. Log. Program. Martin Gebser, Marco Maratea, Francesco Ricca
2019	B	`conf`	A Logic-Based Question Answering System for Cultural Heritage. JELIA Bernardo Cuteri, Kristian Reale, Francesco Ricca
2019	J	`jnl`	ASP-Core-2 Input Language Format. CoRR Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub
2019	B	`conf`	Algorithm Selection for Paracoherent Answer Set Computation. JELIA Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Luca Pulina, Francesco Ricca
2019	—	`conf`	An Extension of Datalog for Modelling and Solving Complex Combinatorial Problems. Datalog Francesco Ricca
2019	J	`jnl`	Better Paracoherent Answer Sets with Less Resources. CoRR Giovanni Amendola, Carmine Dodaro, Francesco Ricca
2019	J	`jnl`	Better Paracoherent Answer Sets with Less Resources. Theory Pract. Log. Program. Giovanni Amendola, Carmine Dodaro, Francesco Ricca
2019	J	`jnl`	Beyond NP: Quantifying over Answer Sets. CoRR Giovanni Amendola, Francesco Ricca, Mirek Truszczynski
2019	J	`jnl`	Beyond NP: Quantifying over Answer Sets. Theory Pract. Log. Program. Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski
2019	—	`conf`	Computing Modular Paracoherent Answer Sets: Preliminary Result. CILC Bernardo Cuteri, Carmine Dodaro, Francesco Ricca
2019	J	`jnl`	Debugging Non-ground ASP Programs: Technique and Graphical Tools. Theory Pract. Log. Program. Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin
2019	—	`conf`	Debugging of Answer Set Programs Using Paracoherent Reasoning. CILC Bernardo Cuteri, Carmine Dodaro, Francesco Ricca
2019	—	`conf`	Empowering ASPQ to Win in QBFEval 2018. CILC Bernardo Cuteri, Carmine Dodaro, Francesco Ricca
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	B	`conf`	Evaluation of Disjunctive Programs in WASP. LPNMR Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca
2019	—	`ch.`	Knowledge and Reasoning. Encyclopedia of Bioinformatics and Computational Biology (1) Francesco Ricca, Giorgio Terracina
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	—	`ch.`	Ontology: Introduction. Encyclopedia of Bioinformatics and Computational Biology (1) Gianluigi Greco, Marco Manna, Francesco Ricca
2019	J	`jnl`	Paracoherent Answer Set Semantics meets Argumentation Frameworks. CoRR Giovanni Amendola, Francesco Ricca
2019	J	`jnl`	Paracoherent Answer Set Semantics meets Argumentation Frameworks. Theory Pract. Log. Program. Giovanni Amendola, Francesco Ricca
2019	J	`jnl`	Partial Compilation of ASP Programs. CoRR Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller
2019	J	`jnl`	Partial Compilation of ASP Programs. Theory Pract. Log. Program. Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller
2019	—	`conf`	Querying Cultural Heritage Knowledge Bases in Natural Language: Discussion Paper. SEBD Bernardo Cuteri, Kristian Reale, Francesco Ricca
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
2019	J	`jnl`	Report on the Second International Joint Conference on Rules and Reasoning. AI Mag. Christoph Benzmüller, Xavier Parent, Francesco Ricca
2019	J	`jnl`	The Seventh Answer Set Programming Competition: Design and Results. CoRR Martin Gebser, Marco Maratea, Francesco Ricca
2018	A*	`conf`	A Generator of Hard 2QBF Formulas and ASP Programs. KR Giovanni Amendola, Francesco Ricca, Mirek Truszczynski
2018	C	`conf`	A REST-Based Development Framework for ASP: Tools and Application. PADL Gelsomina Catalano, Giovanni Laboccetta, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri
2018	—	`conf`	Compute Paracoherent Answer Sets via Saturation. RiCeRcA@AI*IA Francesco Ricca
2018	J	`jnl`	Debugging Non-Ground ASP Programs: Technique and Graphical Tools. CoRR Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin
2018	J	`jnl`	Developing ASP Programs with ASPIDE and LoIDE. Künstliche Intell. Francesco Calimeri, Stefano Germano, Eliana Palermiti, Kristian Reale, Francesco Ricca
2018	A*	`conf`	Evaluation Techniques and Systems for Answer Set Programming: a Survey. IJCAI Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub
2018	A*	`conf`	Externally Supported Models for Efficient Computation of Paracoherent Answer Sets. AAAI Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Francesco Ricca
2018	—	`conf`	First Steps towards Reasoning on Big Data with DLV. SEBD Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2018	J	`jnl`	New Models for Generating Hard Random Boolean Formulas and Disjunctive Logic Programs. CoRR Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski
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	B	`ed.`	Rules and Reasoning - Second International Joint Conference, RuleML+RR 2018, Luxembourg, September 18-21, 2018, Proceedings RuleML+RR Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman
2018	J	`jnl`	The ASP System DLV: Advancements and Applications. Künstliche Intell. Weronika T. Adrian, Mario Alviano, Francesco Calimeri, Bernardo Cuteri, Carmine Dodaro, Wolfgang Faber, Davide Fuscà, Nicola Leone, Marco Manna, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2018	J	`jnl`	The External Interface for Extending WASP. CoRR Carmine Dodaro, Francesco Ricca
2017	—	`conf`	A compiler for stratified Datalog programs: preliminary results. SEBD Bernardo Cuteri, Francesco Ricca
2017	J	`jnl`	Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis. CoRR Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller
2017	J	`jnl`	Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis. Theory Pract. Log. Program. Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller
2017	—	`conf`	Decomposing and pruning primary key violations from large data sets (discussion paper). SEBD Marco Manna, Francesco Ricca, Giorgio Terracina
2017	A*	`conf`	Generating Hard Random Boolean Formulas and Disjunctive Logic Programs. IJCAI Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski
2017	A*	`conf`	On the Computation of Paracoherent Answer Sets. AAAI Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca
2017	J	`jnl`	On the Computation of Paracoherent Answer Sets. CoRR Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca
2017	B	`conf`	The ASP System DLV2. LPNMR Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2017	B	`conf`	The Design of the Seventh Answer Set Programming Competition. LPNMR Martin Gebser, Marco Maratea, Francesco Ricca
2017	J	`jnl`	The Sixth Answer Set Programming Competition. J. Artif. Intell. Res. Martin Gebser, Marco Maratea, Francesco Ricca
2017	—	`conf`	lp2cpp: A Tool For Compiling Stratified Logic Programs. AI*IA Bernardo Cuteri, Alessandro Francesco De Rosis, Francesco Ricca
2016	—	`conf`	ASPQ: An ASP-Based 2QBF Solver. QBF@SAT Giovanni Amendola, Carmine Dodaro, Francesco Ricca
2016	J	`jnl`	An integrated Graphical User Interface for Debugging Answer Set Programs. CoRR Philip Gasteiger, Carmine Dodaro, Benjamin Musitsch, Kristian Reale, Francesco Ricca, Konstantin Schekotihin
2016	J	`jnl`	Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper). CoRR Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Kostyantyn M. Shchekotykhin
2016	J	`jnl`	Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper). Theory Pract. Log. Program. Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin
2016	J	`jnl`	Design and results of the Fifth Answer Set Programming Competition. Artif. Intell. Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca
2016	J	`jnl`	Driving CDCL Search. CoRR Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin
2016	J	`jnl`	Experimental evaluation of algorithms for solving problems with combinatorial explosion. AI Commun. Toni Mancini, Marco Maratea, Francesco Ricca
2016	—	`conf`	External Propagators in WASP: Preliminary Report. RCRA@AI*IA Carmine Dodaro, Francesco Ricca, Peter Schüller
2016	J	`jnl`	Information diffusion in a multi-social-network scenario: framework and ASP-based analysis. Knowl. Inf. Syst. Giuseppe Marra, Domenico Ursino, Francesco Ricca, Giorgio Terracina
2016	—	`conf`	On the Application of Answer Set Programming to the Conference Paper Assignment Problem. AI*IA Giovanni Amendola, Carmine Dodaro, Nicola Leone, Francesco Ricca
2016	J	`jnl`	Systems, Engineering Environments, and Competitions. AI Mag. Yuliya Lierler, Marco Maratea, Francesco Ricca
2016	A*	`conf`	What's Hot in the Answer Set Programming Competition. AAAI Martin Gebser, Marco Maratea, Francesco Ricca
2015	J	`jnl`	20th RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". J. Exp. Theor. Artif. Intell. Toni Mancini, Marco Maratea, Francesco Ricca
2015	A*	`conf`	A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size. IJCAI Mario Alviano, Carmine Dodaro, Francesco Ricca
2015	—	`conf`	Advances in Multi-engine ASP Solving. AI*IA Marco Maratea, Luca Pulina, Francesco Ricca
2015	B	`conf`	Advances in WASP. LPNMR Mario Alviano, Carmine Dodaro, Nicola Leone, Francesco Ricca
2015	—	`conf`	Allotment Problem in Travel Industry: A Solution Based on ASP. RR Carmine Dodaro, Nicola Leone, Barbara Nardi, Francesco Ricca
2015	—	`conf`	Answer Set Programming: A Tour from the Basics to Advanced Development Tools and Industrial Applications. Reasoning Web Nicola Leone, Francesco Ricca
2015	B	`conf`	Interactive Debugging of Non-ground ASP Programs. LPNMR Carmine Dodaro, Philip Gasteiger, Benjamin Musitsch, Francesco Ricca, Kostyantyn M. Shchekotykhin
2015	—	`conf`	JWASP: A New Java-Based ASP Solver. RCRA@AI*IA Mario Alviano, Carmine Dodaro, Francesco Ricca
2015	J	`jnl`	Multi-engine ASP solving with policy adaptation. J. Log. Comput. Marco Maratea, Luca Pulina, Francesco Ricca
2015	B	`conf`	Multi-level Algorithm Selection for ASP. LPNMR Marco Maratea, Luca Pulina, Francesco Ricca
2015	J	`jnl`	Taming Primary Key Violations to Query Large Inconsistent Data. CoRR Marco Manna, Francesco Ricca, Giorgio Terracina
2015	J	`jnl`	Taming primary key violations to query large inconsistent data via ASP. Theory Pract. Log. Program. Marco Manna, Francesco Ricca, Giorgio Terracina
2015	B	`conf`	The Design of the Sixth Answer Set Programming Competition - - Report -. LPNMR Martin Gebser, Marco Maratea, Francesco Ricca
2014	J	`jnl`	A multi-engine approach to answer-set programming. Theory Pract. Log. Program. Marco Maratea, Luca Pulina, Francesco Ricca
2014	J	`jnl`	Anytime Computation of Cautious Consequences in Answer Set Programming. CoRR Mario Alviano, Carmine Dodaro, Francesco Ricca
2014	J	`jnl`	Anytime Computation of Cautious Consequences in Answer Set Programming. Theory Pract. Log. Program. Mario Alviano, Carmine Dodaro, Francesco Ricca
2014	B	`conf`	Exploiting Answer Set Programming for Handling Information Diffusion in a Multi-Social-Network Scenario. JELIA Giuseppe Marra, Francesco Ricca, Giorgio Terracina, Domenico Ursino
2014	—	`conf`	Investigating Information Diffusion in a Multi-Social-Network Scenario via Answer Set Programming. RR Giuseppe Marra, Antonino Nocera, Francesco Ricca, Giorgio Terracina, Domenico Ursino
2014	—	`conf`	Investigating Node Influence Maximization and Influential Node Characterization in a Multi-Social-Network Scenario via Disjunctive Logic Programming. SEBD Giuseppe Marra, Antonino Nocera, Francesco Ricca, Giorgio Terracina, Domenico Ursino
2014	J	`jnl`	Preliminary Report on WASP 2.0. CoRR Mario Alviano, Carmine Dodaro, Francesco Ricca
2014	J	`jnl`	The Design of the Fifth Answer Set Programming Competition. CoRR Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca
2014	J	`jnl`	The Multi-engine ASP Solver ME-ASP: Progress Report. CoRR Marco Maratea, Luca Pulina, Francesco Ricca
2014	J	`jnl`	The third open answer set programming competition. Theory Pract. Log. Program. Francesco Calimeri, Giovambattista Ianni, Francesco Ricca
2013	J	`jnl`	A Multi-Engine Approach to Answer Set Programming. CoRR Marco Maratea, Luca Pulina, Francesco Ricca
2013	—	`conf`	A graphic tool for ontology reasoning under Datalog SEBD Onofrio Febbraro, Nicola Leone, Francesco Ricca, Giorgio Terracina, Pierfrancesco Veltri
2013	—	`conf`	An Integrated Environment for Reasoning over Ontologies via Logic Programming. RR Barbara Nardi, Kristian Reale, Francesco Ricca, Giorgio Terracina
2013	—	`conf`	Answer Set Programming: Language, Applications and Development Tools. RR Giovanni Grasso, Nicola Leone, Francesco Ricca
2013	—	`conf`	Automated Selection of Grounding Algorithm in Answer Set Programming. AI*IA Marco Maratea, Luca Pulina, Francesco Ricca
2013	—	`conf`	Comparing Alternative Solutions for Unfounded Set Propagation in ASP. AI*IA Mario Alviano, Carmine Dodaro, Francesco Ricca
2013	J	`jnl`	Consistent query answering via ASP from different perspectives: Theory and practice. Theory Pract. Log. Program. Marco Manna, Francesco Ricca, Giorgio Terracina
2013	—	`conf`	Development Tools for Datalog. SEBD Onofrio Febbraro, Giovanni Grasso, Nicola Leone, Kristian Reale, Francesco Ricca
2013	J	`jnl`	Parallel instantiation of ASP programs: techniques and experiments. Theory Pract. Log. Program. Simona Perri, Francesco Ricca, Marco Sirianni
2013	B	`conf`	The Fourth Answer Set Programming Competition: Preliminary Report. LPNMR Mario Alviano, Francesco Calimeri, Günther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jörg Pührer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao
2013	B	`conf`	Towards Query Answering in Relational Multi-Context Systems. LPNMR Rosamaria Barilaro, Michael Fink, Francesco Ricca, Giorgio Terracina
2013	B	`conf`	WASP: A Native ASP Solver Based on Constraint Learning. LPNMR Mario Alviano, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca
2012	—	`conf`	Applying Machine Learning Techniques to ASP Solving. ICLP (Technical Communications) Marco Maratea, Luca Pulina, Francesco Ricca
2012	—	`conf`	Datalog Development Tools - (Extended Abstract). Datalog Onofrio Febbraro, Giovanni Grasso, Nicola Leone, Kristian Reale, Francesco Ricca
2012	—	`conf`	Distributed Ontology Based Data Access via Logic Programming. RR Rosamaria Barilaro, Nicola Leone, Francesco Ricca, Giorgio Terracina
2012	—	`conf`	Extending ASPIDE with User-defined Plugins. CILC Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca
2012	A*	`conf`	JASP: A Framework for Integrating Answer Set Programming with Java. KR Onofrio Febbraro, Nicola Leone, Giovanni Grasso, Francesco Ricca
2012	J	`jnl`	Team-building with answer set programming in the Gioia-Tauro seaport. Theory Pract. Log. Program. Francesco Ricca, Giovanni Grasso, Mario Alviano, Marco Manna, Vincenzino Lio, Salvatore Iiritano, Nicola Leone
2012	J	`jnl`	The Answer Set Programming Competition. AI Mag. Francesco Calimeri, Giovambattista Ianni, Thomas Krennwallner, Francesco Ricca
2012	B	`conf`	The Multi-Engine ASP Solver me-asp. JELIA Marco Maratea, Luca Pulina, Francesco Ricca
2012	J	`jnl`	The third open Answer Set Programming competition CoRR Francesco Calimeri, Giovambattista Ianni, Francesco Ricca
2011	—	`conf`	ASP at Work: Spin-off and Applications of the DLV System. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Giovanni Grasso, Nicola Leone, Marco Manna, Francesco Ricca
2011	B	`conf`	ASPIDE: Integrated Development Environment for Answer Set Programming. LPNMR Onofrio Febbraro, Kristian Reale, Francesco Ricca
2011	J	`jnl`	Consistent Query Answering via ASP from Different Perspectives: Theory and Practice CoRR Marco Manna, Francesco Ricca, Giorgio Terracina
2011	J	`jnl`	Look-back Techniques for ASP Programs with Aggregates. Fundam. Informaticae Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca
2011	—	`conf`	Optimizing the Distributed Evaluation of Stratified Datalog Programs via Structural Analysis. SEBD Rosamaria Barilaro, Nicola Leone, Francesco Ricca, Giorgio Terracina
2011	B	`conf`	Optimizing the Distributed Evaluation of Stratified Programs via Structural Analysis. LPNMR Rosamaria Barilaro, Francesco Ricca, Giorgio Terracina
2011	J	`jnl`	Parallel Instantiation of ASP Programs: Techniques and Experiments CoRR Simona Perri, Francesco Ricca, Marco Sirianni
2011	J	`jnl`	Team-building with Answer Set Programming in the Gioia-Tauro Seaport CoRR Francesco Ricca, Giovanni Grasso, Mario Alviano, Marco Manna, Vincenzino Lio, Salvatore Iiritano, Nicola Leone
2011	—	`conf`	Testing ASP programs in ASPIDE. CILC Onofrio Febbraro, Kristian Reale, Francesco Ricca
2011	—	`conf`	The Birth of a WASP: Preliminary Report on a New ASP Solver. CILC Carmine Dodaro, Mario Alviano, Wolfgang Faber, Nicola Leone, Francesco Ricca, Marco Sirianni
2011	B	`conf`	The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. LPNMR Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber, Onofrio Febbraro, Nicola Leone, Marco Manna, Alessandra Martello, Claudio Panetta, Simona Perri, Kristian Reale, Maria Carmela Santoro, Marco Sirianni, Giorgio Terracina, Pierfrancesco Veltri
2011	J	`jnl`	Unit Testing in ASPIDE CoRR Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca
2011	—	`conf`	Unit Testing in ASPIDE. INAP/WLP Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca
2010	J	`jnl`	A Logic-Based System for e-Tourism. Fundam. Informaticae Francesco Ricca, Antonella Dimasi, Giovanni Grasso, Salvatore Maria Ielpa, Salvatore Iiritano, Marco Manna, Nicola Leone
2010	—	`conf`	A Visual Interface for Drawing ASP Programs. CILC Onofrio Febbraro, Kristian Reale, Francesco Ricca
2010	—	`conf`	A parallel ASP instantiator based on DLV. DAMP Simona Perri, Francesco Ricca, Marco Sirianni
2010	C	`conf`	An ASP-Based System for Team-Building in the Gioia-Tauro Seaport. PADL Giovanni Grasso, Salvatore Iiritano, Nicola Leone, Vincenzino Lio, Francesco Ricca, Francesco Scalise
2010	—	`ch.`	Answer Set Programming. 25 Years GULP Piero A. Bonatti, Francesco Calimeri, Nicola Leone, Francesco Ricca
2010	B	`conf`	DLV JELIA Marco Maratea, Francesco Ricca, Pierfrancesco Veltri
2010	C	`conf`	Efficient Application of Answer Set Programming for Advanced Data Integration. PADL Nicola Leone, Francesco Ricca, Luca Agostino Rubino, Giorgio Terracina
2010	—	`conf`	Optimized Encodings for Consistent Query Answering via ASP from Different Perspectives. CILC Marco Manna, Francesco Ricca, Giorgio Terracina
2010	—	`conf`	Parallel Instantiation in DLV. CILC Simona Perri, Francesco Ricca, Marco Sirianni
2010	—	`conf`	Team-building with Answer Set Programming in the Gioia-Tauro Seaport. CILC Giovanni Grasso, Salvatore Iiritano, Vincenzino Lio, Francesco Ricca, Francesco Scalise
2010	—	`conf`	Towards a Fully-Parallel DLV System. RCRA@CPAIOR Simona Perri, Francesco Ricca, Marco Sirianni
2009	—	`conf`	Advanced Heuristics for Parallel ASP Instantiation. RCRA@AI*IA Simona Perri, Francesco Ricca, Marco Sirianni
2009	B	`conf`	An ASP-Based Data Integration System. LPNMR Nicola Leone, Francesco Ricca, Giorgio Terracina
2009	B	`conf`	An ASP-Based System for e-Tourism. LPNMR Salvatore Maria Ielpa, Salvatore Iiritano, Nicola Leone, Francesco Ricca
2009	J	`jnl`	OntoDLV: An ASP-based System for Enterprise Ontologies. J. Log. Comput. Francesco Ricca, Lorenzo Gallucci, Roman Schindlauer, Tina Dell'Armi, Giovanni Grasso, Nicola Leone
2009	B	`conf`	Some DLV Applications for Knowledge Management. LPNMR Giovanni Grasso, Salvatore Iiritano, Nicola Leone, Francesco Ricca
2008	—	`ch.`	Answer Set Programming. Wiley Encyclopedia of Computer Science and Engineering Wolfgang Faber, Nicola Leone, Francesco Ricca
2008	J	`jnl`	Experimenting with parallelism for the instantiation of ASP programs. J. Algorithms Francesco Calimeri, Simona Perri, Francesco Ricca
2008	—	`conf`	Look-back Techniques for ASP Programs with Aggregates. RCRA Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca
2008	J	`jnl`	Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers. J. Algorithms Marco Maratea, Francesco Ricca, Wolfgang Faber, Nicola Leone
2007	J	`jnl`	Disjunctive logic programming with types and objects: The DLV J. Appl. Log. Francesco Ricca, Nicola Leone
2007	B	`conf`	Experimenting with Look-Back Heuristics for Hard ASP Programs. LPNMR Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca
2007	J	`jnl`	On look-ahead heuristics in disjunctive logic programming. Ann. Math. Artif. Intell. Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Francesco Ricca
2006	J	`jnl`	A backjumping technique for Disjunctive Logic Programming. AI Commun. Francesco Ricca, Wolfgang Faber, Nicola Leone
2006	J	`jnl`	Exploiting agents in e-learning and skills management context. AI Commun. Alfredo Garro, Luigi Palopoli, Francesco Ricca
2005	B	`conf`	A DLP System with Object-Oriented Features. LPNMR Francesco Ricca, Nicola Leone, Valerio De Bonis, Tina Dell'Armi, Stefania Galizia, Giovanni Grasso
2005	A*	`conf`	Heuristics for Hard ASP Programs. IJCAI Wolfgang Faber, Nicola Leone, Francesco Ricca
2005	B	`conf`	Solving Hard ASP Programs Efficiently. LPNMR Wolfgang Faber, Francesco Ricca
2005	J	`jnl`	Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks. Intelligenza Artificiale Wolfgang Faber, Nicola Leone, Francesco Ricca
2005	—	`conf`	Specification of Assessment-test Criteria through ASP Specifications. Answer Set Programming Giovambattista Ianni, Claudio Panetta, Francesco Ricca
2004	—	`conf`	An agent system reasoning about the web and the user. WWW (Alternate Track Papers & Posters) Giovambattista Ianni, Francesco Ricca, Francesco Calimeri, Vincenzino Lio, Stefania Galizia
2003	—	`conf`	A Java Wrapper for DLV. Answer Set Programming Francesco Ricca
2003	—	`conf`	The DLV Java Wrapper. APPIA-GULP-PRODE Francesco Ricca