46 citations · 157 across the 30 of their papers we have counts for
5 papers · 1 filter
Scalable Computation of Optimized Queries for Sequential Diagnosis
Patrick Rodler, Wolfgang Schmid, Kostyantyn Shchekotykhin
In many model-based diagnosis applications it is impossible to provide such a set of observations and/or measurements that allow to identify the real cause of a fault. Therefore, d…
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…
Stream Reasoning-Based Control of Caching Strategies in CCN Routers
Harald Beck, Bruno Bierbaumer, Minh Dao-Tran +3
Content-Centric Networking (CCN) research addresses the mismatch between the modern usage of the Internet and its outdated architecture. Importantly, CCN routers may locally cache…
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…