Matches in SemOpenAlex for { <https://semopenalex.org/work/W2955105870> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2955105870 endingPage "265" @default.
- W2955105870 startingPage "240" @default.
- W2955105870 abstract "For more than six years, the groups of Franz Baader and Gerhard Lakemeyer have collaborated in the area of decidable verification of Golog programs. Golog is an action programming language, whose semantics is based on the Situation Calculus, a variant of full first-order logic. In order to achieve decidability, the expressiveness of the base logic had to be restricted, and using a Description Logic was a natural choice. In this chapter, we highlight some of the main results and insights obtained during our collaboration." @default.
- W2955105870 created "2019-07-12" @default.
- W2955105870 creator A5005730180 @default.
- W2955105870 creator A5029872962 @default.
- W2955105870 creator A5046802692 @default.
- W2955105870 date "2019-01-01" @default.
- W2955105870 modified "2023-09-24" @default.
- W2955105870 title "Situation Calculus Meets Description Logics" @default.
- W2955105870 cites W1576582577 @default.
- W2955105870 cites W1579501393 @default.
- W2955105870 cites W1862398452 @default.
- W2955105870 cites W1965105913 @default.
- W2955105870 cites W1965552673 @default.
- W2955105870 cites W1973391999 @default.
- W2955105870 cites W1977208552 @default.
- W2955105870 cites W1983792103 @default.
- W2955105870 cites W1986563142 @default.
- W2955105870 cites W2005998857 @default.
- W2955105870 cites W2025270539 @default.
- W2955105870 cites W2045474169 @default.
- W2955105870 cites W2062205093 @default.
- W2955105870 cites W2080267935 @default.
- W2955105870 cites W2089730874 @default.
- W2955105870 cites W2096210507 @default.
- W2955105870 cites W2124580444 @default.
- W2955105870 cites W2161202152 @default.
- W2955105870 cites W2169033759 @default.
- W2955105870 cites W2293595599 @default.
- W2955105870 cites W2407769522 @default.
- W2955105870 cites W2415711950 @default.
- W2955105870 cites W2583369873 @default.
- W2955105870 cites W2593267253 @default.
- W2955105870 cites W2748055228 @default.
- W2955105870 cites W2902807953 @default.
- W2955105870 cites W2905286371 @default.
- W2955105870 cites W4252785764 @default.
- W2955105870 cites W4297899613 @default.
- W2955105870 cites W4299344595 @default.
- W2955105870 cites W4300021588 @default.
- W2955105870 cites W4300704713 @default.
- W2955105870 cites W4301264038 @default.
- W2955105870 cites W49077064 @default.
- W2955105870 cites W81942528 @default.
- W2955105870 doi "https://doi.org/10.1007/978-3-030-22102-7_11" @default.
- W2955105870 hasPublicationYear "2019" @default.
- W2955105870 type Work @default.
- W2955105870 sameAs 2955105870 @default.
- W2955105870 citedByCount "1" @default.
- W2955105870 countsByYear W29551058702023 @default.
- W2955105870 crossrefType "book-chapter" @default.
- W2955105870 hasAuthorship W2955105870A5005730180 @default.
- W2955105870 hasAuthorship W2955105870A5029872962 @default.
- W2955105870 hasAuthorship W2955105870A5046802692 @default.
- W2955105870 hasConcept C100481476 @default.
- W2955105870 hasConcept C128838566 @default.
- W2955105870 hasConcept C153269930 @default.
- W2955105870 hasConcept C184337299 @default.
- W2955105870 hasConcept C199343813 @default.
- W2955105870 hasConcept C199360897 @default.
- W2955105870 hasConcept C22497172 @default.
- W2955105870 hasConcept C2777686260 @default.
- W2955105870 hasConcept C41008148 @default.
- W2955105870 hasConcept C62073222 @default.
- W2955105870 hasConcept C71924100 @default.
- W2955105870 hasConcept C80444323 @default.
- W2955105870 hasConceptScore W2955105870C100481476 @default.
- W2955105870 hasConceptScore W2955105870C128838566 @default.
- W2955105870 hasConceptScore W2955105870C153269930 @default.
- W2955105870 hasConceptScore W2955105870C184337299 @default.
- W2955105870 hasConceptScore W2955105870C199343813 @default.
- W2955105870 hasConceptScore W2955105870C199360897 @default.
- W2955105870 hasConceptScore W2955105870C22497172 @default.
- W2955105870 hasConceptScore W2955105870C2777686260 @default.
- W2955105870 hasConceptScore W2955105870C41008148 @default.
- W2955105870 hasConceptScore W2955105870C62073222 @default.
- W2955105870 hasConceptScore W2955105870C71924100 @default.
- W2955105870 hasConceptScore W2955105870C80444323 @default.
- W2955105870 hasLocation W29551058701 @default.
- W2955105870 hasOpenAccess W2955105870 @default.
- W2955105870 hasPrimaryLocation W29551058701 @default.
- W2955105870 hasRelatedWork W123417488 @default.
- W2955105870 hasRelatedWork W1554830210 @default.
- W2955105870 hasRelatedWork W2026575140 @default.
- W2955105870 hasRelatedWork W2033153427 @default.
- W2955105870 hasRelatedWork W2914609107 @default.
- W2955105870 hasRelatedWork W2951743153 @default.
- W2955105870 hasRelatedWork W2955105870 @default.
- W2955105870 hasRelatedWork W3037270720 @default.
- W2955105870 hasRelatedWork W648555766 @default.
- W2955105870 hasRelatedWork W86696070 @default.
- W2955105870 isParatext "false" @default.
- W2955105870 isRetracted "false" @default.
- W2955105870 magId "2955105870" @default.
- W2955105870 workType "book-chapter" @default.