Matches in SemOpenAlex for { <https://semopenalex.org/work/W2004440855> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2004440855 endingPage "602" @default.
- W2004440855 startingPage "579" @default.
- W2004440855 abstract "This article presents the theory and implementation of an artificial intelligence planner, CHICA. CHICA is a non-linear, domain independent planner based on techniques of computational logic. The representation language of the planner is Horn clause logic which is used to model event calculus, a logical theory of changing properties over time. The reasoning component is an abductive extension of SLDNF resolution for generating assumptions to prove a given goal. In event calculus, this procedure generates a plan of events and temporal relations necessary to prove the planning goal. CHICA uses domain contraints and techniques from contraint logic programming to efficiently implement inequality, as well as a specialized module to evaluate temporal relations. CHICA's generic search algorithm lets the implementor of a planning domain define a particular search strategy and specify domain heuristics to prune the search space. CHICA has solved a number of planning problems successfully: multiple robot block world problems, the assembly of a flashlight, and a room decoration problem. Extensions to classical Al-planning can be solved within the same framework, such as plan execution and replanning." @default.
- W2004440855 created "2016-06-24" @default.
- W2004440855 creator A5004343076 @default.
- W2004440855 creator A5031670341 @default.
- W2004440855 creator A5090754913 @default.
- W2004440855 date "1995-01-01" @default.
- W2004440855 modified "2023-10-18" @default.
- W2004440855 title "CHICA, An Abductive Planning System Based on Event Calculus" @default.
- W2004440855 doi "https://doi.org/10.1093/logcom/5.5.579" @default.
- W2004440855 hasPublicationYear "1995" @default.
- W2004440855 type Work @default.
- W2004440855 sameAs 2004440855 @default.
- W2004440855 citedByCount "32" @default.
- W2004440855 countsByYear W20044408552016 @default.
- W2004440855 countsByYear W20044408552022 @default.
- W2004440855 crossrefType "journal-article" @default.
- W2004440855 hasAuthorship W2004440855A5004343076 @default.
- W2004440855 hasAuthorship W2004440855A5031670341 @default.
- W2004440855 hasAuthorship W2004440855A5090754913 @default.
- W2004440855 hasBestOaLocation W20044408552 @default.
- W2004440855 hasConcept C111919701 @default.
- W2004440855 hasConcept C114073186 @default.
- W2004440855 hasConcept C121332964 @default.
- W2004440855 hasConcept C127705205 @default.
- W2004440855 hasConcept C128838566 @default.
- W2004440855 hasConcept C134306372 @default.
- W2004440855 hasConcept C154945302 @default.
- W2004440855 hasConcept C166957645 @default.
- W2004440855 hasConcept C18460168 @default.
- W2004440855 hasConcept C2776505523 @default.
- W2004440855 hasConcept C2776999362 @default.
- W2004440855 hasConcept C2779662365 @default.
- W2004440855 hasConcept C33923547 @default.
- W2004440855 hasConcept C36503486 @default.
- W2004440855 hasConcept C41008148 @default.
- W2004440855 hasConcept C62520636 @default.
- W2004440855 hasConcept C80444323 @default.
- W2004440855 hasConcept C95457728 @default.
- W2004440855 hasConceptScore W2004440855C111919701 @default.
- W2004440855 hasConceptScore W2004440855C114073186 @default.
- W2004440855 hasConceptScore W2004440855C121332964 @default.
- W2004440855 hasConceptScore W2004440855C127705205 @default.
- W2004440855 hasConceptScore W2004440855C128838566 @default.
- W2004440855 hasConceptScore W2004440855C134306372 @default.
- W2004440855 hasConceptScore W2004440855C154945302 @default.
- W2004440855 hasConceptScore W2004440855C166957645 @default.
- W2004440855 hasConceptScore W2004440855C18460168 @default.
- W2004440855 hasConceptScore W2004440855C2776505523 @default.
- W2004440855 hasConceptScore W2004440855C2776999362 @default.
- W2004440855 hasConceptScore W2004440855C2779662365 @default.
- W2004440855 hasConceptScore W2004440855C33923547 @default.
- W2004440855 hasConceptScore W2004440855C36503486 @default.
- W2004440855 hasConceptScore W2004440855C41008148 @default.
- W2004440855 hasConceptScore W2004440855C62520636 @default.
- W2004440855 hasConceptScore W2004440855C80444323 @default.
- W2004440855 hasConceptScore W2004440855C95457728 @default.
- W2004440855 hasIssue "5" @default.
- W2004440855 hasLocation W20044408551 @default.
- W2004440855 hasLocation W20044408552 @default.
- W2004440855 hasOpenAccess W2004440855 @default.
- W2004440855 hasPrimaryLocation W20044408551 @default.
- W2004440855 hasRelatedWork W1496719043 @default.
- W2004440855 hasRelatedWork W1513995023 @default.
- W2004440855 hasRelatedWork W1518172465 @default.
- W2004440855 hasRelatedWork W1534006406 @default.
- W2004440855 hasRelatedWork W1978892650 @default.
- W2004440855 hasRelatedWork W2167502125 @default.
- W2004440855 hasRelatedWork W2620643861 @default.
- W2004440855 hasRelatedWork W3165194156 @default.
- W2004440855 hasRelatedWork W4287164292 @default.
- W2004440855 hasRelatedWork W53358890 @default.
- W2004440855 hasVolume "5" @default.
- W2004440855 isParatext "false" @default.
- W2004440855 isRetracted "false" @default.
- W2004440855 magId "2004440855" @default.
- W2004440855 workType "article" @default.