Results 191 to 200 of about 570,700 (231)

The Landscape of Farmer Mental Health Programs in the US Midwest. [PDF]

J Agromedicine
Becot F, Ruszkowski S, Henning-Smith C, Bjornestad A.   +3 more
europepmc   +1 more source

Using Mutual Information and Answer Set Programming to refine PWM based transcription regulation network

, 2012
Andrés Aravena, Carito Guziołowski, Anne Siegel, Alejandro Maass   +3 more
openalex   +1 more source

Shift Design with Answer Set Programming [PDF]

Fundamenta Informaticae, 2015
Answer Set Programming (ASP) is a powerful declarative programmingparadigm that has been successfully applied to many dierent domains.Recently, ASP has also proved successful for hard optimization problems likecourse timetabling. In this paper, we approach another important task, namely,the shift design problem, aiming at an alignment of a minimum ...
Michael Abseher, Torsten Schaub, Torsten Schaub, Nysret Musliu, Stefan Woltran, Martin Gebser, Martin Gebser   +6 more
openaire   +5 more sources

Answer Sets and the Language of Answer Set Programming [PDF]

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.
openaire   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Answer Set Programming

2010
Answer Set Programming (ASP), referred to also as Disjunctive Logic Programming under the stable model semantics (DLP), is a powerful formalism for Knowledge Representation and Reasoning. ASP has been the subject of intensive research studies, and, also thanks to the availability of some efficient ASP systems, has recently gained quite some popularity ...
P. A. BONATTI, CALIMERI, Francesco, LEONE, Nicola, RICCA, Francesco   +3 more
openaire   +5 more sources

Parallel Answer Set Programming

2018
Answer 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   +3 more sources

Monotonic Answer Set Programming

Journal of Logic and Computation, 2008
Answer set programming (ASP) does not allow for incrementally constructing answer sets or locally validating constructions like proofs by only looking at a part of the given program. In this article, we elaborate upon an alternative approach to ASP that allows for incremental constructions.
Gebser, Martin, Gharib, Mona, Mercer, Robert E., Schaub, Torsten (Prof. Dr.)   +3 more
openaire   +3 more sources

answer set programming

2008
Answer set programming (ASP) evolved from logic programming, deductive databases, knowledge representation, and nonmonotonic reasoning, and it serves as a flexible language for solving problems in a declarative way. The user does not need to provide an algorithm for solving the problem; rather, it is sufficient that (s)he specifies the properties of ...
FABER W, LEONE, Nicola, RICCA, Francesco
openaire   +2 more sources

Answer Set Programming Modulo Acyclicity

Fundamenta Informaticae, 2015
Acyclicity constraints are prevalent in knowledge representation and, in particular, applications where acyclic data structures such as DAGs and trees play a role. Recently, such constraints have been considered in the satisfiability modulo theories (SMT) framework, and in this paper we carry out an analogous extension to the answer set programming ...
Torsten Schaub, Torsten Schaub, Tomi Janhunen, Benjamin Kaufmann, Martin Gebser, Martin Gebser, Jori Bomanson   +6 more
openaire   +5 more sources