Регистрация | Вход в службу | FAQ      [?] 

Ключевое слово answer-set-programming [15 articles]

Recent papers classified by the tag answer-set-programming.
  • Answer Sets for Consistent Query Answering in Inconsistent Databases
    (2002)
    by M Arenas, L Bertossi, J Chomicki
    posted to answer-set-programming inconsistency querying question-answering by Scis0000002 on 2007-07-26 10:12:43 as ** along with 1 person baisemain
  • The Stable Model Semantics for Logic Programming
    (1988), pp. 1070-1080.
    by Michael Gelfond, Vladimir Lifschitz
    edited by Robert A Kowalski, Kenneth Bowen
    posted to stable-model answer-set-programming logic-programming by baisemain on 2007-11-01 17:48:31 as ** along with 1 person bfraser
  • Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming
    (2002)
    by Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
    posted to asp dlv meta-interpretation metaprogrammierung preference answer-set-programming by baisemain on 2008-07-15 10:49:19 as ****
  • The A-POL System
    (2003), 78.
    by Mauricio Osorio, Enrique Corona
    posted to a-pol logic-programming answer-set-programming by baisemain on 2007-11-01 17:42:04 as ***
  • Preferences in Answer Set Programming
    Current Topics in Artificial Intelligence (2006), pp. 1-10.
    by Gerhard Brewka
    posted to preference answer-set-programming by baisemain on 2007-12-20 11:57:57 as **
  • Strong order equivalence
    Annals of Mathematics and Artificial Intelligence, Vol. 47, No. 1-2. (June 2006), pp. 43-78.
    by Wolfgang Faber, Kathrin Konczak
    posted to preference answer-set-programming by baisemain on 2008-07-02 18:42:24 as **
  • Extending the Smodels System with Cardinality and Weight Constraints
    (2000), pp. 491-521.
    by Ilkka Niemelä, Patrik Simons
    edited by Jack Minker
    posted to cardinality smodels weight-constraint answer-set-programming by baisemain on 2007-05-15 18:22:23 as **
  • Łukaszewicz-style answer set programming: A preliminary report
    (2003)
    by JP Delgrande, M Gharib, RE Mercer, V Risch, T Schaub
    posted to answer-set-programming by baisemain on 2008-07-24 13:57:33 as **
  • Preferred Answer Sets for Ordered Logic Programs
    Logics in Artificial Intelligence (2002), pp. 432-443.
    by Davy Van Nieuwenborgh, Dirk Vermeir
    posted to preference answer-set-programming by baisemain on 2007-12-20 12:45:30 as **
  • Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs
    (2002)
    by Gerhard Brewka, Ilkka Niemelä, T Syrjanen
    posted to lpod smodels ordered-disjunction answer-set-programming by baisemain on 2007-10-18 10:41:35 as ***
  • Answer set optimization
    (2003)
    by Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski
    posted to answer-set-optimization answer-set-programming by baisemain on 2007-10-15 17:46:01 as ***
  • Answer Set Programming with Templates
    (2004), pp. 233-239.
    by Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria C Santoro, Francesco Calimeri
    posted to answer-set-programming template by baisemain on 2008-07-24 14:22:31 as **
  • Answer set programming and plan generation
    Artificial Intelligence, Vol. 138, No. 1-2. (2002), pp. 39-54.
    by Vladimir Lifschitz
    posted to answer-set-programming by baisemain on 2007-05-15 18:26:53 as ** along with 1 person stavros
  • Answer Set Planning
    (1999), pp. 23-37.
    by Vladimir Lifschitz
    posted to answer-set-programming planning by baisemain on 2008-07-24 14:21:42 as **
  • Complex Preferences for Answer Set Optimization
    (2004), pp. 213-223.
    by Gerhard Brewka
    posted to preference preference_description_language answer-set-optimization answer-set-programming by baisemain on 2007-12-20 10:26:53 as **
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/tag/answer-set-programming

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.