Skip to main content
×
Home
    • Aa
    • Aa
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 16
  • Cited by
    This article has been cited by the following publications. This list is generated based on data provided by CrossRef.

    Amendola, Giovanni Eiter, Thomas Fink, Michael Leone, Nicola and Moura, João 2016. Semi-equilibrium models for paracoherent answer set programs. Artificial Intelligence, Vol. 234, p. 219.


    Abseher, Michael Bliem, Bernhard Charwat, Günther Dusberger, Frederico and Woltran, Stefan 2015. Computing secure sets in graphs using answer set programming. Journal of Logic and Computation, p. exv060.


    Lierler, Yuliya 2014. Relating constraint answer set programming languages and algorithms. Artificial Intelligence, Vol. 207, p. 1.


    EITER, THOMAS ERDEM, ESRA ERDOGAN, HALIT and FINK, MICHAEL 2013. Finding similar/diverse solutions in answer set programming. Theory and Practice of Logic Programming, Vol. 13, Issue. 03, p. 303.


    LIU, GUOHUA and YOU, JIA-HUAI 2013. Relating weight constraint and aggregate programs: Semantics and representation. Theory and Practice of Logic Programming, Vol. 13, Issue. 01, p. 1.


    Pearce, D. and Valverde, A. 2012. Synonymous theories and knowledge representations in answer set programming. Journal of Computer and System Sciences, Vol. 78, Issue. 1, p. 86.


    Cakmak, Duygu Erdem, Esra and Erdogan, Halit 2011. Computing weighted solutions in ASP: representation-based method vs. search-based method. Annals of Mathematics and Artificial Intelligence, Vol. 62, Issue. 3-4, p. 219.


    Faber, Wolfgang Pfeifer, Gerald and Leone, Nicola 2011. Semantics and complexity of recursive aggregates in answer set programming. Artificial Intelligence, Vol. 175, Issue. 1, p. 278.


    Truszczyński, Miroslaw 2010. Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs. Artificial Intelligence, Vol. 174, Issue. 16-17, p. 1285.


    Wang, Yisong You, Jia-Huai Lin, Fangzhen Yuan, Li Yan and Zhang, Mingyi 2010. Weight constraint programs with evaluable functions. Annals of Mathematics and Artificial Intelligence, Vol. 60, Issue. 3-4, p. 341.


    BARAL, CHITTA GELFOND, MICHAEL and RUSHTON, NELSON 2009. Probabilistic reasoning with answer sets. Theory and Practice of Logic Programming, Vol. 9, Issue. 01, p. 57.


    Gelfond, Michael 2008. Handbook of Knowledge Representation.


    OIKARINEN, EMILIA and JANHUNEN, TOMI 2008. Achieving compositionality of the stable model semantics for smodels programs. Theory and Practice of Logic Programming, Vol. 8, Issue. 5-6, p. 717.


    Brooks, Daniel R. Erdem, Esra Erdoğan, Selim T. Minett, James W. and Ringe, Don 2007. Inferring Phylogenetic Trees Using Answer Set Programming. Journal of Automated Reasoning, Vol. 39, Issue. 4, p. 471.


    Giunchiglia, Enrico Lierler, Yuliya and Maratea, Marco 2007. Answer Set Programming Based on Propositional Satisfiability. Journal of Automated Reasoning, Vol. 36, Issue. 4, p. 345.


    Pearce, David 2006. Equilibrium logic. Annals of Mathematics and Artificial Intelligence, Vol. 47, Issue. 1-2, p. 3.


    ×

Weight constraints as nested expressions

  • PAOLO FERRARIS (a1) and VLADIMIR LIFSCHITZ (a1)
  • DOI: http://dx.doi.org/10.1017/S1471068403001923
  • Published online: 01 January 2005
Abstract

We compare two recent extensions of the answer set (stable model) semantics of logic programs. One of them, due to Lifschitz, Tang and Turner, allows the bodies and heads of rules to contain nested expressions. The other, due to Niemelä and Simons, uses weight constraints. We show that there is a simple, modular translation from the language of weight constraints into the language of nested expressions that preserves the program's answer sets. Nested expressions can be eliminated from the result of this translation in favor of additional atoms. The translation makes it possible to compute answer sets for some programs with weight constraints using satisfiability solvers, and to prove the strong equivalence of programs with weight constraints using the logic of here-and-there.

Copyright
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Theory and Practice of Logic Programming
  • ISSN: 1471-0684
  • EISSN: 1475-3081
  • URL: /core/journals/theory-and-practice-of-logic-programming
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Keywords: