Matches in SemOpenAlex for { <https://semopenalex.org/work/W1514810828> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W1514810828 endingPage "230" @default.
- W1514810828 startingPage "217" @default.
- W1514810828 abstract "A version of the Situation Calculus is presented which is able to deal with information about the actual occurrence of actions in time. Baker's solution to the frame problem using circumscription is adapted to enable default reasoning about action occurrences, as well as about the effects of actions. Two translations of Situation Calculus style theories into Event Calculus style logic programs are defined, and results are given on the soundness and completeness of the translations." @default.
- W1514810828 created "2016-06-24" @default.
- W1514810828 creator A5060518404 @default.
- W1514810828 date "1995-01-01" @default.
- W1514810828 modified "2023-09-26" @default.
- W1514810828 title "Situation calculus specifications for event calculus logic programs" @default.
- W1514810828 cites W1989492347 @default.
- W1514810828 cites W2003911169 @default.
- W1514810828 cites W2094734546 @default.
- W1514810828 cites W2899987233 @default.
- W1514810828 doi "https://doi.org/10.1007/3-540-59487-6_16" @default.
- W1514810828 hasPublicationYear "1995" @default.
- W1514810828 type Work @default.
- W1514810828 sameAs 1514810828 @default.
- W1514810828 citedByCount "4" @default.
- W1514810828 crossrefType "book-chapter" @default.
- W1514810828 hasAuthorship W1514810828A5060518404 @default.
- W1514810828 hasBestOaLocation W15148108282 @default.
- W1514810828 hasConcept C121332964 @default.
- W1514810828 hasConcept C126042441 @default.
- W1514810828 hasConcept C134306372 @default.
- W1514810828 hasConcept C17231256 @default.
- W1514810828 hasConcept C18460168 @default.
- W1514810828 hasConcept C199343813 @default.
- W1514810828 hasConcept C199360897 @default.
- W1514810828 hasConcept C22497172 @default.
- W1514810828 hasConcept C2777686260 @default.
- W1514810828 hasConcept C2780791683 @default.
- W1514810828 hasConcept C33923547 @default.
- W1514810828 hasConcept C39920170 @default.
- W1514810828 hasConcept C41008148 @default.
- W1514810828 hasConcept C62073222 @default.
- W1514810828 hasConcept C62360110 @default.
- W1514810828 hasConcept C62520636 @default.
- W1514810828 hasConcept C6489637 @default.
- W1514810828 hasConcept C71924100 @default.
- W1514810828 hasConcept C76155785 @default.
- W1514810828 hasConceptScore W1514810828C121332964 @default.
- W1514810828 hasConceptScore W1514810828C126042441 @default.
- W1514810828 hasConceptScore W1514810828C134306372 @default.
- W1514810828 hasConceptScore W1514810828C17231256 @default.
- W1514810828 hasConceptScore W1514810828C18460168 @default.
- W1514810828 hasConceptScore W1514810828C199343813 @default.
- W1514810828 hasConceptScore W1514810828C199360897 @default.
- W1514810828 hasConceptScore W1514810828C22497172 @default.
- W1514810828 hasConceptScore W1514810828C2777686260 @default.
- W1514810828 hasConceptScore W1514810828C2780791683 @default.
- W1514810828 hasConceptScore W1514810828C33923547 @default.
- W1514810828 hasConceptScore W1514810828C39920170 @default.
- W1514810828 hasConceptScore W1514810828C41008148 @default.
- W1514810828 hasConceptScore W1514810828C62073222 @default.
- W1514810828 hasConceptScore W1514810828C62360110 @default.
- W1514810828 hasConceptScore W1514810828C62520636 @default.
- W1514810828 hasConceptScore W1514810828C6489637 @default.
- W1514810828 hasConceptScore W1514810828C71924100 @default.
- W1514810828 hasConceptScore W1514810828C76155785 @default.
- W1514810828 hasLocation W15148108281 @default.
- W1514810828 hasLocation W15148108282 @default.
- W1514810828 hasOpenAccess W1514810828 @default.
- W1514810828 hasPrimaryLocation W15148108281 @default.
- W1514810828 hasRelatedWork W1514810828 @default.
- W1514810828 hasRelatedWork W1529708838 @default.
- W1514810828 hasRelatedWork W2001583856 @default.
- W1514810828 hasRelatedWork W2129933223 @default.
- W1514810828 hasRelatedWork W3160700379 @default.
- W1514810828 hasRelatedWork W3169616153 @default.
- W1514810828 hasRelatedWork W3200349212 @default.
- W1514810828 hasRelatedWork W3212503723 @default.
- W1514810828 hasRelatedWork W4298974867 @default.
- W1514810828 hasRelatedWork W648555766 @default.
- W1514810828 isParatext "false" @default.
- W1514810828 isRetracted "false" @default.
- W1514810828 magId "1514810828" @default.
- W1514810828 workType "book-chapter" @default.