Results 21 to 30 of about 33,717 (206)
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
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
Aggregated Fuzzy Answer Set Programming [PDF]
Annals of Mathematics and Artificial Intelligence, 2011 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Janssen, Jeroen +3 more
openaire +3 more sources
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
Annals of Pure and Applied Logic, 2014 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Brik, Alex, Remmel, Jeffrey
openaire +2 more sources
Normal forms for answer sets programming [PDF]
Theory and Practice of Logic Programming, 2005 Normal forms for logic programs under stable/answer set semantics are introduced. We argue that these forms can simplify the study of program properties, mainly consistency. The first normal form, called the kernel of the program, is useful for studying existence and number of answer sets.
COSTANTINI, STEFANIA, PROVETTI A.
openaire +4 more sources
Reasoning about Qualitative Direction and Distance between Extended Objects using Answer Set Programming [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 In this thesis, we introduce a novel formal framework to represent and reason about qualitative direction and distance relations between extended objects using Answer Set Programming (ASP).
Yusuf Izmirlioglu
doaj +1 more source