Functional Stable Model Semantics and Answer Set Programming Modulo Theories

  title={Functional Stable Model Semantics and Answer Set Programming Modulo Theories},
  author={Michael Bartholomew and Joohyung Lee},
Recently there has been an increasing interest in incorporating “intensional” functions in answer set programming. Intensional functions are those whose values can be described by other functions and predicates, rather than being pre-defined as in the standard answer set programming. We demonstrate that the functional stable model semantics plays an important role in the framework of “Answer Set Programming Modulo Theories (ASPMT)” —a tight integration of answer set programming and… CONTINUE READING
12 Citations
13 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 13 references

In Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR)

  • Michael Bartholomew, Joohyung Lee. Stable models of formulas with intensional functions
  • pages 2–12,
  • 2012

Artificial Intelligence

  • Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz. Stable models, circumscription
  • 175:236–263,
  • 2011
4 Excerpts

Stable models and circumscription

  • M. Ostrowski, T. Schaub
  • Artificial Intelligence
  • 2011


  • Pedro Cabalar. Functional answer set programming
  • 11(2-3):203–233,
  • 2011
1 Excerpt

Similar Papers

Loading similar papers…