Results 11 to 20 of about 570,700 (231)
Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming [PDF]
, 2001 Most recently, Answer Set Programming (ASP) is attracting interest as a new paradigm for problem solving. An important aspect which needs to be supported is the handling of preferences between rules, for which several approaches have been presented.
Eiter, Thomas +3 more
core +4 more sources
aspcud: A Linux Package Configuration Tool Based on Answer Set Programming [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 We present the Linux package configuration tool aspcud based on Answer Set Programming. In particular, we detail aspcud's preprocessor turning a CUDF specification into a set of logical facts.
Martin Gebser +2 more
doaj +3 more sources
Automatic Music Composition using Answer Set Programming [PDF]
, 2010 Music composition used to be a pen and paper activity. These these days music is often composed with the aid of computer software, even to the point where the computer compose parts of the score autonomously.
Boenn, Georg +3 more
core +4 more sources
Extending boolean regulatory network models with answer set programming [PDF]
, 2010 Because of their simplicity, boolean networks are a popular formalism to model gene regulatory networks. However, they have their limitations, including their inability to formally and unambiguously define network behaviour, and their lack of the ...
Fayruzov, Timur +4 more
core +3 more sources
Expressiveness of communication in answer set programming [PDF]
Theory and Practice of Logic Programming, 2011 AbstractAnswer set programming (ASP) is a form of declarative programming that allows to succinctly formulate and efficiently solve complex problems. An intuitive extension of this formalism is communicating ASP, in which multiple ASP programs collaborate to solve the problem at hand.
Bauters, Kim +4 more
openaire +9 more sources
Aggregated Fuzzy Answer Set Programming [PDF]
Annals of Mathematics and Artificial Intelligence, 2011 Fuzzy Answer Set Programming (FASP) is an extension of answer set programming (ASP), based on fuzzy logic. It allows to encode continuous optimization problems in the same concise manner as ASP allows to model combinatorial problems. As a result of its inherent continuity, rules in FASP may be satisfied or violated to certain degrees.
Janssen, Jeroen +3 more
openaire +4 more sources
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
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 +6 more sources