Action Languages, Answer Sets, and Planning
The Logic Programming Paradigms, 1999. [All Versions]. [Preprint]. This is a discussion of some of the achievements and challenges related to representing actions and the design of planners from the perspective of logic programming. The authors talk about recent work on action…
- from
- AGI & CoCoSci
- added
- 2026-10-10
- likes
- 0
similar
-
Action Understanding as Inverse Planning sciencedirect.com
Cognition, 2009. [All Versions]. [Appendix]. The original paper on Inverse Planning, a computational implementation of Theory of Mind. Humans are adept at inferring the mental states underlying other agents’ actions, such as goals, beliefs, desires, emotions and other thoughts…
-
Answer Set Programming link.springer.com
ICLPNR'99, 1999. [All Versions]. [Preprint]. The original paper on Answer Set Programming (ASP), a form of declarative programming oriented towards difficult search problems, on the use of nonmonotonic reasoning in knowledge representation. In ASP solutions to a problem are…
-
Abductive Logic Programming academic.oup.com
Journal of Logic Computation, 1992. [All Versions]. This paper is a survey and critical overview of recent work on the extension of logic programming to perform abductive reasoning (abductive logic programming). The authors outline the general framework of abduction and its…
-
From Skills to Symbols: Learning Symbolic Representations for Abstract High-Level Planning jair.org
Journal of Artificial Intelligence Research, 2018. [All Versions]. This work considers the problem of constructing abstract representations for planning in high-dimensional, continuous environments. The authors assume an agent equipped with a collection of high-level actions…
-
Abduction in Logic Programming link.springer.com
Computational Logic, 2002. [All Versions]. [Preprint]. Abduction in Logic Programming started in the late 80s, early 90s, in an attempt to extend logic programming into a framework suitable for a variety of problems in Artificial Intelligence and other areas of Computer…
-
A Logic Programming Language for Computational Nucleic Acid Devices pubs.acs.org
ACS Synthetic Biology, 2018. [All Versions]. This paper presents a logic programming language that allows a broad range of computational nucleic acid systems to be designed and analyzed. The language extends standard logic programming with a novel equational theory to express…
AGI & CoCoSci › Papers > Domain Specific Language > Logic DSL Applications: “The Logic Programming Paradigms, 1999. [All Versions]. [Preprint]. This is a discussion of some of the achievements and challenges related to representing actions and the design of planners from the perspective of logic programming. The authors talk about recent work on action…”