Matches in SemOpenAlex for { <https://semopenalex.org/work/W1581082593> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1581082593 abstract "In this paper we study dynamic properties of knowledge-based systems. We argue the importance of such dynamic properties for the construction and analysis of knowledge-based systems. We present a case-study of a simple classification method for which we formulate and verify two dynamic properties which are concerned with the anytime behaviour and the computation trace of the classification method. We show how Dynamic Logic can be used to formally express these dynamic properties.We have used the KIV interactive theorem prover to obtain machine-assisted proofs for all the properties and theorems in this paper." @default.
- W1581082593 created "2016-06-24" @default.
- W1581082593 creator A5000424011 @default.
- W1581082593 creator A5029130731 @default.
- W1581082593 creator A5038148668 @default.
- W1581082593 date "1999-01-01" @default.
- W1581082593 modified "2023-09-27" @default.
- W1581082593 title "Formally Verifying Dynamic Properties of Knowledge Based Systems" @default.
- W1581082593 cites W1483064242 @default.
- W1581082593 cites W1483102465 @default.
- W1581082593 cites W1533795866 @default.
- W1581082593 cites W1979846958 @default.
- W1581082593 cites W1989017445 @default.
- W1581082593 cites W2000069466 @default.
- W1581082593 cites W2002319359 @default.
- W1581082593 cites W2002734125 @default.
- W1581082593 cites W2038386889 @default.
- W1581082593 cites W2057546362 @default.
- W1581082593 cites W2068106852 @default.
- W1581082593 cites W2086200448 @default.
- W1581082593 cites W2141371828 @default.
- W1581082593 cites W2251458042 @default.
- W1581082593 cites W4205313167 @default.
- W1581082593 doi "https://doi.org/10.1007/3-540-48775-1_10" @default.
- W1581082593 hasPublicationYear "1999" @default.
- W1581082593 type Work @default.
- W1581082593 sameAs 1581082593 @default.
- W1581082593 citedByCount "5" @default.
- W1581082593 crossrefType "book-chapter" @default.
- W1581082593 hasAuthorship W1581082593A5000424011 @default.
- W1581082593 hasAuthorship W1581082593A5029130731 @default.
- W1581082593 hasAuthorship W1581082593A5038148668 @default.
- W1581082593 hasConcept C108710211 @default.
- W1581082593 hasConcept C111472728 @default.
- W1581082593 hasConcept C138885662 @default.
- W1581082593 hasConcept C154945302 @default.
- W1581082593 hasConcept C199360897 @default.
- W1581082593 hasConcept C206880738 @default.
- W1581082593 hasConcept C2524010 @default.
- W1581082593 hasConcept C2780586882 @default.
- W1581082593 hasConcept C33923547 @default.
- W1581082593 hasConcept C41008148 @default.
- W1581082593 hasConcept C41895202 @default.
- W1581082593 hasConcept C45374587 @default.
- W1581082593 hasConcept C75291252 @default.
- W1581082593 hasConcept C80444323 @default.
- W1581082593 hasConceptScore W1581082593C108710211 @default.
- W1581082593 hasConceptScore W1581082593C111472728 @default.
- W1581082593 hasConceptScore W1581082593C138885662 @default.
- W1581082593 hasConceptScore W1581082593C154945302 @default.
- W1581082593 hasConceptScore W1581082593C199360897 @default.
- W1581082593 hasConceptScore W1581082593C206880738 @default.
- W1581082593 hasConceptScore W1581082593C2524010 @default.
- W1581082593 hasConceptScore W1581082593C2780586882 @default.
- W1581082593 hasConceptScore W1581082593C33923547 @default.
- W1581082593 hasConceptScore W1581082593C41008148 @default.
- W1581082593 hasConceptScore W1581082593C41895202 @default.
- W1581082593 hasConceptScore W1581082593C45374587 @default.
- W1581082593 hasConceptScore W1581082593C75291252 @default.
- W1581082593 hasConceptScore W1581082593C80444323 @default.
- W1581082593 hasLocation W15810825931 @default.
- W1581082593 hasOpenAccess W1581082593 @default.
- W1581082593 hasPrimaryLocation W15810825931 @default.
- W1581082593 hasRelatedWork W1502301190 @default.
- W1581082593 hasRelatedWork W1533503276 @default.
- W1581082593 hasRelatedWork W1551406732 @default.
- W1581082593 hasRelatedWork W186611154 @default.
- W1581082593 hasRelatedWork W1990350596 @default.
- W1581082593 hasRelatedWork W2124412120 @default.
- W1581082593 hasRelatedWork W2130013716 @default.
- W1581082593 hasRelatedWork W2165234056 @default.
- W1581082593 hasRelatedWork W2189517211 @default.
- W1581082593 hasRelatedWork W21963600 @default.
- W1581082593 hasRelatedWork W2256554687 @default.
- W1581082593 hasRelatedWork W2283799048 @default.
- W1581082593 hasRelatedWork W253208060 @default.
- W1581082593 hasRelatedWork W2557142989 @default.
- W1581082593 hasRelatedWork W2740290241 @default.
- W1581082593 hasRelatedWork W3193491671 @default.
- W1581082593 hasRelatedWork W3197557333 @default.
- W1581082593 hasRelatedWork W3201426548 @default.
- W1581082593 hasRelatedWork W818490787 @default.
- W1581082593 hasRelatedWork W2550375175 @default.
- W1581082593 isParatext "false" @default.
- W1581082593 isRetracted "false" @default.
- W1581082593 magId "1581082593" @default.
- W1581082593 workType "book-chapter" @default.