research
∙
05/17/2023
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels
Artificial Intelligence plays a main role in supporting and improving sm...
share
research
∙
05/17/2023
An efficient solver for ASP(Q)
Answer Set Programming with Quantifiers ASP(Q) extends Answer Set Progra...
research
∙
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...
research
∙
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 ...
research
∙
11/11/2019
ASP-Core-2 Input Language Format
Standardization of solver input languages has been a main driver for the...
research
∙
07/24/2019
Partial Compilation of ASP Programs
Answer Set Programming (ASP) is a well-known declarative formalism in lo...
research
∙
07/22/2019
Better Paracoherent Answer Sets with Less Resources
Answer Set Programming (ASP) is a well-established formalism for logic p...
research
∙
07/22/2019
Beyond NP: Quantifying over Answer Sets
Answer Set Programming (ASP) is a logic programming paradigm featuring a...
research
∙
07/22/2019
Paracoherent Answer Set Semantics meets Argumentation Frameworks
In the last years, abstract argumentation has met with great success in ...
research
∙
04/19/2019
The Seventh Answer Set Programming Competition: Design and Results
Answer Set Programming (ASP) is a prominent knowledge representation lan...
research
∙
11/05/2018
The External Interface for Extending WASP
Answer set programming (ASP) is a successful declarative formalism for k...
research
∙
08/01/2018
Debugging Non-Ground ASP Programs: Technique and Graphical Tools
Answer Set Programming (ASP) is one of the major declarative programming...
research
∙
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...
research
∙
07/21/2017
On the Computation of Paracoherent Answer Sets
Answer Set Programming (ASP) is a well-established formalism for nonmono...
research
∙
07/13/2017
Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis
Answer Set Programming (ASP) is a well-established declarative paradigm....
research
∙
11/16/2016
Driving CDCL Search
The CDCL algorithm is the leading solution adopted by state-of-the-art s...
research
∙
11/15/2016
An integrated Graphical User Interface for Debugging Answer Set Programs
Answer Set Programming (ASP) is an expressive knowledge representation a...
research
∙
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...
research
∙
05/14/2014
The Design of the Fifth Answer Set Programming Competition
Answer Set Programming (ASP) is a well-established paradigm of declarati...
research
∙
05/14/2014
Anytime Computation of Cautious Consequences in Answer Set Programming
Query answering in Answer Set Programming (ASP) is usually solved by com...
research
∙
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...
research
∙
04/28/2014
Preliminary Report on WASP 2.0
Answer Set Programming (ASP) is a declarative programming paradigm. The ...
research
∙
06/20/2013
A Multi-Engine Approach to Answer Set Programming
Answer Set Programming (ASP) is a truly-declarative programming paradigm...
research
∙
06/14/2012
The third open Answer Set Programming competition
Answer Set Programming (ASP) is a well-established paradigm of declarati...
research
∙
07/22/2011