Francesco Ricca

According to our database1, Francesco Ricca authored at least 146 papers between 2003 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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

Partial Compilation of ASP Programs.
TPLP, 2019

Beyond NP: Quantifying over Answer Sets.
TPLP, 2019

Paracoherent Answer Set Semantics meets Argumentation Frameworks.
TPLP, 2019

Better Paracoherent Answer Sets with Less Resources.
TPLP, 2019

Partial Compilation of ASP Programs.
CoRR, 2019

Better Paracoherent Answer Sets with Less Resources.
CoRR, 2019

Beyond NP: Quantifying over Answer Sets.
CoRR, 2019

Paracoherent Answer Set Semantics meets Argumentation Frameworks.
CoRR, 2019

The Seventh Answer Set Programming Competition: Design and Results.
CoRR, 2019

Querying Cultural Heritage Knowledge Bases in Natural Language: Discussion Paper.
Proceedings of the 27th Italian Symposium on Advanced Database Systems, 2019



Evaluation of Disjunctive Programs in WASP.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

A Logic-Based Question Answering System for Cultural Heritage.
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Algorithm Selection for Paracoherent Answer Set Computation.
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

An Extension of Datalog for Modelling and Solving Complex Combinatorial Problems.
Proceedings of the Datalog 2.0 2019, 2019



Debugging of Answer Set Programs Using Paracoherent Reasoning.
Proceedings of the 34th Italian Conference on Computational Logic, 2019

Computing Modular Paracoherent Answer Sets: Preliminary Result.
Proceedings of the 34th Italian Conference on Computational Logic, 2019

Empowering ASPQ to Win in QBFEval 2018.
Proceedings of the 34th Italian Conference on Computational Logic, 2019

2018
Developing ASP Programs with ASPIDE and LoIDE.
KI, 2018

The ASP System DLV: Advancements and Applications.
KI, 2018

The External Interface for Extending WASP.
CoRR, 2018

Debugging Non-Ground ASP Programs: Technique and Graphical Tools.
CoRR, 2018

New Models for Generating Hard Random Boolean Formulas and Disjunctive Logic Programs.
CoRR, 2018

First Steps towards Reasoning on Big Data with DLV.
Proceedings of the 26th Italian Symposium on Advanced Database Systems, 2018

A REST-Based Development Framework for ASP: Tools and Application.
Proceedings of the Practical Aspects of Declarative Languages, 2018

A Generator of Hard 2QBF Formulas and ASP Programs.
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.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Compute Paracoherent Answer Sets via Saturation.
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.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

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

The Sixth Answer Set Programming Competition.
J. Artif. Intell. Res., 2017

Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis.
CoRR, 2017

On the Computation of Paracoherent Answer Sets.
CoRR, 2017

Decomposing and pruning primary key violations from large data sets (discussion paper).
Proceedings of the 25th Italian Symposium on Advanced Database Systems, 2017

A compiler for stratified Datalog programs: preliminary results.
Proceedings of the 25th Italian Symposium on Advanced Database Systems, 2017

The Design of the Seventh Answer Set Programming Competition.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

The ASP System DLV2.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

Generating Hard Random Boolean Formulas and Disjunctive Logic Programs.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

lp2cpp: A Tool For Compiling Stratified Logic Programs.
Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017

On the Computation of Paracoherent Answer Sets.
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).
TPLP, 2016

Information diffusion in a multi-social-network scenario: framework and ASP-based analysis.
Knowl. Inf. Syst., 2016

An integrated Graphical User Interface for Debugging Answer Set Programs.
CoRR, 2016

Driving CDCL Search.
CoRR, 2016

Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper).
CoRR, 2016

Systems, Engineering Environments, and Competitions.
AI Magazine, 2016

Experimental evaluation of algorithms for solving problems with combinatorial explosion.
AI Commun., 2016

Design and results of the Fifth Answer Set Programming Competition.
Artif. Intell., 2016

ASPQ: An ASP-Based 2QBF Solver.
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.
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.
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.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

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

Multi-engine ASP solving with policy adaptation.
J. Log. Comput., 2015

20th RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion".
J. Exp. Theor. Artif. Intell., 2015

Taming Primary Key Violations to Query Large Inconsistent Data.
CoRR, 2015

Answer Set Programming: A Tour from the Basics to Advanced Development Tools and Industrial Applications.
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.
Proceedings of the Web Reasoning and Rule Systems - 9th International Conference, 2015

Multi-level Algorithm Selection for ASP.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

The Design of the Sixth Answer Set Programming Competition - - Report -.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Interactive Debugging of Non-ground ASP Programs.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Advances in WASP.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Advances in Multi-engine ASP Solving.
Proceedings of the AI*IA 2015, Advances in Artificial Intelligence, 2015

JWASP: A New Java-Based ASP Solver.
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.
TPLP, 2014

The third open answer set programming competition.
TPLP, 2014

Anytime Computation of Cautious Consequences in Answer Set Programming.
TPLP, 2014

The Multi-engine ASP Solver ME-ASP: Progress Report.
CoRR, 2014

The Design of the Fifth Answer Set Programming Competition.
CoRR, 2014

Anytime Computation of Cautious Consequences in Answer Set Programming.
CoRR, 2014

