Results 21 to 30 of about 106,052 (303)
Towards Finding Optimal Solutions For Constrained Warehouse Layouts Using Answer Set Programming
Proceedings of the Conference on Production Systems and Logistics, 2023 A minimum requirement of feasible order picking layouts is the accessibility of every storage location. Obeying only this requirement typically leads to a vast amount of different layouts that are theoretically possible.
Kaiser, Pascal +7 more
doaj +1 more source
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 +1 more source
onlineSPARC: A Programming Environment for Answer Set Programming [PDF]
Theory and Practice of Logic Programming, 2018 AbstractRecent progress in logic programming (e.g. the development of the answer set programming (ASP) paradigm) has made it possible to teach it to general undergraduate and even middle/high school students. Given the limited exposure of these students to computer science, the complexity of downloading, installing, and using tools for writing logic ...
Elias Marcopoulos, Yuanlin Zhang 0002
openaire +3 more sources
aspBEEF: Explaining Predictions Through Optimal Clustering
Proceedings, 2020 In this paper we introduce aspBEEF, a tool for generating explanations for the outcome of an arbitrary machine learning classifier. This is done using Grover’s et al.
Pedro Cabalar +3 more
doaj +1 more source
IEEE Access, 2022 We present a method employing Answer Set Programming in combination with Approximate Model Counting for fast and accurate calculation of error propagation probabilities in digital circuits.
Anselm Breitenreiter +3 more
doaj +1 more source
The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics [PDF]
, 2013 In recent years, Answer Set Programming (ASP), logic programming under the stable model or answer set semantics, has seen several extensions by generalizing the notion of an atom in these programs: be it aggregate atoms, HEX atoms, generalized ...
Alviano, Mario +3 more
core +1 more source
An Interactive Modelling Environment for Designing Warehouse Layouts Based on ASP
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2023 In this paper, we apply answer set programming (ASP) to the task of planning warehouse layouts within the logistical domain. Warehouse layout planners have to take into account a vast number of aspects to come up with feasible layouts, especially the ...
Andre Thevapalan +4 more
doaj +1 more source
Detecting Malware Activities With MalpMiner: A Dynamic Analysis Approach
IEEE Access, 2023 Day by day, malware as a service becomes more popular and easy to acquire, thus allowing anyone to start an attack without any technical background, which in turn introduces challenges for detecting such attacks.
Mustafa F. Abdelwahed +2 more
doaj +1 more source
Achievements in answer set programming [PDF]
Theory and Practice of Logic Programming, 2017 AbstractThis paper describes an approach to the methodology of answer set programming that can facilitate the design of encodings that are easy to understand and provably correct. Under this approach, after appending a rule or a small group of rules to the emerging program, we include a comment that states what has been “achieved” so far. This strategy
openaire +3 more sources
Answer Set Programming and Combinatorial Voting [PDF]
, 2005 We show how Logic Programming with Ordered Disjunction (LPOD), the extension of answer set programming for handling preferences, may be used for representing and solving collective decision making problems.
Grabos, Rafal
core +1 more source