2026-07-24T01:45:27Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:3184 2024-03-06T10:33:56Z ddc:004 open_access

Extensions of Answer Set Programming Brik, Alex Answer set programming This paper describes a doctoral research in three areas: Hybrid ASP - an extension of Answer Set Programming for reasoning about dynamical systems, an extension of Set Constraint atoms for reasoning about preferences, computing stable models of logic programs using Metropolis type algorithms. The paper discusses a possible application of all three areas to the problem of maximizing total expected reward. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Alex Brik 2011 Is Part Of LIPIcs, Volume 11, Technical Communications of the 27th International Conference on Logic Programming (ICLP'11) (2011) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ICLP.2011.261 urn:nbn:de:0030-drops-31846 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2011.261 eng https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode