Francesco Ricca

Expert Syst. Appl., November, 2023

An Efficient Solver for ASP(Q).

[BibT_eX]

[DOI]

Theory Pract. Log. Program., July, 2023

Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., July, 2023

ASP and subset minimality: Enumeration, cautious reasoning and MUSes.

[BibT_eX]

[DOI]

Artif. Intell., July, 2023

Compilation of tight ASP programs.

[BibT_eX]

[DOI]

Dataset, July, 2023

ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications.

[BibT_eX]

[DOI]

Algorithms, March, 2023

Degradation-aware data-enabled predictive control of energy hubs.

[BibT_eX]

[DOI]

Varsha Behrunani

Marta Zagórowska

Mathias Hudoba de Badyn

Philipp Heer

John Lygeros

CoRR, 2023

Neuro-Symbolic techniques for Predictive Maintenance.

[BibT_eX]

[DOI]

Proceedings of the 31st Symposium of Advanced Database Systems, 2023

Logic-based Composition of Business Process Models.

[BibT_eX]

[DOI]

Valeria Fionda

Antonio Ielo

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Towards ILP-Based LTL f Passive Learning.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming - 32nd International Conference, 2023

Compilation of Tight ASP Programs.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

ASP-based Axiom Pinpointing for Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics.

[BibT_eX]

[DOI]

Andrea Cuteri

Proceedings of the 38th Italian Conference on Computational Logic, 2023

Enhancing ASP(Q) evaluation.

[BibT_eX]

[DOI]

Proceedings of the Discussion Papers, 2023

2022

Smart Devices and Large Scale Reasoning via ASP: Tools and Applications.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2022

Modelling the Outlier Detection Problem in ASP(Q).

[BibT_eX]

[DOI]

Pierpaolo Bellusci

Proceedings of the Practical Aspects of Declarative Languages, 2022

Pinpointing Axioms in Ontologies via ASP.

[BibT_eX]

[DOI]

Rafael Peñaloza

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Solving Problems in the Polynomial Hierarchy with ASP(Q).

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Enumeration of Minimal Models and MUSes in WASP.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Declarative Mining of Business Processes via ASP.

[BibT_eX]

[DOI]

Antonio Ielo

Manuel Alejandro Borroto Santana

Luigi Pontieri

Proceedings of the Workshop on Process Management in the AI Era (PMAI 2022) co-located with 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022), 2022

From Graph to Graph - Question Answering using Abstract Meaning Representation.

[BibT_eX]

[DOI]

Manuel Alejandro Borroto Santana

Vito Barbara

Proceedings of the 7th Natural Language Interfaces for the Web of Data (NLIWoD) co-located with the 19th European Semantic Web Conference (ESWC 2022), 2022

SPARQL-QA enters the QALD challenge.

[BibT_eX]

[DOI]

Vito Barbara

Proceedings of the 7th Natural Language Interfaces for the Web of Data (NLIWoD) co-located with the 19th European Semantic Web Conference (ESWC 2022), 2022

A Loosely-coupled Neural-symbolic approach to Compliance of Electric Panels.

[BibT_eX]

[DOI]

Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022

Compilation of ASP Programs: Recent Developments (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the Discussion Papers - 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022 DP), Udine, Italy, November 28, 2022

Compilation of Aggregates in ASP Systems.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Compilation of Aggregates in ASP Systems.

[BibT_eX]

[DOI]

Dataset, December, 2021

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

[BibT_eX]

[DOI]

Christoph Benzmüller

Xavier Parent

Manuel A. Borroto Santana

Theory Pract. Log. Program., 2021

Reducing the impact of out of vocabulary words in the translation of natural language questions into SPARQL queries.

[BibT_eX]

[DOI]

CoRR, 2021

Paracoherent answer set computation.

[BibT_eX]

[DOI]

Artif. Intell., 2021

A system for translating natural language questions into SPARQL queries with neural networks: Preliminary results (Discussion Paper).

[BibT_eX]

[DOI]

Manuel Alejandro Borroto

Proceedings of the 29th Italian Symposium on Advanced Database Systems, 2021

Testing in ASP: Revisited Language and Programming Environment.

[BibT_eX]

[DOI]

Tobias Berei

Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

Mitigating the Impact of out of Vocabulary Words in a Neural-Machine-Translation-based Question Answering System.

[BibT_eX]

[DOI]

Manuel Borroto

Proceedings of the Joint Proceedings of the 2nd International Workshop on Deep Learning meets Ontologies and Natural Language Processing (DeepOntoNLP 2021) & 6th International Workshop on Explainable Sentiment Mining and Emotion Detection (X-SENTIMENT 2021) co-located with co-located with 18th Extended Semantic Web Conference 2021, Hersonissos, Greece, June 6th, 2021

Answer Set Computation of Negative Two-Literal Programs Based on Graph Neural Networks: Preliminary Results.

