Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950836901> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2950836901 abstract "Answer set programming (ASP) is a form of declarative programming that allows to succinctly formulate and efficiently solve complex problems. An intuitive extension of this formalism is communicating ASP, in which multiple ASP programs collaborate to solve the problem at hand. However, the expressiveness of communicating ASP has not been thoroughly studied. In this paper, we present a systematic study of the additional expressiveness offered by allowing ASP programs to communicate. First, we consider a simple form of communication where programs are only allowed to ask questions to each other. For the most part, we deliberately only consider simple programs, i.e. programs for which computing the answer sets is in P. We find that the problem of deciding whether a literal is in some answer set of a communicating ASP program using simple communication is NP-hard. In other words: we move up a step in the polynomial hierarchy due to the ability of these simple ASP programs to communicate and collaborate. Second, we modify the communication mechanism to also allow us to focus on a sequence of communicating programs, where each program in the sequence may successively remove some of the remaining models. This mimics a network of leaders, where the first leader has the first say and may remove models that he or she finds unsatisfactory. Using this particular communication mechanism allows us to capture the entire polynomial hierarchy. This means, in particular, that communicating ASP could be used to solve problems that are above the second level of the polynomial hierarchy, such as some forms of abductive reasoning as well as PSPACE-complete problems such as STRIPS planning." @default.
- W2950836901 created "2019-06-27" @default.
- W2950836901 creator A5009887598 @default.
- W2950836901 creator A5020963318 @default.
- W2950836901 creator A5056749857 @default.
- W2950836901 creator A5076673278 @default.
- W2950836901 creator A5085575523 @default.
- W2950836901 date "2011-09-12" @default.
- W2950836901 modified "2023-09-23" @default.
- W2950836901 title "Expressiveness of Communication in Answer Set Programming" @default.
- W2950836901 cites W145741789 @default.
- W2950836901 cites W1511906506 @default.
- W2950836901 cites W1517308792 @default.
- W2950836901 cites W1548232718 @default.
- W2950836901 cites W1565655376 @default.
- W2950836901 cites W1568496597 @default.
- W2950836901 cites W1606891084 @default.
- W2950836901 cites W20278294 @default.
- W2950836901 cites W2061146398 @default.
- W2950836901 cites W2171432826 @default.
- W2950836901 cites W2953304957 @default.
- W2950836901 cites W58578906 @default.
- W2950836901 cites W89175885 @default.
- W2950836901 doi "https://doi.org/10.48550/arxiv.1109.2434" @default.
- W2950836901 hasPublicationYear "2011" @default.
- W2950836901 type Work @default.
- W2950836901 sameAs 2950836901 @default.
- W2950836901 citedByCount "0" @default.
- W2950836901 crossrefType "posted-content" @default.
- W2950836901 hasAuthorship W2950836901A5009887598 @default.
- W2950836901 hasAuthorship W2950836901A5020963318 @default.
- W2950836901 hasAuthorship W2950836901A5056749857 @default.
- W2950836901 hasAuthorship W2950836901A5076673278 @default.
- W2950836901 hasAuthorship W2950836901A5085575523 @default.
- W2950836901 hasBestOaLocation W29508369011 @default.
- W2950836901 hasConcept C111472728 @default.
- W2950836901 hasConcept C120665830 @default.
- W2950836901 hasConcept C121332964 @default.
- W2950836901 hasConcept C136264566 @default.
- W2950836901 hasConcept C138885662 @default.
- W2950836901 hasConcept C162324750 @default.
- W2950836901 hasConcept C177264268 @default.
- W2950836901 hasConcept C182620335 @default.
- W2950836901 hasConcept C192209626 @default.
- W2950836901 hasConcept C199360897 @default.
- W2950836901 hasConcept C2778112365 @default.
- W2950836901 hasConcept C2780586882 @default.
- W2950836901 hasConcept C2780882242 @default.
- W2950836901 hasConcept C31170391 @default.
- W2950836901 hasConcept C34447519 @default.
- W2950836901 hasConcept C41008148 @default.
- W2950836901 hasConcept C54355233 @default.
- W2950836901 hasConcept C80444323 @default.
- W2950836901 hasConcept C86803240 @default.
- W2950836901 hasConcept C90329073 @default.
- W2950836901 hasConceptScore W2950836901C111472728 @default.
- W2950836901 hasConceptScore W2950836901C120665830 @default.
- W2950836901 hasConceptScore W2950836901C121332964 @default.
- W2950836901 hasConceptScore W2950836901C136264566 @default.
- W2950836901 hasConceptScore W2950836901C138885662 @default.
- W2950836901 hasConceptScore W2950836901C162324750 @default.
- W2950836901 hasConceptScore W2950836901C177264268 @default.
- W2950836901 hasConceptScore W2950836901C182620335 @default.
- W2950836901 hasConceptScore W2950836901C192209626 @default.
- W2950836901 hasConceptScore W2950836901C199360897 @default.
- W2950836901 hasConceptScore W2950836901C2778112365 @default.
- W2950836901 hasConceptScore W2950836901C2780586882 @default.
- W2950836901 hasConceptScore W2950836901C2780882242 @default.
- W2950836901 hasConceptScore W2950836901C31170391 @default.
- W2950836901 hasConceptScore W2950836901C34447519 @default.
- W2950836901 hasConceptScore W2950836901C41008148 @default.
- W2950836901 hasConceptScore W2950836901C54355233 @default.
- W2950836901 hasConceptScore W2950836901C80444323 @default.
- W2950836901 hasConceptScore W2950836901C86803240 @default.
- W2950836901 hasConceptScore W2950836901C90329073 @default.
- W2950836901 hasLocation W29508369011 @default.
- W2950836901 hasLocation W29508369012 @default.
- W2950836901 hasLocation W29508369013 @default.
- W2950836901 hasLocation W29508369014 @default.
- W2950836901 hasOpenAccess W2950836901 @default.
- W2950836901 hasPrimaryLocation W29508369011 @default.
- W2950836901 hasRelatedWork W1526476951 @default.
- W2950836901 hasRelatedWork W2098382610 @default.
- W2950836901 hasRelatedWork W2171836055 @default.
- W2950836901 hasRelatedWork W2898772359 @default.
- W2950836901 hasRelatedWork W2951579968 @default.
- W2950836901 hasRelatedWork W3101458312 @default.
- W2950836901 hasRelatedWork W3142377258 @default.
- W2950836901 hasRelatedWork W3200411040 @default.
- W2950836901 hasRelatedWork W4297582104 @default.
- W2950836901 hasRelatedWork W4298081562 @default.
- W2950836901 isParatext "false" @default.
- W2950836901 isRetracted "false" @default.
- W2950836901 magId "2950836901" @default.
- W2950836901 workType "article" @default.