Francesco Ricca | DeepAI

AI Chat

Featured Co-authors

Torsten Schaub
48 publications
Alessandra Russo
33 publications
Martin Gebser
27 publications
Carmine Dodaro
26 publications
Mario Alviano
26 publications
Miroslaw Truszczynski
26 publications
Alexander Artikis
22 publications
Konstantin Schekotihin
20 publications
Marco Maratea
20 publications
Wolfgang Faber
19 publications
Fabrizio Riguzzi
19 publications

∙ 05/17/2023

Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels

Artificial Intelligence plays a main role in supporting and improving sm...

0 Vito Barbara, et al. ∙

∙ 05/17/2023

An efficient solver for ASP(Q)

Answer Set Programming with Quantifiers ASP(Q) extends Answer Set Progra...

0 Wolfgang Faber, et al. ∙

∙ 11/04/2021

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

Accessing the large volumes of information available in public knowledge...

0 Manuel A. Borroto Santana, et al. ∙

∙ 09/19/2020

Proceedings 36th International Conference on Logic Programming (Technical Communications)

Since the first conference held in Marseille in 1982, ICLP has been the ...

0 Francesco Ricca, et al. ∙

∙ 11/11/2019

ASP-Core-2 Input Language Format

Standardization of solver input languages has been a main driver for the...

5 Francesco Calimeri, et al. ∙

∙ 07/24/2019

Partial Compilation of ASP Programs

Answer Set Programming (ASP) is a well-known declarative formalism in lo...

0 Bernardo Cuteri, et al. ∙

∙ 07/22/2019

Better Paracoherent Answer Sets with Less Resources

Answer Set Programming (ASP) is a well-established formalism for logic p...

0 Giovanni Amendola, et al. ∙

∙ 07/22/2019

Beyond NP: Quantifying over Answer Sets

Answer Set Programming (ASP) is a logic programming paradigm featuring a...

0 Giovanni Amendola, et al. ∙

∙ 07/22/2019

Paracoherent Answer Set Semantics meets Argumentation Frameworks

In the last years, abstract argumentation has met with great success in ...

0 Giovanni Amendola, et al. ∙

∙ 04/19/2019

The Seventh Answer Set Programming Competition: Design and Results

Answer Set Programming (ASP) is a prominent knowledge representation lan...

0 Martin Gebser, et al. ∙

∙ 11/05/2018

The External Interface for Extending WASP

Answer set programming (ASP) is a successful declarative formalism for k...

0 Carmine Dodaro, et al. ∙

∙ 08/01/2018

Debugging Non-Ground ASP Programs: Technique and Graphical Tools

Answer Set Programming (ASP) is one of the major declarative programming...

0 Carmine Dodaro, et al. ∙

∙ 02/11/2018

New Models for Generating Hard Random Boolean Formulas and Disjunctive Logic Programs

We propose two models of random quantified boolean formulas and their na...

0 Giovanni Amendola, et al. ∙

∙ 07/21/2017

On the Computation of Paracoherent Answer Sets

Answer Set Programming (ASP) is a well-established formalism for nonmono...

0 Giovanni Amendola, et al. ∙

∙ 07/13/2017

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

Answer Set Programming (ASP) is a well-established declarative paradigm....

0 Bernardo Cuteri, et al. ∙

∙ 11/16/2016

Driving CDCL Search

The CDCL algorithm is the leading solution adopted by state-of-the-art s...

0 Carmine Dodaro, et al. ∙

∙ 11/15/2016

An integrated Graphical User Interface for Debugging Answer Set Programs

Answer Set Programming (ASP) is an expressive knowledge representation a...

0 Philip Gasteiger, et al. ∙

∙ 08/02/2016

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

Answer Set Programming (ASP) is a popular logic programming paradigm tha...

0 Carmine Dodaro, et al. ∙

∙ 05/14/2014

The Design of the Fifth Answer Set Programming Competition

Answer Set Programming (ASP) is a well-established paradigm of declarati...

0 Francesco Calimeri, et al. ∙

∙ 05/14/2014

Anytime Computation of Cautious Consequences in Answer Set Programming

Query answering in Answer Set Programming (ASP) is usually solved by com...

0 Mario Alviano, et al. ∙

∙ 05/05/2014

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

MEASP is a multi-engine solver for ground ASP programs. It exploits algo...

0 Marco Maratea, et al. ∙

∙ 04/28/2014

Preliminary Report on WASP 2.0

Answer Set Programming (ASP) is a declarative programming paradigm. The ...

0 Mario Alviano, et al. ∙

∙ 06/20/2013

A Multi-Engine Approach to Answer Set Programming

Answer Set Programming (ASP) is a truly-declarative programming paradigm...

0 Marco Maratea, et al. ∙

∙ 06/14/2012

The third open Answer Set Programming competition

Answer Set Programming (ASP) is a well-established paradigm of declarati...

0 Francesco Calimeri, et al. ∙

∙ 07/22/2011

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

A data integration system provides transparent access to different data ...

0 Marco Manna, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world