2024
Dyadic Existential Rules.
Theory Pract. Log. Program., March, 2024
A logic-based framework for characterizing nexus of similarity within knowledge bases.
Inf. Sci., 2024
Discrete preference games with logic-based agents: Formal framework, complexity, and islands of tractability.
Artif. Intell., 2024
2023
Polynomial combined first-order rewritings for linear and guarded existential rules.
Artif. Intell., August, 2023
Characterizing Nexus of Similarity within Knowledge Bases: A Logic-based Framework and its Computational Complexity Aspects.
CoRR, 2023
Characterizing Nexus of Similarity between Entities.
Proceedings of the the Italian Workshop on Planning and Scheduling, 2023
2022
A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version).
CoRR, 2022
A Formal Comparison between Datalog-based Languages for Stream Reasoning.
Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022
2021
Introduction to the TPLP Special Issue from the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019).
Theory Pract. Log. Program., 2021
I-DLV-sr: A Stream Reasoning System based on I-DLV.
Theory Pract. Log. Program., 2021
Combining Deep Learning and ASP-Based Models for the Semantic Segmentation of Medical Images.
Proceedings of the Rules and Reasoning - 5th International Joint Conference, 2021
2020
Large-Scale Ontological Reasoning via Datalog.
Proceedings of the Applications and Practices in Ontology Design, 2020
DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries.
Theory Pract. Log. Program., 2020
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification.
Theory Pract. Log. Program., 2020
Large-scale Ontological Reasoning via Datalog.
CoRR, 2020
Multi-head Guarded Existential Rules Over Fixed Signatures.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
2019
Proceedings of the Encyclopedia of Bioinformatics and Computational Biology - Volume 1, 2019
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios.
Theory Pract. Log. Program., 2019
Fast Query Answering over Existential Rules.
ACM Trans. Comput. Log., 2019
Querying Large Expressive Horn Ontologies.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 27th Italian Symposium on Advanced Database Systems, 2019
Enhancing DLV for Large-Scale Reasoning.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019
Large-Scale Reasoning on Expressive Horn Ontologies.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the Datalog 2.0 2019, 2019
Large Scale DLV: Preliminary Results.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 34th Italian Conference on Computational Logic, 2019
An ASP-based Approach for Optimizing DLV Evaluation.
Proceedings of the 34th Italian Conference on Computational Logic, 2019
2018
The ASP System DLV: Advancements and Applications.
,
,
,
,
,
,
,
,
,
,
,
,
Künstliche Intell., 2018
Navigating Online Semantic Resources for Entity Set Expansion.
Proceedings of the Practical Aspects of Declarative Languages, 2018
Finite Model Reasoning in Hybrid Classes of Existential Rules.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Enhancing Existential Rules by Closed-World Variables.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Reasoning over Ontologies with DLV.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2018
2017
Finite model reasoning over existential rules.
Theory Pract. Log. Program., 2017
Decomposing and pruning primary key violations from large data sets (discussion paper).
Proceedings of the 25th Italian Symposium on Advanced Database Systems, 2017
Querying finite or arbitrary models? No matter! Existential rules may rely on both once again (discussion paper).
Proceedings of the 25th Italian Symposium on Advanced Database Systems, 2017
Reasoning on anonymity in Datalog+/-.
Proceedings of the Technical Communications of the 33rd International Conference on Logic Programming, 2017
Entity set expansion from the Web via ASP.
Proceedings of the Technical Communications of the 33rd International Conference on Logic Programming, 2017
Group Reasoning in Social Environments.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017
Document Layout Analysis for Semantic Information Extraction.
Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017
2016
Combining decidability paradigms for existential rules. Theory and Practice of Logic Programming - Corrigendum.
Theory Pract. Log. Program., 2016
Guarded-Based Disjunctive Tuple-Generating Dependencies.
ACM Trans. Database Syst., 2016
2015
Taming primary key violations to query large inconsistent data via ASP.
Theory Pract. Log. Program., 2015
Taming Primary Key Violations to Query Large Inconsistent Data.
CoRR, 2015
Ontology-driven Information Extraction.
CoRR, 2015
Semantic Views of Homogeneous Unstructured Data.
Proceedings of the Web Reasoning and Rule Systems - 9th International Conference, 2015
Polynomial Rewritings for Linear Existential Rules.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Constraint Optimization Production Planning Problem. A Note on Theory, Selected Approaches and Computational Experiments.
Proceedings of the Artificial Intelligence and Soft Computing, 2015
Polynomial Combined Rewritings for Linear Existential Rules and DL-Lite with n-ary Relations.
Proceedings of the 28th International Workshop on Description Logics, 2015
2014
Polynomial Combined Rewritings for Existential Rules.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014
2013
Consistent query answering via ASP from different perspectives: Theory and practice.
Theory Pract. Log. Program., 2013
Combining decidability paradigms for existential rules.
Theory Pract. Log. Program., 2013
Query Answering over Disjunctive Datalog with Existential Quantifiers.
Proceedings of the 21st Italian Symposium on Advanced Database Systems, 2013
2012
Team-building with answer set programming in the Gioia-Tauro seaport.
Theory Pract. Log. Program., 2012
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues.
Theory Pract. Log. Program., 2012
The HiLeX System for Semantic Information Extraction.
Trans. Large Scale Data Knowl. Centered Syst., 2012
Efficient Query Answering over Datalog with Existential Quantifiers.
Proceedings of the Twentieth Italian Symposium on Advanced Database Systems, 2012
On the Complexity of Ontological Reasoning under Disjunctive Existential Rules.
Proceedings of the Mathematical Foundations of Computer Science 2012, 2012
Efficiently Computable Datalog∃ Programs.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012
Magic-Sets for Datalog with Existential Quantifiers.
Proceedings of the Datalog in Academia and Industry - Second International Workshop, 2012
2011
On the complexity of regular-grammars with integer attributes.
J. Comput. Syst. Sci., 2011
J. Comput. Syst. Sci., 2011
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011
ASP at Work: Spin-off and Applications of the DLV System.
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011
2010
A Logic-Based System for e-Tourism.
Fundam. Informaticae, 2010
Optimized Encodings for Consistent Query Answering via ASP from Different Perspectives.
Proceedings of the 25th Italian Conference on Computational Logic, 2010
2007
Semantic Clinical Process Management.
Proceedings of the 20th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2007), 2007
2006
Towards a Semantic Information Extraction Approach from Unstructured Documents.
Proceedings of the Fourteenth Italian Symposium on Advanced Database Systems, 2006
A Logic-Based Tool for Semantic Information Extraction.
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006
HiLeX: A System for Semantic Information Extraction from Web Documents.
Proceedings of the Enterprise Information Systems, 8th International Conference, 2006
A Logic-Based Approach to Semantic Information Extraction.
Proceedings of the ICEIS 2006, 2006
2005
Exploiting ASP for Semantic Information Extraction.
Proceedings of the Answer Set Programming, 2005