10 citations · 20 across the 10 of their papers we have counts for
9 papers · 1 filter
Towards Automatic Composition of ASP Programs from Natural Language Specifications
Manuel Borroto, Irfan Kareem, Francesco Ricca
This paper moves the first step towards automating the composition of Answer Set Programming (ASP) specifications. In particular, the following contributions are provided: (i) A da…
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels
Vito Barbara, Massimo Guarascio, Nicola Leone +4
Artificial Intelligence plays a main role in supporting and improving smart manufacturing and Industry 4.0, by enabling the automation of different types of tasks manually performe…
An efficient solver for ASP(Q)
Wolfgang Faber, Giuseppe Mazzotta, Francesco Ricca
Answer Set Programming with Quantifiers ASP(Q) extends Answer Set Programming (ASP) to allow for declarative and modular modeling of problems from the entire polynomial hierarchy.…
Driving CDCL Search
Carmine Dodaro, Philip Gasteiger, Nicola Leone +3
The CDCL algorithm is the leading solution adopted by state-of-the-art solvers for SAT, SMT, ASP, and others. Experiments show that the performance of CDCL solvers can be significa…
An integrated Graphical User Interface for Debugging Answer Set Programs
Philip Gasteiger, Carmine Dodaro, Benjamin Musitsch +3
Answer Set Programming (ASP) is an expressive knowledge representation and reasoning framework. Due to its rather simple syntax paired with high-performance solvers, ASP is interes…
Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper)
Carmine Dodaro, Philip Gasteiger, Nicola Leone +3
Answer Set Programming (ASP) is a popular logic programming paradigm that has been applied for solving a variety of complex problems. Among the most challenging real-world applicat…