Matches in SemOpenAlex for { <https://semopenalex.org/work/W1970330818> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W1970330818 endingPage "394" @default.
- W1970330818 startingPage "361" @default.
- W1970330818 abstract "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 consider only 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, due to the ability of these simple ASP programs to communicate and collaborate, we move up a step in the polynomial hierarchy. 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 polynomial hierarchy, such as some forms of abductive reasoning as well as PSPACE-complete problems such as STRIPS planning." @default.
- W1970330818 created "2016-06-24" @default.
- W1970330818 creator A5009887598 @default.
- W1970330818 creator A5020963318 @default.
- W1970330818 creator A5056749857 @default.
- W1970330818 creator A5076673278 @default.
- W1970330818 creator A5085575523 @default.
- W1970330818 date "2011-11-01" @default.
- W1970330818 modified "2023-10-09" @default.
- W1970330818 title "Expressiveness of communication in answer set programming" @default.
- W1970330818 cites W1577827016 @default.
- W1970330818 cites W1606891084 @default.
- W1970330818 cites W1694306392 @default.
- W1970330818 cites W2023858465 @default.
- W1970330818 cites W2046213250 @default.
- W1970330818 cites W2057858426 @default.
- W1970330818 cites W2061146398 @default.
- W1970330818 cites W2076698873 @default.
- W1970330818 cites W2092211394 @default.
- W1970330818 cites W2100657934 @default.
- W1970330818 cites W2100983017 @default.
- W1970330818 doi "https://doi.org/10.1017/s1471068411000561" @default.
- W1970330818 hasPublicationYear "2011" @default.
- W1970330818 type Work @default.
- W1970330818 sameAs 1970330818 @default.
- W1970330818 citedByCount "1" @default.
- W1970330818 countsByYear W19703308182018 @default.
- W1970330818 crossrefType "journal-article" @default.
- W1970330818 hasAuthorship W1970330818A5009887598 @default.
- W1970330818 hasAuthorship W1970330818A5020963318 @default.
- W1970330818 hasAuthorship W1970330818A5056749857 @default.
- W1970330818 hasAuthorship W1970330818A5076673278 @default.
- W1970330818 hasAuthorship W1970330818A5085575523 @default.
- W1970330818 hasBestOaLocation W19703308182 @default.
- W1970330818 hasConcept C111472728 @default.
- W1970330818 hasConcept C120665830 @default.
- W1970330818 hasConcept C121332964 @default.
- W1970330818 hasConcept C136264566 @default.
- W1970330818 hasConcept C138885662 @default.
- W1970330818 hasConcept C162324750 @default.
- W1970330818 hasConcept C177264268 @default.
- W1970330818 hasConcept C182620335 @default.
- W1970330818 hasConcept C192209626 @default.
- W1970330818 hasConcept C199360897 @default.
- W1970330818 hasConcept C2778112365 @default.
- W1970330818 hasConcept C2780586882 @default.
- W1970330818 hasConcept C2780882242 @default.
- W1970330818 hasConcept C31170391 @default.
- W1970330818 hasConcept C34447519 @default.
- W1970330818 hasConcept C41008148 @default.
- W1970330818 hasConcept C54355233 @default.
- W1970330818 hasConcept C80444323 @default.
- W1970330818 hasConcept C86803240 @default.
- W1970330818 hasConcept C90329073 @default.
- W1970330818 hasConceptScore W1970330818C111472728 @default.
- W1970330818 hasConceptScore W1970330818C120665830 @default.
- W1970330818 hasConceptScore W1970330818C121332964 @default.
- W1970330818 hasConceptScore W1970330818C136264566 @default.
- W1970330818 hasConceptScore W1970330818C138885662 @default.
- W1970330818 hasConceptScore W1970330818C162324750 @default.
- W1970330818 hasConceptScore W1970330818C177264268 @default.
- W1970330818 hasConceptScore W1970330818C182620335 @default.
- W1970330818 hasConceptScore W1970330818C192209626 @default.
- W1970330818 hasConceptScore W1970330818C199360897 @default.
- W1970330818 hasConceptScore W1970330818C2778112365 @default.
- W1970330818 hasConceptScore W1970330818C2780586882 @default.
- W1970330818 hasConceptScore W1970330818C2780882242 @default.
- W1970330818 hasConceptScore W1970330818C31170391 @default.
- W1970330818 hasConceptScore W1970330818C34447519 @default.
- W1970330818 hasConceptScore W1970330818C41008148 @default.
- W1970330818 hasConceptScore W1970330818C54355233 @default.
- W1970330818 hasConceptScore W1970330818C80444323 @default.
- W1970330818 hasConceptScore W1970330818C86803240 @default.
- W1970330818 hasConceptScore W1970330818C90329073 @default.
- W1970330818 hasIssue "3" @default.
- W1970330818 hasLocation W19703308181 @default.
- W1970330818 hasLocation W19703308182 @default.
- W1970330818 hasLocation W19703308183 @default.
- W1970330818 hasLocation W19703308184 @default.
- W1970330818 hasLocation W19703308185 @default.
- W1970330818 hasOpenAccess W1970330818 @default.
- W1970330818 hasPrimaryLocation W19703308181 @default.
- W1970330818 hasRelatedWork W156769215 @default.
- W1970330818 hasRelatedWork W1570348318 @default.
- W1970330818 hasRelatedWork W2015444353 @default.
- W1970330818 hasRelatedWork W2079547420 @default.
- W1970330818 hasRelatedWork W2102726926 @default.
- W1970330818 hasRelatedWork W2168627904 @default.
- W1970330818 hasRelatedWork W2353470215 @default.
- W1970330818 hasRelatedWork W2354228963 @default.
- W1970330818 hasRelatedWork W2368065130 @default.
- W1970330818 hasRelatedWork W3013494979 @default.
- W1970330818 hasVolume "13" @default.
- W1970330818 isParatext "false" @default.
- W1970330818 isRetracted "false" @default.
- W1970330818 magId "1970330818" @default.
- W1970330818 workType "article" @default.