LEADER 02742nam  22006254a 450 
001 9910783411603321
005 20230124181916.0
010   $a1-280-50564-8
010   $a9786610505647
010   $a1-4175-1145-1
010   $a600-00-0423-0
010   $a1-60129-425-5
035   $a(CKB)1000000000243916
035   $a(EBL)267495
035   $a(OCoLC)632620320
035   $a(SSID)ssj0000151608
035   $a(PQKBManifestationID)11144708
035   $a(PQKBTitleCode)TC0000151608
035   $a(PQKBWorkID)10320278
035   $a(PQKB)10950334
035   $a(MiAaPQ)EBC267495
035   $a(Au-PeEL)EBL267495
035   $a(CaPaEBR)ebr10116465
035   $a(CaONFJC)MIL50564
035   $a(EXLCZ)991000000000243916
100   $a20021115d2003      uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aEvolving knowledge bases$b[electronic resource] $especification and semantics /$fJoa?o Alexandre Leite
210   $aAmsterdam ;$aWashington, DC $cIOS Press ;$aTokyo $cOhmsha$dc2003
215   $a1 online resource (326 p.)
225 1 $aFrontiers in artificial intelligence and applications,$x0922-6389 ;$vv. 81.$aDissertations in artificial intelligence
300   $aDescription based upon print version of record.
311   $a1-58603-278-X 
320   $aIncludes bibliographical references (p. 283-301).
327   $aCover; Title page; Acknowledgements; Abstract; Contents; List of Figures; Preface; 1 Introduction; 2 Logic Programming for NMR; 3 Dynamic Logic Programming; 4 Languages of Updates; 5 Knowledge and Behaviour Update Language; 6 Multi-dimensional Dynamic Logic Programming; 7 Multi-dimensional KABUL; 8 Illustrative Examples; 9 Conclusions and Future Directions; Bibliography; A List of Symbols
330   $aAn Evolving Knowledge Base (EKB) is capable of self evolution by means of its internally specified behaviour. In this thesis the author incrementally specifies, semantically characterizes and illustrates with examples, the concepts and tools necessary to the development of EKBs.
410  0$aFrontiers in artificial intelligence and applications ;$vv. 81.
410  0$aFrontiers in artificial intelligence and applications.$pDissertations in artificial intelligence.
606   $aLogic programming
606   $aExpert systems (Computer science)
615  0$aLogic programming.
615  0$aExpert systems (Computer science)
676   $a006.33
700   $aLeite$b Joa?o Alexandre$01558342
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910783411603321
996   $aEvolving knowledge bases$93822638
997   $aUNINA