[BibT_eX]

[DOI]

Antonio Ielo

Proceedings of the 36th Italian Conference on Computational Logic, 2021

A Neural-Machine-Translation System Resilient to Out of Vocabulary Words for Translating Natural Language to SPARQL.

[BibT_eX]

[DOI]

Manuel Borroto

Proceedings of the AIxIA 2021 - Advances in Artificial Intelligence, 2021

Explaining ASP-based Operating Room Schedules.

[BibT_eX]

[DOI]

Proceedings of the 9th Italian workshop on Planning and Scheduling (IPS'21) and the 28th International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA'21) with CEUR-WS co-located with 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), 2021

Hydrocontrol IT: an attempt to mitigate water losses in Italy towns.

[BibT_eX]

[DOI]

Proceedings of the AIxIA 2021 Discussion Papers co-located with the the 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA2021), 2021

A Sequence to Sequence Approach for Knowledge Base Relation Linking.

[BibT_eX]

[DOI]

Vito Barbara

Manuel Borroto

Proceedings of the Fifth Workshop on Natural Language for Artificial Intelligence (NL4AI 2021) co-located with 20th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2021), 2021

2020

Introduction to the 36th International Conference on Logic Programming Special Issue II.

[BibT_eX]

[DOI]

Alessandra Russo

Theory Pract. Log. Program., 2020

Introduction to the 36th International Conference on Logic Programming Special Issue I.

[BibT_eX]

[DOI]

Alessandra Russo

Theory Pract. Log. Program., 2020

The Seventh Answer Set Programming Competition: Design and Results.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2020

The External Interface for Extending WASP.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2020

ASP-Core-2 Input Language Format.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2020

Optimum stable model search: algorithms and implementation.

[BibT_eX]

[DOI]

J. Log. Comput., 2020

New models for generating hard random boolean formulas and disjunctive logic programs.

[BibT_eX]

[DOI]

Miroslaw Truszczynski

Artif. Intell., 2020

Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Compilation of Aggregates in ASP: Preliminary Results.

[BibT_eX]

[DOI]

Proceedings of the 35th Italian Conference on Computational Logic, 2020

2019

Evaluation of disjunctive programs in WASP.

[BibT_eX]

[DOI]

Dataset, March, 2019

Knowledge and Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Bioinformatics and Computational Biology - Volume 1, 2019

Ontology: Introduction.

[BibT_eX]

[DOI]

Gianluigi Greco

Proceedings of the Encyclopedia of Bioinformatics and Computational Biology - Volume 1, 2019

Debugging Non-ground ASP Programs: Technique and Graphical Tools.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2019

Partial Compilation of ASP Programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2019

Beyond NP: Quantifying over Answer Sets.

[BibT_eX]

[DOI]

Miroslaw Truszczynski

Theory Pract. Log. Program., 2019

Paracoherent Answer Set Semantics meets Argumentation Frameworks.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2019

Better Paracoherent Answer Sets with Less Resources.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2019

Report on the Second International Joint Conference on Rules and Reasoning.

[BibT_eX]

[DOI]

Christoph Benzmüller

Xavier Parent

AI Mag., 2019

Querying Cultural Heritage Knowledge Bases in Natural Language: Discussion Paper.

[BibT_eX]

[DOI]

Proceedings of the 27th Italian Symposium on Advanced Database Systems, 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

Evaluation of Disjunctive Programs in WASP.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

A Logic-Based Question Answering System for Cultural Heritage.

[BibT_eX]

[DOI]

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

Algorithm Selection for Paracoherent Answer Set Computation.

[BibT_eX]

[DOI]

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

An Extension of Datalog for Modelling and Solving Complex Combinatorial Problems.

[BibT_eX]

[DOI]

Proceedings of the Datalog 2.0 2019, 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

Debugging of Answer Set Programs Using Paracoherent Reasoning.

[BibT_eX]

[DOI]

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

Computing Modular Paracoherent Answer Sets: Preliminary Result.

[BibT_eX]

[DOI]

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

Empowering ASPQ to Win in QBFEval 2018.

[BibT_eX]

[DOI]

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

2018

Developing ASP Programs with ASPIDE and LoIDE.

[BibT_eX]

[DOI]

Künstliche Intell., 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

A REST-Based Development Framework for ASP: Tools and Application.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2018

A Generator of Hard 2QBF Formulas and ASP Programs.

[BibT_eX]

[DOI]

Mirek Truszczynski

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 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

Compute Paracoherent Answer Sets via Saturation.

[BibT_eX]

[DOI]

Proceedings of the RiCeRcA Workshop co-located with the 17th International Conference of the Italian Association for Artificial Intelligence, 2018

Externally Supported Models for Efficient Computation of Paracoherent Answer Sets.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2017

