Matches in SemOpenAlex for { <https://semopenalex.org/work/W27894639> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W27894639 abstract "The paper describes an approach to reasoning about actions and planning that starting from a logical formalization arrives at the realization of an actual agent, the mobile robot Tino. The reasoning tools allow the robot to derive plans from the knowledge about the environment and the action specification, while its reactive capabilities allow it to execute its plans in the real world. The formalization is based on the propositional dynamic logics framework, but exploits the correspondence that exists between propositional dynamic logics and description logics, to carefully weaken the logical inference process in order to keep the reasoning tools of the robot both effective and efficient. Such reasoning tools are then implemented by making use of a general knowledge representation system based on description logics, namely the system CLASSIC." @default.
- W27894639 created "2016-06-24" @default.
- W27894639 creator A5008845293 @default.
- W27894639 creator A5013290512 @default.
- W27894639 creator A5026692089 @default.
- W27894639 creator A5075651762 @default.
- W27894639 date "1996-01-01" @default.
- W27894639 modified "2023-09-27" @default.
- W27894639 title "Moving a robot starting from a theory of actions" @default.
- W27894639 cites W11613232 @default.
- W27894639 cites W1519854400 @default.
- W27894639 cites W1558825186 @default.
- W27894639 cites W1560829685 @default.
- W27894639 cites W1601383106 @default.
- W27894639 cites W1605257094 @default.
- W27894639 cites W1816839186 @default.
- W27894639 cites W1971925101 @default.
- W27894639 cites W2090293422 @default.
- W27894639 cites W2104806676 @default.
- W27894639 cites W2127140110 @default.
- W27894639 cites W2140147652 @default.
- W27894639 cites W2402038485 @default.
- W27894639 cites W3624686 @default.
- W27894639 cites W80737574 @default.
- W27894639 hasPublicationYear "1996" @default.
- W27894639 type Work @default.
- W27894639 sameAs 27894639 @default.
- W27894639 citedByCount "1" @default.
- W27894639 crossrefType "journal-article" @default.
- W27894639 hasAuthorship W27894639A5008845293 @default.
- W27894639 hasAuthorship W27894639A5013290512 @default.
- W27894639 hasAuthorship W27894639A5026692089 @default.
- W27894639 hasAuthorship W27894639A5075651762 @default.
- W27894639 hasConcept C105795698 @default.
- W27894639 hasConcept C107457646 @default.
- W27894639 hasConcept C121332964 @default.
- W27894639 hasConcept C154945302 @default.
- W27894639 hasConcept C161301231 @default.
- W27894639 hasConcept C17744445 @default.
- W27894639 hasConcept C195344581 @default.
- W27894639 hasConcept C199360897 @default.
- W27894639 hasConcept C199539241 @default.
- W27894639 hasConcept C2776214188 @default.
- W27894639 hasConcept C2776359362 @default.
- W27894639 hasConcept C2780791683 @default.
- W27894639 hasConcept C2781089630 @default.
- W27894639 hasConcept C33923547 @default.
- W27894639 hasConcept C41008148 @default.
- W27894639 hasConcept C62520636 @default.
- W27894639 hasConcept C89288958 @default.
- W27894639 hasConcept C90509273 @default.
- W27894639 hasConcept C94625758 @default.
- W27894639 hasConcept C98045186 @default.
- W27894639 hasConceptScore W27894639C105795698 @default.
- W27894639 hasConceptScore W27894639C107457646 @default.
- W27894639 hasConceptScore W27894639C121332964 @default.
- W27894639 hasConceptScore W27894639C154945302 @default.
- W27894639 hasConceptScore W27894639C161301231 @default.
- W27894639 hasConceptScore W27894639C17744445 @default.
- W27894639 hasConceptScore W27894639C195344581 @default.
- W27894639 hasConceptScore W27894639C199360897 @default.
- W27894639 hasConceptScore W27894639C199539241 @default.
- W27894639 hasConceptScore W27894639C2776214188 @default.
- W27894639 hasConceptScore W27894639C2776359362 @default.
- W27894639 hasConceptScore W27894639C2780791683 @default.
- W27894639 hasConceptScore W27894639C2781089630 @default.
- W27894639 hasConceptScore W27894639C33923547 @default.
- W27894639 hasConceptScore W27894639C41008148 @default.
- W27894639 hasConceptScore W27894639C62520636 @default.
- W27894639 hasConceptScore W27894639C89288958 @default.
- W27894639 hasConceptScore W27894639C90509273 @default.
- W27894639 hasConceptScore W27894639C94625758 @default.
- W27894639 hasConceptScore W27894639C98045186 @default.
- W27894639 hasLocation W278946391 @default.
- W27894639 hasOpenAccess W27894639 @default.
- W27894639 hasPrimaryLocation W278946391 @default.
- W27894639 hasRelatedWork W116509193 @default.
- W27894639 hasRelatedWork W1184661690 @default.
- W27894639 hasRelatedWork W1498015729 @default.
- W27894639 hasRelatedWork W1500465670 @default.
- W27894639 hasRelatedWork W1506199548 @default.
- W27894639 hasRelatedWork W1535763733 @default.
- W27894639 hasRelatedWork W1743668334 @default.
- W27894639 hasRelatedWork W195122385 @default.
- W27894639 hasRelatedWork W2007959953 @default.
- W27894639 hasRelatedWork W2045081599 @default.
- W27894639 hasRelatedWork W2083802052 @default.
- W27894639 hasRelatedWork W2113753582 @default.
- W27894639 hasRelatedWork W2143959755 @default.
- W27894639 hasRelatedWork W2162478385 @default.
- W27894639 hasRelatedWork W2242536139 @default.
- W27894639 hasRelatedWork W2290471876 @default.
- W27894639 hasRelatedWork W2345972588 @default.
- W27894639 hasRelatedWork W2887818906 @default.
- W27894639 hasRelatedWork W3021203245 @default.
- W27894639 hasRelatedWork W62576311 @default.
- W27894639 isParatext "false" @default.
- W27894639 isRetracted "false" @default.
- W27894639 magId "27894639" @default.
- W27894639 workType "article" @default.