Results 11 to 20 of about 106,052 (303)
Reactive Answer Set Programming [PDF]
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 +5 more sources
Reactive Answer Set Programming [PDF]
, 2011 We introduce the first approach to Reactive Answer Set Programming, aiming at reasoning about real-time dynamic systems running online in changing environments. We start by laying the theoretical foundations by appeal to module theory. With this, we elaborate upon the composition of the various offline and online programs in order to pave the way for ...
Martin Gebser +3 more
openaire +3 more sources
Answer Sets and the Language of Answer Set Programming
AI Magazine, 2016 Answer set programming is a declarative programming paradigm based on the answer set semantics of logic programs. This introductory article provides the mathematical background for the discussion of answer set programming in other contributions to this special issue.
Vladimir Lifschitz
core +4 more sources
Temporal Answer Set Programming [PDF]
, 2012 [Resumen] El razonamiento temporal del sentido común está lleno de situaciones que requieren suponer conclusiones por defecto, puesto que raramente contamos con toda la información disponible. Lamentablemente, la mayoría de lógicas modales temporales no permiten modelar este tipo de razonamiento por defecto debido a que, típicamente, se definen por ...
Diéguez, Martín
openaire +5 more sources
Extensions of Answer Set Programming. [PDF]
, 2011 This paper describes a doctoral research in three areas: Hybrid ASP - an extension of Answer Set Programming for reasoning about dynamical systems, an extension of Set Constraint atoms for reasoning about preferences, computing stable models of logic programs using Metropolis type algorithms.
Brik, Alex
openaire +5 more sources
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 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 ...
Stefania Costantini +1 more
openaire +5 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
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