The Sixth Answer Set Programming Competition.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2017

Decomposing and pruning primary key violations from large data sets (discussion paper).

[BibT_eX]

[DOI]

Proceedings of the 25th Italian Symposium on Advanced Database Systems, 2017

A compiler for stratified Datalog programs: preliminary results.

[BibT_eX]

[DOI]

Proceedings of the 25th Italian Symposium on Advanced Database Systems, 2017

The Design of the Seventh Answer Set Programming Competition.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

The ASP System DLV2.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

Generating Hard Random Boolean Formulas and Disjunctive Logic Programs.

[BibT_eX]

[DOI]

Miroslaw Truszczynski

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

lp2cpp: A Tool For Compiling Stratified Logic Programs.

[BibT_eX]

[DOI]

Alessandro Francesco De Rosis

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

On the Computation of Paracoherent Answer Sets.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper).

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2016

Information diffusion in a multi-social-network scenario: framework and ASP-based analysis.

[BibT_eX]

[DOI]

Knowl. Inf. Syst., 2016

An integrated Graphical User Interface for Debugging Answer Set Programs.

[BibT_eX]

[DOI]

CoRR, 2016

Driving CDCL Search.

[BibT_eX]

[DOI]

CoRR, 2016

Systems, Engineering Environments, and Competitions.

[BibT_eX]

[DOI]

Yuliya Lierler

AI Mag., 2016

Experimental evaluation of algorithms for solving problems with combinatorial explosion.

[BibT_eX]

[DOI]

Toni Mancini

AI Commun., 2016

Design and results of the Fifth Answer Set Programming Competition.

[BibT_eX]

[DOI]

Artif. Intell., 2016

ASPQ: An ASP-Based 2QBF Solver.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016) co-located with 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016), 2016

External Propagators in WASP: Preliminary Report.

[BibT_eX]

[DOI]

Peter Schüller

Proceedings of the 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2016 (RCRA 2016) A workshop of the XV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2016), 2016

On the Application of Answer Set Programming to the Conference Paper Assignment Problem.

[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

What's Hot in the Answer Set Programming Competition.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Taming primary key violations to query large inconsistent data via ASP.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2015

Multi-engine ASP solving with policy adaptation.

[BibT_eX]

[DOI]

J. Log. Comput., 2015

20th RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion".

[BibT_eX]

[DOI]

Toni Mancini

J. Exp. Theor. Artif. Intell., 2015

Taming Primary Key Violations to Query Large Inconsistent Data.

[BibT_eX]

[DOI]

CoRR, 2015

Answer Set Programming: A Tour from the Basics to Advanced Development Tools and Industrial Applications.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31, 2015

Allotment Problem in Travel Industry: A Solution Based on ASP.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 9th International Conference, 2015

Multi-level Algorithm Selection for ASP.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

The Design of the Sixth Answer Set Programming Competition - - Report -.

[BibT_eX]

[DOI]

Kostyantyn M. Shchekotykhin

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Interactive Debugging of Non-ground ASP Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Advances in WASP.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Advances in Multi-engine ASP Solving.

[BibT_eX]

[DOI]

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

JWASP: A New Java-Based ASP Solver.

[BibT_eX]

[DOI]

Proceedings of the 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2015 (RCRA 2015) A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), 2015

2014

A multi-engine approach to answer-set programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2014

The third open answer set programming competition.

[BibT_eX]

[DOI]

Francesco Calimeri

Giovambattista Ianni

Theory Pract. Log. Program., 2014

Anytime Computation of Cautious Consequences in Answer Set Programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2014

The Multi-engine ASP Solver ME-ASP: Progress Report.

[BibT_eX]

[DOI]

CoRR, 2014

The Design of the Fifth Answer Set Programming Competition.

[BibT_eX]

[DOI]

CoRR, 2014

Preliminary Report on WASP 2.0.

[BibT_eX]

[DOI]

CoRR, 2014

Investigating Node Influence Maximization and Influential Node Characterization in a Multi-Social-Network Scenario via Disjunctive Logic Programming.

[BibT_eX]

Proceedings of the 22nd Italian Symposium on Advanced Database Systems, 2014

Investigating Information Diffusion in a Multi-Social-Network Scenario via Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 8th International Conference, 2014

Exploiting Answer Set Programming for Handling Information Diffusion in a Multi-Social-Network Scenario.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

2013

Parallel instantiation of ASP programs: techniques and experiments.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

Consistent query answering via ASP from different perspectives: Theory and practice.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

A graphic tool for ontology reasoning under Datalog∃.

[BibT_eX]

Proceedings of the 21st Italian Symposium on Advanced Database Systems, 2013

Development Tools for Datalog.

[BibT_eX]

Proceedings of the 21st Italian Symposium on Advanced Database Systems, 2013

An Integrated Environment for Reasoning over Ontologies via Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

