16 citations · 69 across the 11 of their papers we have counts for
11 papers
On some Foundational Aspects of Human-Centered Artificial Intelligence
Luciano Serafini, Raul Barbosa, Jasmin Grosinger +9
The burgeoning of AI has prompted recommendations that AI techniques should be "human-centered". However, there is no clear definition of what is meant by Human Centered Artificial…
Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP
Richard Taupe, Konstantin Schekotihin, Peter Schüller +2
Domain-specific heuristics are an important technique for solving combinatorial problems efficiently. We propose a novel semantics for declarative specifications of domain-specific…
Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems
Thomas Eiter, Zeynep G. Saribatur, Peter Schüller
Humans are capable of abstracting away irrelevant details when studying problems. This is especially noticeable for problems over grid-cells, as humans are able to disregard certai…
Partial Compilation of ASP Programs
Bernardo Cuteri, Carmine Dodaro, Francesco Ricca +1
Answer Set Programming (ASP) is a well-known declarative formalism in logic programming. Efficient implementations made it possible to apply ASP in many scenarios, ranging from ded…
Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis
Bernardo Cuteri, Carmine Dodaro, Francesco Ricca +1
Answer Set Programming (ASP) is a well-established declarative paradigm. One of the successes of ASP is the availability of efficient systems. State-of-the-art systems are based on…
Best-Effort Inductive Logic Programming via Fine-grained Cost-based Hypothesis Generation
Peter Schüller, Mishal Benz
We describe the Inspire system which participated in the first competition on Inductive Logic Programming (ILP). Inspire is based on Answer Set Programming (ASP). The distinguishin…