Matches in SemOpenAlex for { <https://semopenalex.org/work/W4285603088> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W4285603088 abstract "Manufacturing is transitioning from a mass production model to a service model in which facilities `bid' for previously unseen products. To decide whether to bid for a previously unseen product, a facility must be able to synthesize, on the fly, a process plan controller that delegates abstract manufacturing tasks in a supplied process recipe to the available manufacturing resources. First-order representations of the state are commonly considered in reasoning about action in AI. Here we show that we can leverage the wide literature on the Situation Calculus automatically synthesize such controllers. We identify two important decidable cases---finite domains and bounded action theories---for which we provide practical synthesis techniques." @default.
- W4285603088 created "2022-07-16" @default.
- W4285603088 creator A5013290512 @default.
- W4285603088 creator A5045872670 @default.
- W4285603088 creator A5052831741 @default.
- W4285603088 creator A5057746643 @default.
- W4285603088 creator A5072702493 @default.
- W4285603088 date "2022-07-01" @default.
- W4285603088 modified "2023-09-30" @default.
- W4285603088 title "Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)" @default.
- W4285603088 doi "https://doi.org/10.24963/ijcai.2022/794" @default.
- W4285603088 hasPublicationYear "2022" @default.
- W4285603088 type Work @default.
- W4285603088 citedByCount "0" @default.
- W4285603088 crossrefType "proceedings-article" @default.
- W4285603088 hasAuthorship W4285603088A5013290512 @default.
- W4285603088 hasAuthorship W4285603088A5045872670 @default.
- W4285603088 hasAuthorship W4285603088A5052831741 @default.
- W4285603088 hasAuthorship W4285603088A5057746643 @default.
- W4285603088 hasAuthorship W4285603088A5072702493 @default.
- W4285603088 hasBestOaLocation W42856030881 @default.
- W4285603088 hasConcept C127413603 @default.
- W4285603088 hasConcept C13736549 @default.
- W4285603088 hasConcept C153083717 @default.
- W4285603088 hasConcept C153269930 @default.
- W4285603088 hasConcept C154945302 @default.
- W4285603088 hasConcept C17744445 @default.
- W4285603088 hasConcept C185592680 @default.
- W4285603088 hasConcept C199360897 @default.
- W4285603088 hasConcept C199539241 @default.
- W4285603088 hasConcept C22497172 @default.
- W4285603088 hasConcept C2776359362 @default.
- W4285603088 hasConcept C2778671685 @default.
- W4285603088 hasConcept C31903555 @default.
- W4285603088 hasConcept C41008148 @default.
- W4285603088 hasConcept C80444323 @default.
- W4285603088 hasConcept C94625758 @default.
- W4285603088 hasConcept C98045186 @default.
- W4285603088 hasConceptScore W4285603088C127413603 @default.
- W4285603088 hasConceptScore W4285603088C13736549 @default.
- W4285603088 hasConceptScore W4285603088C153083717 @default.
- W4285603088 hasConceptScore W4285603088C153269930 @default.
- W4285603088 hasConceptScore W4285603088C154945302 @default.
- W4285603088 hasConceptScore W4285603088C17744445 @default.
- W4285603088 hasConceptScore W4285603088C185592680 @default.
- W4285603088 hasConceptScore W4285603088C199360897 @default.
- W4285603088 hasConceptScore W4285603088C199539241 @default.
- W4285603088 hasConceptScore W4285603088C22497172 @default.
- W4285603088 hasConceptScore W4285603088C2776359362 @default.
- W4285603088 hasConceptScore W4285603088C2778671685 @default.
- W4285603088 hasConceptScore W4285603088C31903555 @default.
- W4285603088 hasConceptScore W4285603088C41008148 @default.
- W4285603088 hasConceptScore W4285603088C80444323 @default.
- W4285603088 hasConceptScore W4285603088C94625758 @default.
- W4285603088 hasConceptScore W4285603088C98045186 @default.
- W4285603088 hasLocation W42856030881 @default.
- W4285603088 hasOpenAccess W4285603088 @default.
- W4285603088 hasPrimaryLocation W42856030881 @default.
- W4285603088 hasRelatedWork W1549289070 @default.
- W4285603088 hasRelatedWork W1763963671 @default.
- W4285603088 hasRelatedWork W2150984526 @default.
- W4285603088 hasRelatedWork W2245963482 @default.
- W4285603088 hasRelatedWork W3022125085 @default.
- W4285603088 hasRelatedWork W3107474891 @default.
- W4285603088 hasRelatedWork W4285603088 @default.
- W4285603088 hasRelatedWork W4289754230 @default.
- W4285603088 hasRelatedWork W87936375 @default.
- W4285603088 hasRelatedWork W2177576448 @default.
- W4285603088 isParatext "false" @default.
- W4285603088 isRetracted "false" @default.
- W4285603088 workType "article" @default.