Applications of answer set programming
ASP has been applied fruitfully to a wide range of areas in AI and in other fields, both in
academia and in industry, thanks to the expressive representation languages of ASP and …
academia and in industry, thanks to the expressive representation languages of ASP and …
Answer set programming for collaborative housekeeping robotics: representation, reasoning, and execution
Answer set programming (ASP) is a knowledge representation and reasoning paradigm with
high-level expressive logic-based formalism, and efficient solvers; it is applied to solve hard …
high-level expressive logic-based formalism, and efficient solvers; it is applied to solve hard …
Generating explanations for biomedical queries
We introduce novel mathematical models and algorithms to generate (shortest or k different)
explanations for biomedical queries, using answer set programming. We implement these …
explanations for biomedical queries, using answer set programming. We implement these …
ReAct!: An interactive educational tool for AI planning for robotics
This paper presents ReAct!, an interactive educational tool for artificial intelligence (AI)
planning for robotics. ReAct! enables students to describe robots' actions and change in …
planning for robotics. ReAct! enables students to describe robots' actions and change in …
Witnesses for answer sets of logic programs
In this article, we consider Answer Set Programming (ASP). It is a declarative problem
solving paradigm that can be used to encode a problem as a logic program whose answer …
solving paradigm that can be used to encode a problem as a logic program whose answer …
A case study on the tower of hanoi challenge: Representation, reasoning and execution
The Tower of Hanoi puzzle, has recently been established as a robotics challenge as a part
of EU Robotics coordination action in 2011 and IEEE IROS Conference in 2012. It provides …
of EU Robotics coordination action in 2011 and IEEE IROS Conference in 2012. It provides …
Answer set programming and agents
A Dyoub, S Costantini, G De Gasperis - The Knowledge Engineering …, 2018 - cambridge.org
In this paper, we discuss the potential role of answer set programming (ASP) in the context
of approaches to the development of agents and multi-agent systems especially in the realm …
of approaches to the development of agents and multi-agent systems especially in the realm …
[HTML][HTML] Domain expansion for ASP-programs with external sources
Answer set programming (ASP) is a popular approach to declarative problem solving which
for broader usability has been equipped with external source access. The latter may …
for broader usability has been equipped with external source access. The latter may …
Answer set programming for reasoning with semantic knowledge in collaborative housekeeping robotics
Abstract Answer Set Programming (ASP) is a knowledge representation and reasoning
paradigm with high-level expressive logic-based formalism, and efficient solvers; it is …
paradigm with high-level expressive logic-based formalism, and efficient solvers; it is …
[PDF][PDF] BIOQUERY-ASP: Querying biomedical ontologies using answer set programming
We describe a software system, called BIOQUERY-ASP, that finds answers and generates
explanations to complex biomedical queries over the available knowledge resources, such …
explanations to complex biomedical queries over the available knowledge resources, such …