Preliminary Report on WASP 2.0.
CoRR, 2014

Investigating Node Influence Maximization and Influential Node Characterization in a Multi-Social-Network Scenario via Disjunctive Logic Programming.
Proceedings of the 22nd Italian Symposium on Advanced Database Systems, 2014

Investigating Information Diffusion in a Multi-Social-Network Scenario via Answer Set Programming.
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.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

2013
Parallel instantiation of ASP programs: techniques and experiments.
TPLP, 2013

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

A Multi-Engine Approach to Answer Set Programming.
CoRR, 2013

A graphic tool for ontology reasoning under Datalog.
Proceedings of the 21st Italian Symposium on Advanced Database Systems, 2013

Development Tools for Datalog.
Proceedings of the 21st Italian Symposium on Advanced Database Systems, 2013

An Integrated Environment for Reasoning over Ontologies via Logic Programming.
Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

Answer Set Programming: Language, Applications and Development Tools.
Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

Towards Query Answering in Relational Multi-Context Systems.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

WASP: A Native ASP Solver Based on Constraint Learning.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013


Automated Selection of Grounding Algorithm in Answer Set Programming.
Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013

Comparing Alternative Solutions for Unfounded Set Propagation in ASP.
Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013

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

The third open Answer Set Programming competition
CoRR, 2012

The Answer Set Programming Competition.
AI Magazine, 2012

Distributed Ontology Based Data Access via Logic Programming.
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

JASP: A Framework for Integrating Answer Set Programming with Java.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

The Multi-Engine ASP Solver me-asp.
Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Applying Machine Learning Techniques to ASP Solving.
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Datalog Development Tools - (Extended Abstract).
Proceedings of the Datalog in Academia and Industry - Second International Workshop, 2012

Extending ASPIDE with User-defined Plugins.
Proceedings of the 9th Italian Convention on Computational Logic, 2012

2011
Look-back Techniques for ASP Programs with Aggregates.
Fundam. Inform., 2011

Parallel Instantiation of ASP Programs: Techniques and Experiments
CoRR, 2011

Unit Testing in ASPIDE
CoRR, 2011

Consistent Query Answering via ASP from Different Perspectives: Theory and Practice
CoRR, 2011

Team-building with Answer Set Programming in the Gioia-Tauro Seaport
CoRR, 2011

Optimizing the Distributed Evaluation of Stratified Datalog Programs via Structural Analysis.
Proceedings of the Sistemi Evoluti per Basi di Dati, 2011

ASPIDE: Integrated Development Environment for Answer Set Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Optimizing the Distributed Evaluation of Stratified Programs via Structural Analysis.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Unit Testing in ASPIDE.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

Testing ASP programs in ASPIDE.
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.
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.
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2010
A Logic-Based System for e-Tourism.
Fundam. Inform., 2010

A parallel ASP instantiator based on DLV.
Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, 2010

Efficient Application of Answer Set Programming for Advanced Data Integration.
Proceedings of the Practical Aspects of Declarative Languages, 2010

An ASP-Based System for Team-Building in the Gioia-Tauro Seaport.
Proceedings of the Practical Aspects of Declarative Languages, 2010

DLVMC: Enhanced Model Checking in DLV.
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

Towards a Fully-Parallel DLV System.
Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2010

Parallel Instantiation in DLV.
Proceedings of the 25th Italian Conference on Computational Logic, 2010

Optimized Encodings for Consistent Query Answering via ASP from Different Perspectives.
Proceedings of the 25th Italian Conference on Computational Logic, 2010

Team-building with Answer Set Programming in the Gioia-Tauro Seaport.
Proceedings of the 25th Italian Conference on Computational Logic, 2010

A Visual Interface for Drawing ASP Programs.
Proceedings of the 25th Italian Conference on Computational Logic, 2010

Answer Set Programming.
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.
J. Log. Comput., 2009

An ASP-Based Data Integration System.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

An ASP-Based System for e-Tourism.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Some DLV Applications for Knowledge Management.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Advanced Heuristics for Parallel ASP Instantiation.
Proceedings of the 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2009

2008
Answer Set Programming.
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.
J. Algorithms, 2008

Experimenting with parallelism for the instantiation of ASP programs.
J. Algorithms, 2008

Look-back Techniques for ASP Programs with Aggregates.
Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2008

2007
Disjunctive logic programming with types and objects: The DLV+ system.
J. Applied Logic, 2007

On look-ahead heuristics in disjunctive logic programming.
Ann. Math. Artif. Intell., 2007

Experimenting with Look-Back Heuristics for Hard ASP Programs.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

2006
A backjumping technique for Disjunctive Logic Programming.
AI Commun., 2006

Exploiting agents in e-learning and skills management context.
AI Commun., 2006

2005
Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks.
Intelligenza Artificiale, 2005

A DLP System with Object-Oriented Features.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Solving Hard ASP Programs Efficiently.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Heuristics for Hard ASP Programs.
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.
Proceedings of the Answer Set Programming, 2005

2004
An agent system reasoning about the web and the user.
Proceedings of the 13th international conference on World Wide Web, 2004

2003
A Java Wrapper for DLV.
Proceedings of the Answer Set Programming, 2003

The DLV Java Wrapper.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003


  Loading...