dc.contributor.author | Dimopoulos, Yannis | en |
dc.contributor.author | Sideris, A. | en |
dc.creator | Dimopoulos, Yannis | en |
dc.creator | Sideris, A. | en |
dc.date.accessioned | 2019-11-13T10:39:56Z | |
dc.date.available | 2019-11-13T10:39:56Z | |
dc.date.issued | 2002 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/53875 | |
dc.description.abstract | Answer set programming has emerged as a new important paradigm for declarative problem solving. It relies on algorithms that compute the stable models of a logic program, a problem that is, in the worst-case, intractable. Although, local search procedures have been successfully applied to a variety of hard computational problems, the idea of employing such procedures in answer set programming has received very limited attention. This paper presents several local search algorithms for computing the stable models of a normal logic program. They are all based on the notion of a conflict set, but use it in different ways, resulting in different computational behaviors. The algorithms are inspired from related work in solving propositional satisfiability problems, suitably adapted to the stable model semantics. The paper also discusses how the heuristic equivalence method, that has been proposed in the context of propositional satisfiability, can be used in systematic search procedures that compute the stable models of logic programs. © Springer-Verlag Berlin Heidelberg 2002. | en |
dc.source | 18th International Conference on Logic Programming, ICLP 2002 | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84888252417&partnerID=40&md5=f7a8592e1845202571db261eb00b7a60 | |
dc.subject | Problem solving | en |
dc.subject | Computer programming | en |
dc.subject | Algorithms | en |
dc.subject | Heuristic programming | en |
dc.subject | Semantics | en |
dc.subject | Computation theory | en |
dc.subject | Heuristic methods | en |
dc.subject | Computer circuits | en |
dc.subject | Reconfigurable hardware | en |
dc.subject | Logic programming | en |
dc.subject | Formal logic | en |
dc.subject | Propositional satisfiability | en |
dc.subject | Stable model semantics | en |
dc.subject | Answer set programming | en |
dc.subject | Declarative problem solving | en |
dc.subject | Hard computational problem | en |
dc.subject | Local search (optimization) | en |
dc.subject | Local search algorithm | en |
dc.subject | Propositional satisfiability problems | en |
dc.subject | Systematic searches | en |
dc.title | Towards local search for answer sets | en |
dc.type | info:eu-repo/semantics/article | |
dc.description.volume | 2401 LNCS | en |
dc.description.startingpage | 363 | |
dc.description.endingpage | 377 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Article | en |
dc.description.notes | <p>Sponsors: IF Computer GmbH | en |
dc.description.notes | Association of Logic Programming | en |
dc.description.notes | Federated Logic Conference (FLoC02) | en |
dc.description.notes | University of Copenhagen | en |
dc.description.notes | Conference code: 101002 | en |
dc.description.notes | Cited By :1</p> | en |
dc.source.abbreviation | Lect. Notes Comput. Sci. | en |
dc.contributor.orcid | Dimopoulos, Yannis [0000-0001-9583-9754] | |
dc.gnosis.orcid | 0000-0001-9583-9754 | |