Buscar
Mostrando ítems 1-10 de 698
Smoke Test Planning using Answer Set Programming
Smoke testing is an important method to increase stability and reliability of hardware- gramming, Testing depending systems. Due to concurrent access to the same physical resource and the impracticality of the use of ...
The consistency extractor system: answer set programs for consistent query answering in databases
(ELSEVIER SCIENCE BV, 2010)
A Compact Answer Set Programming Encoding of Multi-Agent PathfindingA Compact Answer Set Programming Encoding of Multi-Agent Pathfinding
(IEEE, 2021)
Multi-agent pathfinding (MAPF) is the problem of finding k non-colliding paths connecting k given initial positions with k given goal positions on a given map. In its sum-of-costs variant, the total number of moves and ...
An Application of Declarative Languages in Distributed Architectures: ASP and DALI Microservices
In this paper we introduce an approach to the possible adoption of Answer Set Programming (ASP) for the definition of microservices, which are a successful abstraction for designing distributed applications as suites of ...
Answer set programming for non-stationary Markov decision processes
(2017)
© 2017, Springer Science+Business Media New York.Non-stationary domains, where unforeseen changes happen, present a challenge for agents to find an optimal policy for a sequential decision making problem. This work ...