Results 11 to 20 of about 33,618 (213)
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
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
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
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