Results 171 to 180 of about 33,717 (206)
Some of the next articles are maybe not open access.
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.
Toshiko Wakaki +3 more
openaire +1 more source
Autoepistemic answer set programming
Artificial Intelligence, 2020zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cabalar, Pedro +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 +2 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 +2 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 +2 more sources
Parallel Answer Set Programming
2018Answer Set Programming (ASP) has become, in recent years, the paradigm of choice for the logic programming community and for a wide variety of application domains. Thanks to its declarative nature, ASP offers excellent opportunities for performance improvements through transparent exploitation of parallelism.
Dovier A., Formisano A., Pontelli E.
openaire +1 more source
Cooperating Answer Set Programming
2006We 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
Modular Answer Set Programming
2007In answer set programming (ASP) a problem is solved declaratively by writing down a logic program the answer sets of which correspond to the solutions of the problem, and computing the answer sets of the program using a special purpose search engine.The growing interest towards ASP is mostly due to efficient search engines, such as smodels and dlv ...
openaire +1 more source
Nutrition and physical activity guidelines for cancer survivors
Ca-A Cancer Journal for Clinicians, 2012Cheryl L Rock +2 more
exaly