Matches in SemOpenAlex for { <https://semopenalex.org/work/W2804931460> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2804931460 abstract "High-tech systems are ubiquitous and often safety and security critical: reasoning about their correctness is paramount. Thus, precise modelling and formal reasoning are necessary in order to convey knowledge unambiguously and accurately. Whilst mathematical modelling adds great rigour, it is opaque to many stakeholders which leads to errors in data handling, delays in product release, for example. This is a major motivation for the development of diagrammatic approaches to formalisation and reasoning about models of knowledge. In this paper, we present an interactive theorem prover, called iCon, for a highly expressive diagrammatic logic that is capable of modelling OWL 2 ontologies and, thus, has practical relevance. Significantly, this work is the first to design diagrammatic inference rules using insights into what humans find accessible. Specifically, we conducted an experiment about relative cognitive benefits of primitive (small step) and derived (big step) inferences, and use the results to guide the implementation of inference rules in iCon." @default.
- W2804931460 created "2018-06-01" @default.
- W2804931460 creator A5036018012 @default.
- W2804931460 creator A5057312942 @default.
- W2804931460 creator A5060764929 @default.
- W2804931460 creator A5082391822 @default.
- W2804931460 date "2018-01-01" @default.
- W2804931460 modified "2023-09-23" @default.
- W2804931460 title "Accessible Reasoning with Diagrams: From Cognition to Automation" @default.
- W2804931460 cites W1571636511 @default.
- W2804931460 cites W1969242708 @default.
- W2804931460 cites W2032212484 @default.
- W2804931460 cites W2109884202 @default.
- W2804931460 cites W2151026573 @default.
- W2804931460 cites W229693416 @default.
- W2804931460 cites W2345342777 @default.
- W2804931460 cites W2480033594 @default.
- W2804931460 cites W2549482841 @default.
- W2804931460 cites W2733301172 @default.
- W2804931460 cites W2756340725 @default.
- W2804931460 cites W2763876046 @default.
- W2804931460 cites W3143432647 @default.
- W2804931460 cites W4206634230 @default.
- W2804931460 cites W4234528212 @default.
- W2804931460 cites W2173235673 @default.
- W2804931460 doi "https://doi.org/10.1007/978-3-319-91376-6_25" @default.
- W2804931460 hasPublicationYear "2018" @default.
- W2804931460 type Work @default.
- W2804931460 sameAs 2804931460 @default.
- W2804931460 citedByCount "3" @default.
- W2804931460 countsByYear W28049314602018 @default.
- W2804931460 countsByYear W28049314602019 @default.
- W2804931460 crossrefType "book-chapter" @default.
- W2804931460 hasAuthorship W2804931460A5036018012 @default.
- W2804931460 hasAuthorship W2804931460A5057312942 @default.
- W2804931460 hasAuthorship W2804931460A5060764929 @default.
- W2804931460 hasAuthorship W2804931460A5082391822 @default.
- W2804931460 hasBestOaLocation W28049314602 @default.
- W2804931460 hasConcept C106624574 @default.
- W2804931460 hasConcept C107457646 @default.
- W2804931460 hasConcept C154945302 @default.
- W2804931460 hasConcept C158154518 @default.
- W2804931460 hasConcept C17744445 @default.
- W2804931460 hasConcept C199360897 @default.
- W2804931460 hasConcept C199539241 @default.
- W2804931460 hasConcept C2776214188 @default.
- W2804931460 hasConcept C41008148 @default.
- W2804931460 hasConcept C55439883 @default.
- W2804931460 hasConcept C80444323 @default.
- W2804931460 hasConcept C83725634 @default.
- W2804931460 hasConcept C9616225 @default.
- W2804931460 hasConceptScore W2804931460C106624574 @default.
- W2804931460 hasConceptScore W2804931460C107457646 @default.
- W2804931460 hasConceptScore W2804931460C154945302 @default.
- W2804931460 hasConceptScore W2804931460C158154518 @default.
- W2804931460 hasConceptScore W2804931460C17744445 @default.
- W2804931460 hasConceptScore W2804931460C199360897 @default.
- W2804931460 hasConceptScore W2804931460C199539241 @default.
- W2804931460 hasConceptScore W2804931460C2776214188 @default.
- W2804931460 hasConceptScore W2804931460C41008148 @default.
- W2804931460 hasConceptScore W2804931460C55439883 @default.
- W2804931460 hasConceptScore W2804931460C80444323 @default.
- W2804931460 hasConceptScore W2804931460C83725634 @default.
- W2804931460 hasConceptScore W2804931460C9616225 @default.
- W2804931460 hasLocation W28049314601 @default.
- W2804931460 hasLocation W28049314602 @default.
- W2804931460 hasLocation W28049314603 @default.
- W2804931460 hasOpenAccess W2804931460 @default.
- W2804931460 hasPrimaryLocation W28049314601 @default.
- W2804931460 hasRelatedWork W13328191 @default.
- W2804931460 hasRelatedWork W1495157332 @default.
- W2804931460 hasRelatedWork W1527711075 @default.
- W2804931460 hasRelatedWork W1597904069 @default.
- W2804931460 hasRelatedWork W1726857441 @default.
- W2804931460 hasRelatedWork W1926783873 @default.
- W2804931460 hasRelatedWork W1976291507 @default.
- W2804931460 hasRelatedWork W197752283 @default.
- W2804931460 hasRelatedWork W2038408018 @default.
- W2804931460 hasRelatedWork W2042752168 @default.
- W2804931460 hasRelatedWork W2079322253 @default.
- W2804931460 hasRelatedWork W2089631246 @default.
- W2804931460 hasRelatedWork W2102231206 @default.
- W2804931460 hasRelatedWork W2126754756 @default.
- W2804931460 hasRelatedWork W2187334428 @default.
- W2804931460 hasRelatedWork W2480715011 @default.
- W2804931460 hasRelatedWork W2589396532 @default.
- W2804931460 hasRelatedWork W3041064262 @default.
- W2804931460 hasRelatedWork W3123696324 @default.
- W2804931460 hasRelatedWork W1870661329 @default.
- W2804931460 isParatext "false" @default.
- W2804931460 isRetracted "false" @default.
- W2804931460 magId "2804931460" @default.
- W2804931460 workType "book-chapter" @default.