Answer Set Programming: Related with Other Solving Paradigms

Tutkimustuotos: Lehtiartikkelivertaisarvioitu

Tutkijat

Organisaatiot

Kuvaus

Answer set programming (ASP) is a declarative programming paradigm based on an interpretation of logical rules as constraints. In this article, we relate answer set programming with other constraint-based solving paradigms: Boolean satisfiability checking, satisfiability modulo theories, mixed integer programming, and constraint programming. We illustrate the relationship of ASP with these alternative paradigms in terms of simple examples, and identify the main primitives and characteristics of the constraint-based languages under consideration.

Yksityiskohdat

AlkuperäiskieliEnglanti
Sivut125-131
Sivumäärä7
JulkaisuKUENSTLICHE INTELLIGENZ
Vuosikerta32
Numero2-3
TilaJulkaistu - 9 kesäkuuta 2018
OKM-julkaisutyyppiA1 Julkaistu artikkeli, soviteltu

Lataa tilasto

Ei tietoja saatavilla

ID: 29615071