FRINK Linked Data Fragments server

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

• W1495382013 endingPage "128" @default.
• W1495382013 startingPage "93" @default.
• W1495382013 abstract "Existing plan synthesis approaches in artificial intelligence fall into two categories -- domain independent and domain dependent. The domain independent approaches are applicable across a variety of domains, but may not be very efficient in any one given domain. The domain dependent approaches need to be (re)designed for each domain separately, but can be very efficient in the domain for which they are designed. One enticing alternative to these approaches is to automatically synthesize domain independent planners given the knowledge about the domain and the theory of planning. In this paper, we investigate the feasibility of using existing automated software synthesis tools to support such synthesis. Specifically, we describe an architecture called CLAY in which the Kestrel Interactive Development System (KIDS) is used to derive a domain-customized planner through a semi-automatic combination of a declarative theory of planning, and the declarative control knowledge specific to a given domain, to semi-automatically combine them to derive domain-customized planners. We discuss what it means to write a declarative theory of planning and control knowledge for KIDS, and illustrate our approach by generating a class of domain-specific planners using state space refinements. Our experiments show that the synthesized planners can outperform classical refinement planners (implemented as instantiations of UCP, Kambhampati & Srivastava, 1995), using the same control knowledge. We will contrast the costs and benefits of the synthesis approach with conventional methods for customizing domain independent planners." @default.
• W1495382013 created "2016-06-24" @default.
• W1495382013 creator A5023323170 @default.
• W1495382013 creator A5051577973 @default.
• W1495382013 date "1998-03-01" @default.
• W1495382013 modified "2023-10-10" @default.
• W1495382013 title "Synthesizing Customized Planners from Specifications" @default.
• W1495382013 cites W125130877 @default.
• W1495382013 cites W1491690797 @default.
• W1495382013 cites W1500854227 @default.
• W1495382013 cites W1514296638 @default.
• W1495382013 cites W1515486073 @default.
• W1495382013 cites W1558602030 @default.
• W1495382013 cites W1567972407 @default.
• W1495382013 cites W157206559 @default.
• W1495382013 cites W1605189129 @default.
• W1495382013 cites W1731763842 @default.
• W1495382013 cites W1860169062 @default.
• W1495382013 cites W1867640539 @default.
• W1495382013 cites W1997187522 @default.
• W1495382013 cites W2002597376 @default.
• W1495382013 cites W2008590749 @default.
• W1495382013 cites W2079138018 @default.
• W1495382013 cites W2110018916 @default.
• W1495382013 cites W2128454808 @default.
• W1495382013 cites W2129466151 @default.
• W1495382013 cites W2133772054 @default.
• W1495382013 cites W2137831752 @default.
• W1495382013 cites W2140964982 @default.
• W1495382013 cites W2402164836 @default.
• W1495382013 cites W4789806 @default.
• W1495382013 cites W69255106 @default.
• W1495382013 cites W163707316 @default.
• W1495382013 cites W2097269073 @default.
• W1495382013 cites W232662732 @default.
• W1495382013 doi "https://doi.org/10.1613/jair.428" @default.
• W1495382013 hasPublicationYear "1998" @default.
• W1495382013 type Work @default.
• W1495382013 sameAs 1495382013 @default.
• W1495382013 citedByCount "9" @default.
• W1495382013 countsByYear W14953820132012 @default.
• W1495382013 crossrefType "journal-article" @default.
• W1495382013 hasAuthorship W1495382013A5023323170 @default.
• W1495382013 hasAuthorship W1495382013A5051577973 @default.
• W1495382013 hasBestOaLocation W14953820131 @default.
• W1495382013 hasConcept C107457646 @default.
• W1495382013 hasConcept C115903868 @default.
• W1495382013 hasConcept C118615104 @default.
• W1495382013 hasConcept C119857082 @default.
• W1495382013 hasConcept C134306372 @default.
• W1495382013 hasConcept C149091818 @default.
• W1495382013 hasConcept C154945302 @default.
• W1495382013 hasConcept C166957645 @default.
• W1495382013 hasConcept C174683762 @default.
• W1495382013 hasConcept C199360897 @default.
• W1495382013 hasConcept C207685749 @default.
• W1495382013 hasConcept C2775924081 @default.
• W1495382013 hasConcept C2776505523 @default.
• W1495382013 hasConcept C2776999362 @default.
• W1495382013 hasConcept C2777212361 @default.
• W1495382013 hasConcept C2777904410 @default.
• W1495382013 hasConcept C29585364 @default.
• W1495382013 hasConcept C33923547 @default.
• W1495382013 hasConcept C36503486 @default.
• W1495382013 hasConcept C41008148 @default.
• W1495382013 hasConcept C5977032 @default.
• W1495382013 hasConcept C92548554 @default.
• W1495382013 hasConcept C95457728 @default.
• W1495382013 hasConceptScore W1495382013C107457646 @default.
• W1495382013 hasConceptScore W1495382013C115903868 @default.
• W1495382013 hasConceptScore W1495382013C118615104 @default.
• W1495382013 hasConceptScore W1495382013C119857082 @default.
• W1495382013 hasConceptScore W1495382013C134306372 @default.
• W1495382013 hasConceptScore W1495382013C149091818 @default.
• W1495382013 hasConceptScore W1495382013C154945302 @default.
• W1495382013 hasConceptScore W1495382013C166957645 @default.
• W1495382013 hasConceptScore W1495382013C174683762 @default.
• W1495382013 hasConceptScore W1495382013C199360897 @default.
• W1495382013 hasConceptScore W1495382013C207685749 @default.
• W1495382013 hasConceptScore W1495382013C2775924081 @default.
• W1495382013 hasConceptScore W1495382013C2776505523 @default.
• W1495382013 hasConceptScore W1495382013C2776999362 @default.
• W1495382013 hasConceptScore W1495382013C2777212361 @default.
• W1495382013 hasConceptScore W1495382013C2777904410 @default.
• W1495382013 hasConceptScore W1495382013C29585364 @default.
• W1495382013 hasConceptScore W1495382013C33923547 @default.
• W1495382013 hasConceptScore W1495382013C36503486 @default.
• W1495382013 hasConceptScore W1495382013C41008148 @default.
• W1495382013 hasConceptScore W1495382013C5977032 @default.
• W1495382013 hasConceptScore W1495382013C92548554 @default.
• W1495382013 hasConceptScore W1495382013C95457728 @default.
• W1495382013 hasLocation W14953820131 @default.
• W1495382013 hasLocation W14953820132 @default.
• W1495382013 hasOpenAccess W1495382013 @default.
• W1495382013 hasPrimaryLocation W14953820131 @default.
• W1495382013 hasRelatedWork W1485949778 @default.
• W1495382013 hasRelatedWork W1495382013 @default.
• W1495382013 hasRelatedWork W1973683353 @default.

• next