FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2031253214> ?p ?o ?g. }

• W2031253214 abstract "The situation calculus, originally conceived by John McCarthy, is one of the main representation languages in artificial intelligence. The original papers introducing the situation calculus also highlight the connection between the fields of artificial intelligence and philosophical logic (especially modal logics of belief, knowledge, and tense). Modal logic changed enormously since the 60s. This paper sets out to revive the connection between situation calculus and modal logic. In particular, we will show that quantified hybrid logic, QHL, is able to express situation calculus formulas often more natural and concise than the original formulations. The main contribution of this paper is a new quantified hybrid logic with temporal operators and action modalities, tailor-made for expressing the fluents of situation calculus." @default.
• W2031253214 created "2016-06-24" @default.
• W2031253214 creator A5044128824 @default.
• W2031253214 creator A5044511901 @default.
• W2031253214 creator A5091181857 @default.
• W2031253214 date "2001-01-01" @default.
• W2031253214 modified "2023-09-24" @default.
• W2031253214 title "Situation Calculus as Hybrid Logic: First Steps" @default.
• W2031253214 cites W1537435730 @default.
• W2031253214 cites W1570374618 @default.
• W2031253214 cites W2052882335 @default.
• W2031253214 cites W2064773636 @default.
• W2031253214 cites W2066949643 @default.
• W2031253214 cites W2068458083 @default.
• W2031253214 cites W2125249733 @default.
• W2031253214 cites W2159525276 @default.
• W2031253214 cites W2899987233 @default.
• W2031253214 cites W4239007999 @default.
• W2031253214 cites W4239399053 @default.
• W2031253214 cites W4252785764 @default.
• W2031253214 doi "https://doi.org/10.1007/3-540-45329-6_26" @default.
• W2031253214 hasPublicationYear "2001" @default.
• W2031253214 type Work @default.
• W2031253214 sameAs 2031253214 @default.
• W2031253214 citedByCount "3" @default.
• W2031253214 crossrefType "book-chapter" @default.
• W2031253214 hasAuthorship W2031253214A5044128824 @default.
• W2031253214 hasAuthorship W2031253214A5044511901 @default.
• W2031253214 hasAuthorship W2031253214A5091181857 @default.
• W2031253214 hasConcept C102993220 @default.
• W2031253214 hasConcept C121332964 @default.
• W2031253214 hasConcept C13355873 @default.
• W2031253214 hasConcept C154945302 @default.
• W2031253214 hasConcept C165801399 @default.
• W2031253214 hasConcept C172385210 @default.
• W2031253214 hasConcept C185592680 @default.
• W2031253214 hasConcept C188027245 @default.
• W2031253214 hasConcept C199343813 @default.
• W2031253214 hasConcept C199360897 @default.
• W2031253214 hasConcept C203659156 @default.
• W2031253214 hasConcept C22497172 @default.
• W2031253214 hasConcept C2524010 @default.
• W2031253214 hasConcept C27508121 @default.
• W2031253214 hasConcept C2777686260 @default.
• W2031253214 hasConcept C2777796570 @default.
• W2031253214 hasConcept C33923547 @default.
• W2031253214 hasConcept C41008148 @default.
• W2031253214 hasConcept C62073222 @default.
• W2031253214 hasConcept C62520636 @default.
• W2031253214 hasConcept C6489637 @default.
• W2031253214 hasConcept C71139939 @default.
• W2031253214 hasConcept C71924100 @default.
• W2031253214 hasConceptScore W2031253214C102993220 @default.
• W2031253214 hasConceptScore W2031253214C121332964 @default.
• W2031253214 hasConceptScore W2031253214C13355873 @default.
• W2031253214 hasConceptScore W2031253214C154945302 @default.
• W2031253214 hasConceptScore W2031253214C165801399 @default.
• W2031253214 hasConceptScore W2031253214C172385210 @default.
• W2031253214 hasConceptScore W2031253214C185592680 @default.
• W2031253214 hasConceptScore W2031253214C188027245 @default.
• W2031253214 hasConceptScore W2031253214C199343813 @default.
• W2031253214 hasConceptScore W2031253214C199360897 @default.
• W2031253214 hasConceptScore W2031253214C203659156 @default.
• W2031253214 hasConceptScore W2031253214C22497172 @default.
• W2031253214 hasConceptScore W2031253214C2524010 @default.
• W2031253214 hasConceptScore W2031253214C27508121 @default.
• W2031253214 hasConceptScore W2031253214C2777686260 @default.
• W2031253214 hasConceptScore W2031253214C2777796570 @default.
• W2031253214 hasConceptScore W2031253214C33923547 @default.
• W2031253214 hasConceptScore W2031253214C41008148 @default.
• W2031253214 hasConceptScore W2031253214C62073222 @default.
• W2031253214 hasConceptScore W2031253214C62520636 @default.
• W2031253214 hasConceptScore W2031253214C6489637 @default.
• W2031253214 hasConceptScore W2031253214C71139939 @default.
• W2031253214 hasConceptScore W2031253214C71924100 @default.
• W2031253214 hasLocation W20312532141 @default.
• W2031253214 hasOpenAccess W2031253214 @default.
• W2031253214 hasPrimaryLocation W20312532141 @default.
• W2031253214 hasRelatedWork W1562406943 @default.
• W2031253214 hasRelatedWork W1562472473 @default.
• W2031253214 hasRelatedWork W1589830330 @default.
• W2031253214 hasRelatedWork W1593637886 @default.
• W2031253214 hasRelatedWork W1607115167 @default.
• W2031253214 hasRelatedWork W1683212044 @default.
• W2031253214 hasRelatedWork W1684057677 @default.
• W2031253214 hasRelatedWork W1693457958 @default.
• W2031253214 hasRelatedWork W1968811614 @default.
• W2031253214 hasRelatedWork W2002176884 @default.
• W2031253214 hasRelatedWork W2038809129 @default.
• W2031253214 hasRelatedWork W2045474169 @default.
• W2031253214 hasRelatedWork W2070368455 @default.
• W2031253214 hasRelatedWork W2077500377 @default.
• W2031253214 hasRelatedWork W2134699386 @default.
• W2031253214 hasRelatedWork W2336123333 @default.
• W2031253214 hasRelatedWork W2969563401 @default.
• W2031253214 hasRelatedWork W48073604 @default.
• W2031253214 hasRelatedWork W59292170 @default.
• W2031253214 hasRelatedWork W81942528 @default.
• W2031253214 isParatext "false" @default.
• W2031253214 isRetracted "false" @default.

• next