Matches in SemOpenAlex for { <https://semopenalex.org/work/W1507678681> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W1507678681 abstract "Answer Set Programming (ASP; [1,2,3,4]) is a declarative problem solving approach, combining a rich yet simple modeling language with high-performance solving capacities. ASP is particularly suited for modeling problems in the area of Knowledge Representation and Reasoning involving incomplete, inconsistent, and changing information. From a formal perspective, ASP allows for solving all search problems in NP (and NPNP) in a uniform way (being more compact than SAT). Applications of ASP include automatic synthesis of multiprocessor systems, decision support systems for NASA shuttle controllers, reasoning tools in systems biology, and many more. The versatility of ASP is also reflected by the ASP solver clasp [5,6,7], developed at the University of Potsdam, and winning first places at ASP'09, PB'09, and SAT'09.The talk will give an overview about ASP, its modeling language, solving methodology, and portray some of its applications." @default.
- W1507678681 created "2016-06-24" @default.
- W1507678681 creator A5058467603 @default.
- W1507678681 date "2010-01-01" @default.
- W1507678681 modified "2023-09-26" @default.
- W1507678681 title "Answer Set Programming, the Solving Paradigm for Knowledge Representation and Reasoning" @default.
- W1507678681 cites W1520085989 @default.
- W1507678681 cites W1606891084 @default.
- W1507678681 cites W1721757222 @default.
- W1507678681 cites W2152131859 @default.
- W1507678681 doi "https://doi.org/10.1007/978-3-642-15951-0_2" @default.
- W1507678681 hasPublicationYear "2010" @default.
- W1507678681 type Work @default.
- W1507678681 sameAs 1507678681 @default.
- W1507678681 citedByCount "0" @default.
- W1507678681 crossrefType "book-chapter" @default.
- W1507678681 hasAuthorship W1507678681A5058467603 @default.
- W1507678681 hasConcept C115903868 @default.
- W1507678681 hasConcept C12713177 @default.
- W1507678681 hasConcept C154945302 @default.
- W1507678681 hasConcept C161301231 @default.
- W1507678681 hasConcept C177264268 @default.
- W1507678681 hasConcept C17744445 @default.
- W1507678681 hasConcept C182620335 @default.
- W1507678681 hasConcept C199360897 @default.
- W1507678681 hasConcept C199539241 @default.
- W1507678681 hasConcept C2776359362 @default.
- W1507678681 hasConcept C2778770139 @default.
- W1507678681 hasConcept C3019612716 @default.
- W1507678681 hasConcept C41008148 @default.
- W1507678681 hasConcept C80444323 @default.
- W1507678681 hasConcept C94625758 @default.
- W1507678681 hasConceptScore W1507678681C115903868 @default.
- W1507678681 hasConceptScore W1507678681C12713177 @default.
- W1507678681 hasConceptScore W1507678681C154945302 @default.
- W1507678681 hasConceptScore W1507678681C161301231 @default.
- W1507678681 hasConceptScore W1507678681C177264268 @default.
- W1507678681 hasConceptScore W1507678681C17744445 @default.
- W1507678681 hasConceptScore W1507678681C182620335 @default.
- W1507678681 hasConceptScore W1507678681C199360897 @default.
- W1507678681 hasConceptScore W1507678681C199539241 @default.
- W1507678681 hasConceptScore W1507678681C2776359362 @default.
- W1507678681 hasConceptScore W1507678681C2778770139 @default.
- W1507678681 hasConceptScore W1507678681C3019612716 @default.
- W1507678681 hasConceptScore W1507678681C41008148 @default.
- W1507678681 hasConceptScore W1507678681C80444323 @default.
- W1507678681 hasConceptScore W1507678681C94625758 @default.
- W1507678681 hasLocation W15076786811 @default.
- W1507678681 hasOpenAccess W1507678681 @default.
- W1507678681 hasPrimaryLocation W15076786811 @default.
- W1507678681 hasRelatedWork W1523080949 @default.
- W1507678681 hasRelatedWork W1529147315 @default.
- W1507678681 hasRelatedWork W1580791651 @default.
- W1507678681 hasRelatedWork W1704852545 @default.
- W1507678681 hasRelatedWork W1899467942 @default.
- W1507678681 hasRelatedWork W2032560235 @default.
- W1507678681 hasRelatedWork W2049791401 @default.
- W1507678681 hasRelatedWork W2116358634 @default.
- W1507678681 hasRelatedWork W2119430531 @default.
- W1507678681 hasRelatedWork W2120552871 @default.
- W1507678681 hasRelatedWork W2153462460 @default.
- W1507678681 hasRelatedWork W2176168096 @default.
- W1507678681 hasRelatedWork W2939089283 @default.
- W1507678681 hasRelatedWork W3089025074 @default.
- W1507678681 hasRelatedWork W3102747178 @default.
- W1507678681 hasRelatedWork W3155306957 @default.
- W1507678681 hasRelatedWork W3205502187 @default.
- W1507678681 hasRelatedWork W561688239 @default.
- W1507678681 hasRelatedWork W1544328856 @default.
- W1507678681 hasRelatedWork W2350301628 @default.
- W1507678681 isParatext "false" @default.
- W1507678681 isRetracted "false" @default.
- W1507678681 magId "1507678681" @default.
- W1507678681 workType "book-chapter" @default.