Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Truszczynski, Mirek"'
Answer Set Programming with Quantifiers (ASP(Q)) has been introduced to provide a natural extension of ASP modeling to problems in the polynomial hierarchy (PH). However, ASP(Q) lacks a method for encoding in an elegant and compact way problems requi
Externí odkaz:
http://arxiv.org/abs/2408.07697
Publikováno v:
Theory and Practice of Logic Programming 19 (2019) 705-721
Answer Set Programming (ASP) is a logic programming paradigm featuring a purely declarative language with comparatively high modeling capabilities. Indeed, ASP can model problems in NP in a compact and elegant way. However, modeling problems beyond N
Externí odkaz:
http://arxiv.org/abs/1907.09559
Publikováno v:
Logic Programming and Nonmonotonic Reasoning ISBN: 9783319232638
LPNMR
LPNMR
We develop an abstract theory of justifications suitable for describing the semantics of a range of logics in knowledge representation, computational and mathematical logic. A theory or program in one of these logics induces a semantical structure ca
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0aee853582158670690c8f463cfbcae0
https://doi.org/10.1007/978-3-319-23264-5_22
https://doi.org/10.1007/978-3-319-23264-5_22
In program development it is useful to know that a call to a Prolog program will not inadvertently leave a choice-point on the stack. Determinacy inference has been proposed for solving this problem yet the analysis was found to be wanting in that it
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::e3c20d3d08a53a49e0f22498b8bd09bf
https://kar.kent.ac.uk/37598/1/content.pdf
https://kar.kent.ac.uk/37598/1/content.pdf
A description in the Jacobs and Langen domain is a set of sharing groups where each sharing group is a set of program variables. The presence of a sharing group in a description indicates that all the variables in the group can be bound to terms that
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::cf70927e6ae96d15521c4656b919ee4b
https://kar.kent.ac.uk/37601/1/content.pdf
https://kar.kent.ac.uk/37601/1/content.pdf