Matches in SemOpenAlex for { <https://semopenalex.org/work/W2404001454> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2404001454 abstract "Answer Set Programming (ASP) has emerged in the recent years as a powerful paradigm for declarative problem solving, which has its roots in knowledge representation and non-monotonic logic programming. Similar to SAT solving, the basic idea is to encode solutions to a problem in the models of a non-monotonic logic program, which can be computed by reasoning engines off the shelf. ASP is particularly well-suited for modeling and solving problems which involve common sense reasoning or transitive closure, and has been fruitfully applied to a growing range of applications. Among the latter are also problems in testing and verfication, for which efficient core fragments of ASP that embrace Datalog haven been exploited. This talk gives a brief introduction to ASP, covering the basic concepts, some of its properties and features, and solvers. It further addresses some applications in the context of verification and recent developments in ASP, which bring evaluation closer to other formalisms and logics." @default.
- W2404001454 created "2016-06-24" @default.
- W2404001454 creator A5082178480 @default.
- W2404001454 date "2018-01-23" @default.
- W2404001454 modified "2023-09-23" @default.
- W2404001454 title "Answer Set Programming in a Nutshell" @default.
- W2404001454 cites W1501758783 @default.
- W2404001454 cites W1511336005 @default.
- W2404001454 cites W1557663601 @default.
- W2404001454 cites W1584248945 @default.
- W2404001454 cites W1639901403 @default.
- W2404001454 cites W1672891595 @default.
- W2404001454 cites W1968513265 @default.
- W2404001454 cites W1976055110 @default.
- W2404001454 cites W1985274317 @default.
- W2404001454 cites W1992673035 @default.
- W2404001454 cites W2005465900 @default.
- W2404001454 cites W2076698873 @default.
- W2404001454 cites W2092211394 @default.
- W2404001454 cites W2096472861 @default.
- W2404001454 cites W2106354297 @default.
- W2404001454 cites W2108736148 @default.
- W2404001454 cites W2141407569 @default.
- W2404001454 cites W2154996176 @default.
- W2404001454 cites W2611318084 @default.
- W2404001454 doi "https://doi.org/10.29007/tmt3" @default.
- W2404001454 hasPublicationYear "2018" @default.
- W2404001454 type Work @default.
- W2404001454 sameAs 2404001454 @default.
- W2404001454 citedByCount "1" @default.
- W2404001454 crossrefType "proceedings-article" @default.
- W2404001454 hasAuthorship W2404001454A5082178480 @default.
- W2404001454 hasBestOaLocation W24040014541 @default.
- W2404001454 hasConcept C102993220 @default.
- W2404001454 hasConcept C114614502 @default.
- W2404001454 hasConcept C128838566 @default.
- W2404001454 hasConcept C128896722 @default.
- W2404001454 hasConcept C148230440 @default.
- W2404001454 hasConcept C151730666 @default.
- W2404001454 hasConcept C154945302 @default.
- W2404001454 hasConcept C159032336 @default.
- W2404001454 hasConcept C161301231 @default.
- W2404001454 hasConcept C171018156 @default.
- W2404001454 hasConcept C177264268 @default.
- W2404001454 hasConcept C182620335 @default.
- W2404001454 hasConcept C199360897 @default.
- W2404001454 hasConcept C2524010 @default.
- W2404001454 hasConcept C2779343474 @default.
- W2404001454 hasConcept C33923547 @default.
- W2404001454 hasConcept C41008148 @default.
- W2404001454 hasConcept C80444323 @default.
- W2404001454 hasConcept C86803240 @default.
- W2404001454 hasConceptScore W2404001454C102993220 @default.
- W2404001454 hasConceptScore W2404001454C114614502 @default.
- W2404001454 hasConceptScore W2404001454C128838566 @default.
- W2404001454 hasConceptScore W2404001454C128896722 @default.
- W2404001454 hasConceptScore W2404001454C148230440 @default.
- W2404001454 hasConceptScore W2404001454C151730666 @default.
- W2404001454 hasConceptScore W2404001454C154945302 @default.
- W2404001454 hasConceptScore W2404001454C159032336 @default.
- W2404001454 hasConceptScore W2404001454C161301231 @default.
- W2404001454 hasConceptScore W2404001454C171018156 @default.
- W2404001454 hasConceptScore W2404001454C177264268 @default.
- W2404001454 hasConceptScore W2404001454C182620335 @default.
- W2404001454 hasConceptScore W2404001454C199360897 @default.
- W2404001454 hasConceptScore W2404001454C2524010 @default.
- W2404001454 hasConceptScore W2404001454C2779343474 @default.
- W2404001454 hasConceptScore W2404001454C33923547 @default.
- W2404001454 hasConceptScore W2404001454C41008148 @default.
- W2404001454 hasConceptScore W2404001454C80444323 @default.
- W2404001454 hasConceptScore W2404001454C86803240 @default.
- W2404001454 hasLocation W24040014541 @default.
- W2404001454 hasOpenAccess W2404001454 @default.
- W2404001454 hasPrimaryLocation W24040014541 @default.
- W2404001454 hasRelatedWork W1528252773 @default.
- W2404001454 hasRelatedWork W1530304278 @default.
- W2404001454 hasRelatedWork W2124627636 @default.
- W2404001454 hasRelatedWork W2141796583 @default.
- W2404001454 hasRelatedWork W2146707246 @default.
- W2404001454 hasRelatedWork W2176973685 @default.
- W2404001454 hasRelatedWork W2184746485 @default.
- W2404001454 hasRelatedWork W2404001454 @default.
- W2404001454 hasRelatedWork W3022556117 @default.
- W2404001454 hasRelatedWork W3116204970 @default.
- W2404001454 isParatext "false" @default.
- W2404001454 isRetracted "false" @default.
- W2404001454 magId "2404001454" @default.
- W2404001454 workType "article" @default.