Stable models and difference logic

Ilkka Niemelä*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review


The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework. Characterizations of stable models in terms of level rankings are developed building on simple linear integer constraints allowed in difference logic. Based on a characterization with level rankings a translation is devised which maps a normal program to a difference logic formula capturing stable models of the program as satisfying valuations of the resulting formula. The translation makes it possible to use a solver for difference logic to compute stable models of logic programs.

Original languageEnglish
Title of host publication10th International Symposium on Artificial Intelligence and Mathematics (ISAIM 2008), Fort Lauderdale, FL; United States; 2-4 January 2008
Publication statusPublished - 1 Dec 2008
MoE publication typeA4 Article in a conference publication


Dive into the research topics of 'Stable models and difference logic'. Together they form a unique fingerprint.

Cite this