Answer Set Programming: Language, Applications and Development Tools.

[BibT_eX]

[DOI]

Giovanni Grasso

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

Towards Query Answering in Relational Multi-Context Systems.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

WASP: A Native ASP Solver Based on Constraint Learning.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

The Fourth Answer Set Programming Competition: Preliminary Report.

[BibT_eX]

[DOI]

Lara Katharina Spendier

Johannes Peter Wallner

Guohui Xiao

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Automated Selection of Grounding Algorithm in Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013

Comparing Alternative Solutions for Unfounded Set Propagation in ASP.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013

2012

Team-building with answer set programming in the Gioia-Tauro seaport.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2012

The Answer Set Programming Competition.

[BibT_eX]

[DOI]

AI Mag., 2012

Distributed Ontology Based Data Access via Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

JASP: A Framework for Integrating Answer Set Programming with Java.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

The Multi-Engine ASP Solver me-asp.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Applying Machine Learning Techniques to ASP Solving.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Datalog Development Tools - (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Datalog in Academia and Industry - Second International Workshop, 2012

Extending ASPIDE with User-defined Plugins.

[BibT_eX]

[DOI]

Proceedings of the 9th Italian Convention on Computational Logic, 2012

2011

Look-back Techniques for ASP Programs with Aggregates.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2011

Optimizing the Distributed Evaluation of Stratified Datalog Programs via Structural Analysis.

[BibT_eX]

Proceedings of the Sistemi Evoluti per Basi di Dati, 2011

ASPIDE: Integrated Development Environment for Answer Set Programming.

[BibT_eX]

[DOI]

Onofrio Febbraro

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

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

[BibT_eX]

[DOI]

Maria Carmela Santoro

Pierfrancesco Veltri

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Optimizing the Distributed Evaluation of Stratified Programs via Structural Analysis.

[BibT_eX]

[DOI]

Rosamaria Barilaro

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Unit Testing in ASPIDE.

[BibT_eX]

[DOI]

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

Testing ASP programs in ASPIDE.

[BibT_eX]

[DOI]

Onofrio Febbraro

Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

The Birth of a WASP: Preliminary Report on a New ASP Solver.

[BibT_eX]

[DOI]

Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

ASP at Work: Spin-off and Applications of the DLV System.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2010

A Logic-Based System for e-Tourism.

[BibT_eX]

[DOI]

Antonella Dimasi

Giovanni Grasso

Salvatore Maria Ielpa

Salvatore Iiritano

Fundam. Informaticae, 2010

A parallel ASP instantiator based on DLV.

[BibT_eX]

[DOI]

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

Efficient Application of Answer Set Programming for Advanced Data Integration.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2010

An ASP-Based System for Team-Building in the Gioia-Tauro Seaport.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2010

DLVMC: Enhanced Model Checking in DLV.

[BibT_eX]

[DOI]

Pierfrancesco Veltri

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 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

Optimized Encodings for Consistent Query Answering via ASP from Different Perspectives.

[BibT_eX]

[DOI]

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

Team-building with Answer Set Programming in the Gioia-Tauro Seaport.

[BibT_eX]

[DOI]

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

A Visual Interface for Drawing ASP Programs.

[BibT_eX]

[DOI]

Onofrio Febbraro

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

Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010

2009

OntoDLV: An ASP-based System for Enterprise Ontologies.

[BibT_eX]

[DOI]

J. Log. Comput., 2009

An ASP-Based Data Integration System.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

An ASP-Based System for e-Tourism.

[BibT_eX]

[DOI]

Salvatore Maria Ielpa

Salvatore Iiritano

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Some DLV Applications for Knowledge Management.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 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

Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers.

[BibT_eX]

[DOI]

J. Algorithms, 2008

Experimenting with parallelism for the instantiation of ASP programs.

[BibT_eX]

[DOI]

Francesco Calimeri

J. Algorithms, 2008

2007

Disjunctive logic programming with types and objects: The DLV+ system.

[BibT_eX]

[DOI]

J. Appl. Log., 2007

On look-ahead heuristics in disjunctive logic programming.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2007

Experimenting with Look-Back Heuristics for Hard ASP Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

2006

A backjumping technique for Disjunctive Logic Programming.

[BibT_eX]

[DOI]

AI Commun., 2006

Exploiting agents in e-learning and skills management context.

[BibT_eX]

[DOI]

Alfredo Garro

Luigi Palopoli

AI Commun., 2006

2005

Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks.

[BibT_eX]

Intelligenza Artificiale, 2005

A DLP System with Object-Oriented Features.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Solving Hard ASP Programs Efficiently.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Heuristics for Hard ASP Programs.

[BibT_eX]

[DOI]

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

Specification of Assessment-test Criteria through ASP Specifications.

[BibT_eX]

[DOI]

Giovambattista Ianni

Claudio Panetta