Results 21 to 30 of about 570,700 (231)
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
Reactive Answer Set Programming
Theory and Practice of Logic Programming, 2022 AbstractLogic Production System (LPS) is a logic-based framework for modelling reactive behaviour. Based on abductive logic programming, it combines reactive rules with logic programs, a database and a causal theory that specifies transitions between the states of the database.
KRYSIA BRODA +2 more
openaire +4 more sources
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
The Answer Set Programming Paradigm [PDF]
AI Magazine, 2016 In this article, we give an overview of the answer set programming paradigm, explain its strengths, and illustrate its main features in terms of examples and an application problem.
Niemelä, Ilkka, Janhunen, Tomi
openaire +6 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
Exhaustively characterizing feasible logic models of a signaling network using Answer Set Programming. [PDF]
Bioinformatics, 2013 Guziolowski C +6 more
europepmc +3 more sources
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
Explanations for Answer Set Programming
Electronic Proceedings in Theoretical Computer Science, 2023 The paper presents an enhancement of xASP, a system that generates explanation graphs for Answer Set Programming (ASP). Different from xASP, the new system, xASP2, supports different clingo constructs like the choice rules, the constraints, and the aggregates such as #sum, #min.
Alviano M. +3 more
openaire +2 more sources
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
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