Matches in SemOpenAlex for { <https://semopenalex.org/work/W1924767599> ?p ?o ?g. }
- W1924767599 endingPage "654" @default.
- W1924767599 startingPage "637" @default.
- W1924767599 abstract "This paper reports on the Second Answer Set Programming Competition. The competitions in areas of Satisfiability checking, Pseudo-Boolean constraint solving and Quantified Boolean Formula evaluation have proven to be a strong driving force for a community to develop better performing systems. Following this experience, the Answer Set Programming competition series was set up in 2007, and ran as part of the International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR). This second competition, held in conjunction with LPNMR 2009, differed from the first one in two important ways. First, while the original competition was restricted to systems designed for the answer set programming language, the sequel was open to systems designed for other modeling languages, as well. Consequently, among the contestants of the second competition were a CLP(FD) team and three model generation systems for (extensions of) classical logic. Second, this latest competition covered not only satisfiability problems but also optimization ones. We present and discuss the set-up and the results of the competition." @default.
- W1924767599 created "2016-06-24" @default.
- W1924767599 creator A5006066772 @default.
- W1924767599 creator A5071976409 @default.
- W1924767599 creator A5079794036 @default.
- W1924767599 creator A5080540581 @default.
- W1924767599 creator A5090754913 @default.
- W1924767599 date "2009-01-01" @default.
- W1924767599 modified "2023-10-17" @default.
- W1924767599 title "The Second Answer Set Programming Competition" @default.
- W1924767599 cites W1509180139 @default.
- W1924767599 cites W1544722557 @default.
- W1924767599 cites W1606891084 @default.
- W1924767599 cites W1639901403 @default.
- W1924767599 cites W1876414968 @default.
- W1924767599 cites W2022846948 @default.
- W1924767599 cites W2048746006 @default.
- W1924767599 cites W2076698873 @default.
- W1924767599 cites W2152131859 @default.
- W1924767599 cites W2155322595 @default.
- W1924767599 cites W2165621549 @default.
- W1924767599 cites W2945259913 @default.
- W1924767599 doi "https://doi.org/10.1007/978-3-642-04238-6_75" @default.
- W1924767599 hasPublicationYear "2009" @default.
- W1924767599 type Work @default.
- W1924767599 sameAs 1924767599 @default.
- W1924767599 citedByCount "97" @default.
- W1924767599 countsByYear W19247675992012 @default.
- W1924767599 countsByYear W19247675992013 @default.
- W1924767599 countsByYear W19247675992014 @default.
- W1924767599 countsByYear W19247675992015 @default.
- W1924767599 countsByYear W19247675992016 @default.
- W1924767599 countsByYear W19247675992017 @default.
- W1924767599 countsByYear W19247675992018 @default.
- W1924767599 countsByYear W19247675992019 @default.
- W1924767599 countsByYear W19247675992023 @default.
- W1924767599 crossrefType "book-chapter" @default.
- W1924767599 hasAuthorship W1924767599A5006066772 @default.
- W1924767599 hasAuthorship W1924767599A5071976409 @default.
- W1924767599 hasAuthorship W1924767599A5079794036 @default.
- W1924767599 hasAuthorship W1924767599A5080540581 @default.
- W1924767599 hasAuthorship W1924767599A5090754913 @default.
- W1924767599 hasBestOaLocation W19247675992 @default.
- W1924767599 hasConcept C126255220 @default.
- W1924767599 hasConcept C128838566 @default.
- W1924767599 hasConcept C137631369 @default.
- W1924767599 hasConcept C154945302 @default.
- W1924767599 hasConcept C168773769 @default.
- W1924767599 hasConcept C173404611 @default.
- W1924767599 hasConcept C177264268 @default.
- W1924767599 hasConcept C182620335 @default.
- W1924767599 hasConcept C18903297 @default.
- W1924767599 hasConcept C199360897 @default.
- W1924767599 hasConcept C2987117450 @default.
- W1924767599 hasConcept C33923547 @default.
- W1924767599 hasConcept C41008148 @default.
- W1924767599 hasConcept C44616089 @default.
- W1924767599 hasConcept C49937458 @default.
- W1924767599 hasConcept C6943359 @default.
- W1924767599 hasConcept C80444323 @default.
- W1924767599 hasConcept C86803240 @default.
- W1924767599 hasConcept C91306197 @default.
- W1924767599 hasConceptScore W1924767599C126255220 @default.
- W1924767599 hasConceptScore W1924767599C128838566 @default.
- W1924767599 hasConceptScore W1924767599C137631369 @default.
- W1924767599 hasConceptScore W1924767599C154945302 @default.
- W1924767599 hasConceptScore W1924767599C168773769 @default.
- W1924767599 hasConceptScore W1924767599C173404611 @default.
- W1924767599 hasConceptScore W1924767599C177264268 @default.
- W1924767599 hasConceptScore W1924767599C182620335 @default.
- W1924767599 hasConceptScore W1924767599C18903297 @default.
- W1924767599 hasConceptScore W1924767599C199360897 @default.
- W1924767599 hasConceptScore W1924767599C2987117450 @default.
- W1924767599 hasConceptScore W1924767599C33923547 @default.
- W1924767599 hasConceptScore W1924767599C41008148 @default.
- W1924767599 hasConceptScore W1924767599C44616089 @default.
- W1924767599 hasConceptScore W1924767599C49937458 @default.
- W1924767599 hasConceptScore W1924767599C6943359 @default.
- W1924767599 hasConceptScore W1924767599C80444323 @default.
- W1924767599 hasConceptScore W1924767599C86803240 @default.
- W1924767599 hasConceptScore W1924767599C91306197 @default.
- W1924767599 hasLocation W19247675991 @default.
- W1924767599 hasLocation W19247675992 @default.
- W1924767599 hasOpenAccess W1924767599 @default.
- W1924767599 hasPrimaryLocation W19247675991 @default.
- W1924767599 hasRelatedWork W1169406866 @default.
- W1924767599 hasRelatedWork W1486916474 @default.
- W1924767599 hasRelatedWork W1496100162 @default.
- W1924767599 hasRelatedWork W1514298554 @default.
- W1924767599 hasRelatedWork W2097415053 @default.
- W1924767599 hasRelatedWork W2120647900 @default.
- W1924767599 hasRelatedWork W2131721673 @default.
- W1924767599 hasRelatedWork W4298442682 @default.
- W1924767599 hasRelatedWork W4303044088 @default.
- W1924767599 hasRelatedWork W1531664660 @default.
- W1924767599 isParatext "false" @default.
- W1924767599 isRetracted "false" @default.
- W1924767599 magId "1924767599" @default.