Literature

Show all

2002

Simons, Patrik; Niemelá, Ilkka; Soininen, Timo

Extending and Implementing the Stable Model Semantics Journal Article

Artif. Intell., 138 (1-2), pp. 181–234, 2002, ISSN: 0004-3702.

Links | BibTeX | Tags: answer set programming, logic programs, optimization, stable model semantics, weight constraints