Matches in SemOpenAlex for { <https://semopenalex.org/work/W2195596705> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2195596705 abstract "Golog and ConGolog are languages defined in the situation calculus for cognitive robotics. Given a Golog program delta, its semantics is defined by a macro Do(delta,s,s') that expands to a logical sentence that captures the conditions under which performing delta in s can terminate in s'. A similarmacro is defined for ConGolog programs. In general, the logical sentences that these macros expand to are second-order, and in the case of ConGolog, may involve quantification over programs. In this paper, we show that by making use of the foundational axioms in the situation calculus, in particular, the second-order closure axiom about the space of situations, these macro expressions can actually be defined using first-order sentences." @default.
- W2195596705 created "2016-06-24" @default.
- W2195596705 creator A5089419141 @default.
- W2195596705 date "2014-05-04" @default.
- W2195596705 modified "2023-09-25" @default.
- W2195596705 title "A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations" @default.
- W2195596705 hasPublicationYear "2014" @default.
- W2195596705 type Work @default.
- W2195596705 sameAs 2195596705 @default.
- W2195596705 citedByCount "2" @default.
- W2195596705 countsByYear W21955967052014 @default.
- W2195596705 countsByYear W21955967052016 @default.
- W2195596705 crossrefType "proceedings-article" @default.
- W2195596705 hasAuthorship W2195596705A5089419141 @default.
- W2195596705 hasConcept C146834321 @default.
- W2195596705 hasConcept C154945302 @default.
- W2195596705 hasConcept C162324750 @default.
- W2195596705 hasConcept C166955791 @default.
- W2195596705 hasConcept C167729594 @default.
- W2195596705 hasConcept C184337299 @default.
- W2195596705 hasConcept C199343813 @default.
- W2195596705 hasConcept C199360897 @default.
- W2195596705 hasConcept C2524010 @default.
- W2195596705 hasConcept C2777530160 @default.
- W2195596705 hasConcept C2777686260 @default.
- W2195596705 hasConcept C33923547 @default.
- W2195596705 hasConcept C34447519 @default.
- W2195596705 hasConcept C41008148 @default.
- W2195596705 hasConcept C71924100 @default.
- W2195596705 hasConceptScore W2195596705C146834321 @default.
- W2195596705 hasConceptScore W2195596705C154945302 @default.
- W2195596705 hasConceptScore W2195596705C162324750 @default.
- W2195596705 hasConceptScore W2195596705C166955791 @default.
- W2195596705 hasConceptScore W2195596705C167729594 @default.
- W2195596705 hasConceptScore W2195596705C184337299 @default.
- W2195596705 hasConceptScore W2195596705C199343813 @default.
- W2195596705 hasConceptScore W2195596705C199360897 @default.
- W2195596705 hasConceptScore W2195596705C2524010 @default.
- W2195596705 hasConceptScore W2195596705C2777530160 @default.
- W2195596705 hasConceptScore W2195596705C2777686260 @default.
- W2195596705 hasConceptScore W2195596705C33923547 @default.
- W2195596705 hasConceptScore W2195596705C34447519 @default.
- W2195596705 hasConceptScore W2195596705C41008148 @default.
- W2195596705 hasConceptScore W2195596705C71924100 @default.
- W2195596705 hasLocation W21955967051 @default.
- W2195596705 hasOpenAccess W2195596705 @default.
- W2195596705 hasPrimaryLocation W21955967051 @default.
- W2195596705 hasRelatedWork W123417488 @default.
- W2195596705 hasRelatedWork W1499746183 @default.
- W2195596705 hasRelatedWork W1506246234 @default.
- W2195596705 hasRelatedWork W1507798223 @default.
- W2195596705 hasRelatedWork W1564541199 @default.
- W2195596705 hasRelatedWork W1584985376 @default.
- W2195596705 hasRelatedWork W1592619431 @default.
- W2195596705 hasRelatedWork W160326153 @default.
- W2195596705 hasRelatedWork W1607346335 @default.
- W2195596705 hasRelatedWork W1680665078 @default.
- W2195596705 hasRelatedWork W1851327922 @default.
- W2195596705 hasRelatedWork W1972627011 @default.
- W2195596705 hasRelatedWork W1978631539 @default.
- W2195596705 hasRelatedWork W1986563142 @default.
- W2195596705 hasRelatedWork W2032346221 @default.
- W2195596705 hasRelatedWork W2075664221 @default.
- W2195596705 hasRelatedWork W2114792440 @default.
- W2195596705 hasRelatedWork W2415302829 @default.
- W2195596705 hasRelatedWork W2955105870 @default.
- W2195596705 hasRelatedWork W369917072 @default.
- W2195596705 isParatext "false" @default.
- W2195596705 isRetracted "false" @default.
- W2195596705 magId "2195596705" @default.
- W2195596705 workType "article" @default.