Results 11 to 20 of about 33,717 (206)
Solving a Flowshop Scheduling Problem with Answer Set Programming: Exploiting the Problem to Reduce the Number of Combinations [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Planning and scheduling have been a central theme of research in computer science. In particular, the simplicity of the theoretical approach of a no-wait flowshop scheduling problem does not allow to perceive the problem complexity at first sight.
Carmen Leticia García-Mata +1 more
doaj +3 more sources
On the Semantics of Hybrid ASP Systems Based on Clingo
Algorithms, 2023 Over the last decades, the development of Answer Set Programming (ASP) has brought about an expressive modeling language powered by highly performant systems.
Pedro Cabalar +3 more
doaj +1 more source
Evolutionary System Design with Answer Set Programming
Algorithms, 2023 We address the problem of evolutionary system design (ESD) by means of answer set programming modulo difference constraints (AMT). The goal of this design approach is to synthesize new product variants or generations from existing products.
Christian Haubelt +4 more
doaj +1 more source
Smoke Test Planning using Answer Set Programming
International Journal of Interactive Multimedia and Artificial Intelligence, 2021 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 virtualization, smoke testing ...
Tobias Philipp +2 more
doaj +1 more source
A Compact Answer Set Programming Encoding of Multi-Agent Pathfinding
IEEE Access, 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.
Rodrigo N. Gomez +2 more
doaj +1 more source
Algorithms, 2023 A warehouse delivery problem consists of a set of robots that undertake delivery jobs within a warehouse. Items are moved around the warehouse in response to events.
David Rajaratnam +5 more
doaj +1 more source
Answer Set Programming for Regular Inference
Applied Sciences, 2020 We propose an approach to non-deterministic finite automaton (NFA) inductive synthesis that is based on answer set programming (ASP) solvers. To that end, we explain how an NFA and its response to input samples can be encoded as rules in a logic program.
Wojciech Wieczorek +2 more
doaj +1 more source
Answer Set Programming with Resources [PDF]
Journal of Logic and Computation, 2009 In this article, we propose an extension of Answer Set Programming (ASP) to support declarative reasoning on consumption and production of resources. We call the proposed extension RASP, standing for ‘Resourced ASP’. Resources are modeled by introducing special atoms, called amount-atoms, to which we associate quantities that represent the available ...
COSTANTINI, STEFANIA, FORMISANO A.
openaire +5 more sources
Fact-Checking Reasoning System for Fake Review Detection Using Answer Set Programming
Algorithms, 2021 A rising number of people use online reviews to choose if they want to use or buy a service or product. Therefore, approaches for identifying fake reviews are in high request.
Nour Jnoub +2 more
doaj +1 more source
Mathematics, 2020 This paper relates two interesting paradigms in fuzzy logic programming from a semantical approach: core fuzzy answer set programming and multi-adjoint normal logic programming.
M. Eugenia Cornejo +2 more
doaj +1 more source