Simona Perri

Marco Manna

Maria Concetta Morelli

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).

[BibT_eX]

[DOI]

Marco Manna

Theory Pract. Log. Program., 2021

I-DLV-sr: A Stream Reasoning System based on I-DLV.

[BibT_eX]

[DOI]

Marco Manna

Elena Mastria

Maria Concetta Morelli

Jessica Zangari

Theory Pract. Log. Program., 2021

Optimized 3D path planner for steerable catheters with deductive reasoning.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

2020

Efficiently Coupling the I-DLV Grounder with ASP Solvers.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2020

A Machine Learning guided Rewriting Approach for ASP Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020

2019

Precomputing Datalog Evaluation Plans in Large-Scale Scenarios.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2019

Optimizing Answer Set Computation via Heuristic-Based Decomposition.

[BibT_eX]

[DOI]

Jessica Zangari

Theory Pract. Log. Program., 2019

Incremental Answer Set Programming with Overgrounding.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2019

Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework.

[BibT_eX]

[DOI]

New Gener. Comput., 2019

Querying Large Expressive Horn Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 27th Italian Symposium on Advanced Database Systems, 2019

Enhancing DLV for Large-Scale Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

Memory-Saving Evaluation Plans for Datalog.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Large-Scale Reasoning on Expressive Horn Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Datalog 2.0 2019, 2019

Large Scale DLV: Preliminary Results.

[BibT_eX]

Proceedings of the 34th Italian Conference on Computational Logic, 2019

An ASP-based Approach for Optimizing DLV Evaluation.

[BibT_eX]

Proceedings of the 34th Italian Conference on Computational Logic, 2019

2018

The ASP System DLV: Advancements and Applications.

[BibT_eX]

[DOI]

Künstliche Intell., 2018

First Steps towards Reasoning on Big Data with DLV.

[BibT_eX]

[DOI]

Proceedings of the 26th Italian Symposium on Advanced Database Systems, 2018

How Modern Deductive Database Systems Can Enhance Data Integration.

[BibT_eX]

[DOI]

Proceedings of the 26th Italian Symposium on Advanced Database Systems, 2018

Integrating Rule-Based AI Tools into Mainstream Game Development.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

Optimizing Answer Set Computation via Heuristic-Based Decomposition.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2018

Evaluation Techniques and Systems for Answer Set Programming: a Survey.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Reasoning over Ontologies with DLV.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2018

2017

I-DLV: The new intelligent grounder of DLV.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2017

A Framework for Easing the Development of Applications Embedding Answer Set Programming.

[BibT_eX]

[DOI]

CoRR, 2017

The ASP System DLV2.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector.

[BibT_eX]

[DOI]

Proceedings of the 24th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2017 co-located with the 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), 2017

External Computations and Interoperability in the New DLV Grounder.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017

2016

Grounding and Solving in Answer Set Programming.

[BibT_eX]

[DOI]

AI Mag., 2016

A framework for easing the development of applications embedding answer set programming.

[BibT_eX]

[DOI]

Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

<i>I</i> -dlv: The New Intelligent Grounder of dlv.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016

Boosting the Development of ASP-Based Applications in Mobile and General Scenarios.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016

2013

Parallel instantiation of ASP programs: techniques and experiments.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

Answer Set Programming and Declarative Problem Solving in Game AIs.

[BibT_eX]

[DOI]

Proceedings of the Workshop Popularize Artificial Intelligence co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), 2013

2012

The Intelligent Grounder of DLV.

[BibT_eX]

[DOI]

Wolfgang Faber

Proceedings of the Correct Reasoning, 2012

2011

Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2011

The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track.

[BibT_eX]

[DOI]

Maria Carmela Santoro

Giorgio Terracina

Pierfrancesco Veltri

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

2010

A parallel ASP instantiator based on DLV.

[BibT_eX]

[DOI]

Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, 2010

The Disjunctive Datalog System DLV.

[BibT_eX]

[DOI]

Proceedings of the Datalog Reloaded - First International Workshop, 2010

Towards a Fully-Parallel DLV System.

[BibT_eX]

[DOI]

Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2010

Parallel Instantiation in DLV.

[BibT_eX]

[DOI]

Proceedings of the 25th Italian Conference on Computational Logic, 2010

2009

Advanced Heuristics for Parallel ASP Instantiation.

[BibT_eX]

[DOI]

Proceedings of the 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2009

2008

Experimenting with parallelism for the instantiation of ASP programs.

[BibT_eX]

[DOI]

J. Algorithms, 2008

2007

Enhancing DLV instantiator by backjumping techniques.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2007

2006

The DLV system for knowledge representation and reasoning.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2006

2005

Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation.

[BibT_eX]

[DOI]

Francesco Scarcello

Theory Pract. Log. Program., 2005

Declarative and Computational Properties of Logic Programs with Aggregates.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

2004

Parametric connectives in Disjunctive Logic Programming.

[BibT_eX]

[DOI]

AI Commun., 2004

BackJumping techniques for rules instantiation in the DLV system.

[BibT_eX]

[DOI]