Matches in SemOpenAlex for { <https://semopenalex.org/work/W1495262246> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W1495262246 endingPage "438" @default.
- W1495262246 startingPage "425" @default.
- W1495262246 abstract "This paper presents a framework called logical knowledge object (LKO),which is taken as a basis of the dependable development of knowledge based systems(KBSs).LKO combines logic programming and object-oriented programming paradigms,where objects are viewed as abstractions with states,constraints,behaviors and inheritance.The operational semantics defined in the style of natural semantics is simple and clear.A hybrid knowledge representation amalgamating rule,frame,semantic network and blackboard is available for both most structured and flat knowledge.The management of knowledge bases has been formally specified.Accordingly,LKO is well suited for the formal representation of knowledge and requirements of KBSs.Based on the framework,verification techniques are also explored to enhance the analysis of requirement specifications and the validation of KBSs.In addition,LKO provides a methodology for the development of KBSs,applying the concepts of rapid prototyping and top-down design to deal with changing and incomplete requirements,and to provide multiple abstract models of the domain,where formal methods might be used at each abstract level." @default.
- W1495262246 created "2016-06-24" @default.
- W1495262246 creator A5050713152 @default.
- W1495262246 creator A5060138067 @default.
- W1495262246 date "1995-09-10" @default.
- W1495262246 modified "2023-09-24" @default.
- W1495262246 title "Logical Object as a Basis of Knowledge Based Systems" @default.
- W1495262246 hasPublicationYear "1995" @default.
- W1495262246 type Work @default.
- W1495262246 sameAs 1495262246 @default.
- W1495262246 citedByCount "0" @default.
- W1495262246 crossrefType "journal-article" @default.
- W1495262246 hasAuthorship W1495262246A5050713152 @default.
- W1495262246 hasAuthorship W1495262246A5060138067 @default.
- W1495262246 hasConcept C115903868 @default.
- W1495262246 hasConcept C115925183 @default.
- W1495262246 hasConcept C126042441 @default.
- W1495262246 hasConcept C154945302 @default.
- W1495262246 hasConcept C161301231 @default.
- W1495262246 hasConcept C17744445 @default.
- W1495262246 hasConcept C184337299 @default.
- W1495262246 hasConcept C199360897 @default.
- W1495262246 hasConcept C199539241 @default.
- W1495262246 hasConcept C2776359362 @default.
- W1495262246 hasConcept C2781238097 @default.
- W1495262246 hasConcept C41008148 @default.
- W1495262246 hasConcept C4554734 @default.
- W1495262246 hasConcept C76155785 @default.
- W1495262246 hasConcept C94625758 @default.
- W1495262246 hasConceptScore W1495262246C115903868 @default.
- W1495262246 hasConceptScore W1495262246C115925183 @default.
- W1495262246 hasConceptScore W1495262246C126042441 @default.
- W1495262246 hasConceptScore W1495262246C154945302 @default.
- W1495262246 hasConceptScore W1495262246C161301231 @default.
- W1495262246 hasConceptScore W1495262246C17744445 @default.
- W1495262246 hasConceptScore W1495262246C184337299 @default.
- W1495262246 hasConceptScore W1495262246C199360897 @default.
- W1495262246 hasConceptScore W1495262246C199539241 @default.
- W1495262246 hasConceptScore W1495262246C2776359362 @default.
- W1495262246 hasConceptScore W1495262246C2781238097 @default.
- W1495262246 hasConceptScore W1495262246C41008148 @default.
- W1495262246 hasConceptScore W1495262246C4554734 @default.
- W1495262246 hasConceptScore W1495262246C76155785 @default.
- W1495262246 hasConceptScore W1495262246C94625758 @default.
- W1495262246 hasIssue "5" @default.
- W1495262246 hasLocation W14952622461 @default.
- W1495262246 hasOpenAccess W1495262246 @default.
- W1495262246 hasPrimaryLocation W14952622461 @default.
- W1495262246 hasRelatedWork W1487789883 @default.
- W1495262246 hasRelatedWork W1588544936 @default.
- W1495262246 hasRelatedWork W183138741 @default.
- W1495262246 hasRelatedWork W1853170809 @default.
- W1495262246 hasRelatedWork W1996984143 @default.
- W1495262246 hasRelatedWork W2013519563 @default.
- W1495262246 hasRelatedWork W2021288829 @default.
- W1495262246 hasRelatedWork W2021291681 @default.
- W1495262246 hasRelatedWork W2031162680 @default.
- W1495262246 hasRelatedWork W2044171718 @default.
- W1495262246 hasRelatedWork W2093796572 @default.
- W1495262246 hasRelatedWork W2102360425 @default.
- W1495262246 hasRelatedWork W2134276958 @default.
- W1495262246 hasRelatedWork W2137051209 @default.
- W1495262246 hasRelatedWork W2139898472 @default.
- W1495262246 hasRelatedWork W2148780878 @default.
- W1495262246 hasRelatedWork W2157368609 @default.
- W1495262246 hasRelatedWork W2163132606 @default.
- W1495262246 hasRelatedWork W232684567 @default.
- W1495262246 hasRelatedWork W3121320330 @default.
- W1495262246 hasVolume "10" @default.
- W1495262246 isParatext "false" @default.
- W1495262246 isRetracted "false" @default.
- W1495262246 magId "1495262246" @default.
- W1495262246 workType "article" @default.