Results 201 to 210 of about 570,700 (231)
Some of the next articles are maybe not open access.
Answer set programming at a glance
Communications of the ACM, 2011The motivation and key concepts behind answer set programming---a promising approach to declarative problem solving.
Miroslaw Truszczynski +2 more
openaire +2 more sources
2013
Answer Set Programming (ASP) evolved from various fields such as Logic Programming, Deductive Databases, Knowledge Representation, and Nonmonotonic Reasoning, and serves as a flexible language for declarative problem solving. There are two main tasks in problem solving, representation and reasoning, which are clearly separated in the declarative ...
openaire +3 more sources
Answer Set Programming (ASP) evolved from various fields such as Logic Programming, Deductive Databases, Knowledge Representation, and Nonmonotonic Reasoning, and serves as a flexible language for declarative problem solving. There are two main tasks in problem solving, representation and reasoning, which are clearly separated in the declarative ...
openaire +3 more sources
Answer set programming unleashed!
KI - Künstliche Intelligenz, 2018Answer Set Programming faces an increasing popularity for problem solving in various domains. While its modeling language allows us to express many complex problems in an easy way, its solving technology enables their effective resolution. In what follows, we detail some of the key factors of its success.
Torsten Schaub, Stefan Woltran
openaire +3 more sources
Answer set programming and agents
The Knowledge Engineering Review, 2018AbstractIn this paper, we discuss the potential role of answer set programming (ASP) in the context of approaches to the development of agents and multi-agent systems especially in the realm of Computational Logic. After shortly recalling the main (computational-logic-based) agent-oriented frameworks, we introduce ASP; then, we discuss the usefulness ...
Dyoub, Abeer +2 more
openaire +3 more sources
Cooperating Answer Set Programming [PDF]
, 2006 We present a formalism for logic program cooperation based on the answer set semantics. The system consists of independent logic programs that are connected via a sequential communication channel. When presented with an input set of literals from its predecessor, a logic program computes its output as an answer set of itself, enriched with the input.
Vermeir, Dirk +2 more
openaire +2 more sources
Aggregates in Answer Set Programming
KI - Künstliche Intelligenz, 2018Aggregates are among the most important linguistic extensions of Answer Set Programming (ASP), allowing for compact representations of properties and inductive definitions involving sets of propositions. Common use cases of aggregates in ASP are reported in this paper, which mainly focus on the semantics implemented by mainstream solvers, namely the F ...
Alviano M., Faber W.
openaire +2 more sources
2011
Motivated by a discussion maintained by Michael Gelfond and other researchers, this short essay contains some thoughts and refections about the following question: should ASP be considered a programming language?
openaire +1 more source
Motivated by a discussion maintained by Michael Gelfond and other researchers, this short essay contains some thoughts and refections about the following question: should ASP be considered a programming language?
openaire +1 more source
Answer Set Programming: A Primer
2009Answer Set Programming (ASP) is a declarative problem solving paradigm, rooted in Logic Programming and Nonmonotonic Reasoning, which has been gaining increasing attention during the last years. This article is a gentle introduction to the subject; it starts with motivation and follows the historical development of the challenge of defining a semantics
EITER T +2 more
openaire +3 more sources
On Testing Answer-Set Programs
2010Answer-set programming (ASP) is a well-acknowledged paradigm for declarative problem solving, yet comparably little effort has been spent on the investigation of methods to support the development of answer-set programs. In particular, systematic testing of programs, constituting an integral part of conventional software development, has not been ...
Johannes Oetsch +4 more
openaire +1 more source
Computing Preferred Answer Sets in Answer Set Programming
2003Prioritized logic programs (PLPs) have a mechanism of representing priority knowledge in logic programs. The declarative semantics of a PLP is given as preferred answer sets which are used for representing nonmonotonic reasoning as well as preference abduction.
Katsumi Nitta +3 more
openaire +1 more source