16 citations · 71 across the 26 of their papers we have counts for
3 papers · 1 filter
Shared aggregate sets in answer set programming
Mario Alviano, Carmine Dodaro, Marco Maratea
Aggregates are among the most frequently used linguistic extensions of answer set programming. The result of an aggregation may introduce new constants during the instantiation of…
Cautious reasoning in ASP via minimal models and unsatisfiable cores
Mario Alviano, Carmine Dodaro, Matti Järvisalo +2
Answer Set Programming (ASP) is a logic-based knowledge representation framework, supporting---among other reasoning modes---the central task of query answering. In the proposition…
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming
George Baryannis, Ilias Tachmazidis, Sotiris Batsakis +4
Spatial information is often expressed using qualitative terms such as natural language expressions instead of coordinates; reasoning over such terms has several practical applicat…