Matches in SemOpenAlex for { <https://semopenalex.org/work/W3132982069> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W3132982069 endingPage "103487" @default.
- W3132982069 startingPage "103487" @default.
- W3132982069 abstract "Various logical notions of know-how have been recently proposed and studied in the literature based on different types of epistemic planning in different frameworks. This paper proposes a unified logical framework to incorporate the existing and some new notions of know-how. We define the semantics of the know-how operator using a unified notion of epistemic planning with parameters of different types of plans specified by a programming language. Surprisingly, via a highly unified completeness proof, we show that all the ten intuitive notions of plans discussed in this paper lead to exactly the same know-how logic, which is proven to be decidable. We also show that over finite models, the know-how logic based on knowledge-based plans requires an extension with an axiom capturing the compositionality of the plans. In the context of epistemic planning, our axiomatization results reveal the core principles behind the very idea of epistemic planning, independent of the particular notion of plans. Moreover, since epistemic planning can be expressed by the know-how modality in our object language, we can greatly generalize the planning problems that can be solved formally by model checking various formulas in our language." @default.
- W3132982069 created "2021-03-01" @default.
- W3132982069 creator A5039933653 @default.
- W3132982069 creator A5087022428 @default.
- W3132982069 date "2021-07-01" @default.
- W3132982069 modified "2023-10-10" @default.
- W3132982069 title "Planning-based knowing how: A unified approach" @default.
- W3132982069 cites W1497329491 @default.
- W3132982069 cites W1994451575 @default.
- W3132982069 cites W1998176101 @default.
- W3132982069 cites W2007771077 @default.
- W3132982069 cites W2048905609 @default.
- W3132982069 cites W2053161718 @default.
- W3132982069 cites W2077489355 @default.
- W3132982069 cites W2080486303 @default.
- W3132982069 cites W2101206446 @default.
- W3132982069 cites W2109058602 @default.
- W3132982069 cites W2118119080 @default.
- W3132982069 cites W2142583143 @default.
- W3132982069 cites W2337050893 @default.
- W3132982069 cites W2552360718 @default.
- W3132982069 cites W2552672541 @default.
- W3132982069 cites W2786343747 @default.
- W3132982069 cites W2905131472 @default.
- W3132982069 cites W2955911323 @default.
- W3132982069 cites W2963238164 @default.
- W3132982069 cites W2964125215 @default.
- W3132982069 cites W3094614545 @default.
- W3132982069 cites W4250643089 @default.
- W3132982069 doi "https://doi.org/10.1016/j.artint.2021.103487" @default.
- W3132982069 hasPublicationYear "2021" @default.
- W3132982069 type Work @default.
- W3132982069 sameAs 3132982069 @default.
- W3132982069 citedByCount "7" @default.
- W3132982069 countsByYear W31329820692021 @default.
- W3132982069 countsByYear W31329820692022 @default.
- W3132982069 countsByYear W31329820692023 @default.
- W3132982069 crossrefType "journal-article" @default.
- W3132982069 hasAuthorship W3132982069A5039933653 @default.
- W3132982069 hasAuthorship W3132982069A5087022428 @default.
- W3132982069 hasConcept C102993220 @default.
- W3132982069 hasConcept C107247716 @default.
- W3132982069 hasConcept C121375916 @default.
- W3132982069 hasConcept C134306372 @default.
- W3132982069 hasConcept C153269930 @default.
- W3132982069 hasConcept C154945302 @default.
- W3132982069 hasConcept C167729594 @default.
- W3132982069 hasConcept C17231256 @default.
- W3132982069 hasConcept C203659156 @default.
- W3132982069 hasConcept C2524010 @default.
- W3132982069 hasConcept C33923547 @default.
- W3132982069 hasConcept C41008148 @default.
- W3132982069 hasConcept C80444323 @default.
- W3132982069 hasConceptScore W3132982069C102993220 @default.
- W3132982069 hasConceptScore W3132982069C107247716 @default.
- W3132982069 hasConceptScore W3132982069C121375916 @default.
- W3132982069 hasConceptScore W3132982069C134306372 @default.
- W3132982069 hasConceptScore W3132982069C153269930 @default.
- W3132982069 hasConceptScore W3132982069C154945302 @default.
- W3132982069 hasConceptScore W3132982069C167729594 @default.
- W3132982069 hasConceptScore W3132982069C17231256 @default.
- W3132982069 hasConceptScore W3132982069C203659156 @default.
- W3132982069 hasConceptScore W3132982069C2524010 @default.
- W3132982069 hasConceptScore W3132982069C33923547 @default.
- W3132982069 hasConceptScore W3132982069C41008148 @default.
- W3132982069 hasConceptScore W3132982069C80444323 @default.
- W3132982069 hasFunder F4320335817 @default.
- W3132982069 hasLocation W31329820691 @default.
- W3132982069 hasOpenAccess W3132982069 @default.
- W3132982069 hasPrimaryLocation W31329820691 @default.
- W3132982069 hasRelatedWork W1526190050 @default.
- W3132982069 hasRelatedWork W1768168108 @default.
- W3132982069 hasRelatedWork W2142305280 @default.
- W3132982069 hasRelatedWork W2402000213 @default.
- W3132982069 hasRelatedWork W2404739533 @default.
- W3132982069 hasRelatedWork W2477397717 @default.
- W3132982069 hasRelatedWork W255137432 @default.
- W3132982069 hasRelatedWork W3095531775 @default.
- W3132982069 hasRelatedWork W4251923961 @default.
- W3132982069 hasRelatedWork W4293713811 @default.
- W3132982069 hasVolume "296" @default.
- W3132982069 isParatext "false" @default.
- W3132982069 isRetracted "false" @default.
- W3132982069 magId "3132982069" @default.
- W3132982069 workType "article" @default.