FRINK Linked Data Fragments server

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

• W364602241 endingPage "405" @default.
• W364602241 startingPage "392" @default.
• W364602241 abstract "In this paper, we propose a single-agent modal logic framework for reasoning about goal-direct “knowing how” based on ideas from linguistics, philosophy, modal logic and automated planning. We first define a modal language to express “I know how to guarantee ϕ given ψ” with a semantics not based on standard epistemic models but labelled transition systems that represent the agent’s knowledge of his own abilities. A sound and complete proof system is given to capture the valid reasoning patterns about “knowing how” where the most important axiom suggests its compositional nature." @default.
• W364602241 created "2016-06-24" @default.
• W364602241 creator A5087022428 @default.
• W364602241 date "2015-01-01" @default.
• W364602241 modified "2023-10-18" @default.
• W364602241 title "A Logic of Knowing How" @default.
• W364602241 cites W1519730823 @default.
• W364602241 cites W1552559776 @default.
• W364602241 cites W1570808150 @default.
• W364602241 cites W1574993507 @default.
• W364602241 cites W1576522696 @default.
• W364602241 cites W1888285812 @default.
• W364602241 cites W1984292245 @default.
• W364602241 cites W1987910552 @default.
• W364602241 cites W1990428506 @default.
• W364602241 cites W1990673309 @default.
• W364602241 cites W1992261874 @default.
• W364602241 cites W1997598983 @default.
• W364602241 cites W2010225581 @default.
• W364602241 cites W2076644510 @default.
• W364602241 cites W2080486303 @default.
• W364602241 cites W2083346314 @default.
• W364602241 cites W2142583143 @default.
• W364602241 cites W2164389533 @default.
• W364602241 cites W2463528414 @default.
• W364602241 cites W2485094106 @default.
• W364602241 cites W4205914382 @default.
• W364602241 cites W4213255959 @default.
• W364602241 cites W4233906803 @default.
• W364602241 cites W4245266873 @default.
• W364602241 cites W4250643089 @default.
• W364602241 cites W4250977437 @default.
• W364602241 doi "https://doi.org/10.1007/978-3-662-48561-3_32" @default.
• W364602241 hasPublicationYear "2015" @default.
• W364602241 type Work @default.
• W364602241 sameAs 364602241 @default.
• W364602241 citedByCount "29" @default.
• W364602241 countsByYear W3646022412016 @default.
• W364602241 countsByYear W3646022412017 @default.
• W364602241 countsByYear W3646022412018 @default.
• W364602241 countsByYear W3646022412019 @default.
• W364602241 countsByYear W3646022412020 @default.
• W364602241 countsByYear W3646022412021 @default.
• W364602241 countsByYear W3646022412023 @default.
• W364602241 crossrefType "book-chapter" @default.
• W364602241 hasAuthorship W364602241A5087022428 @default.
• W364602241 hasConcept C102993220 @default.
• W364602241 hasConcept C107247716 @default.
• W364602241 hasConcept C11191006 @default.
• W364602241 hasConcept C114092440 @default.
• W364602241 hasConcept C121332964 @default.
• W364602241 hasConcept C154945302 @default.
• W364602241 hasConcept C165801399 @default.
• W364602241 hasConcept C167729594 @default.
• W364602241 hasConcept C172385210 @default.
• W364602241 hasConcept C184337299 @default.
• W364602241 hasConcept C185592680 @default.
• W364602241 hasConcept C188027245 @default.
• W364602241 hasConcept C199360897 @default.
• W364602241 hasConcept C203659156 @default.
• W364602241 hasConcept C2524010 @default.
• W364602241 hasConcept C27508121 @default.
• W364602241 hasConcept C2777796570 @default.
• W364602241 hasConcept C33923547 @default.
• W364602241 hasConcept C41008148 @default.
• W364602241 hasConcept C62520636 @default.
• W364602241 hasConcept C71139939 @default.
• W364602241 hasConcept C80444323 @default.
• W364602241 hasConceptScore W364602241C102993220 @default.
• W364602241 hasConceptScore W364602241C107247716 @default.
• W364602241 hasConceptScore W364602241C11191006 @default.
• W364602241 hasConceptScore W364602241C114092440 @default.
• W364602241 hasConceptScore W364602241C121332964 @default.
• W364602241 hasConceptScore W364602241C154945302 @default.
• W364602241 hasConceptScore W364602241C165801399 @default.
• W364602241 hasConceptScore W364602241C167729594 @default.
• W364602241 hasConceptScore W364602241C172385210 @default.
• W364602241 hasConceptScore W364602241C184337299 @default.
• W364602241 hasConceptScore W364602241C185592680 @default.
• W364602241 hasConceptScore W364602241C188027245 @default.
• W364602241 hasConceptScore W364602241C199360897 @default.
• W364602241 hasConceptScore W364602241C203659156 @default.
• W364602241 hasConceptScore W364602241C2524010 @default.
• W364602241 hasConceptScore W364602241C27508121 @default.
• W364602241 hasConceptScore W364602241C2777796570 @default.
• W364602241 hasConceptScore W364602241C33923547 @default.
• W364602241 hasConceptScore W364602241C41008148 @default.
• W364602241 hasConceptScore W364602241C62520636 @default.
• W364602241 hasConceptScore W364602241C71139939 @default.
• W364602241 hasConceptScore W364602241C80444323 @default.
• W364602241 hasLocation W3646022411 @default.
• W364602241 hasOpenAccess W364602241 @default.
• W364602241 hasPrimaryLocation W3646022411 @default.
• W364602241 hasRelatedWork W1566488688 @default.
• W364602241 hasRelatedWork W1988817063 @default.
• W364602241 hasRelatedWork W2101793126 @default.
• W364602241 hasRelatedWork W2118891234 @default.
• W364602241 hasRelatedWork W2123071520 @default.

• next