Evolving knowledge bases :: specification and semantics /
An 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.
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam ; Washington, DC : Tokyo :
IOS Press ; Ohmsha,
©2003.
|
| Schriftenreihe: | Frontiers in artificial intelligence and applications ;
v. 81. Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence. |
| Schlagworte: | |
| Online-Zugang: | DE-862 DE-863 |
| Zusammenfassung: | An 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. |
| Beschreibung: | 1 online resource (xviii, 307 pages) : illustrations |
| Format: | Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |
| Bibliographie: | Includes bibliographical references (pages 283-301). |
| ISBN: | 1601294255 9781601294258 9781586032784 158603278X 9784274905711 4274905713 1417511451 9781417511457 |
| ISSN: | 0922-6389 ; |
Internformat
MARC
| LEADER | 00000cam a2200000Ma 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn632620320 | ||
| 003 | OCoLC | ||
| 005 | 20250103110447.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 021115s2003 ne a ob 000 0 eng d | ||
| 040 | |a LYU |b eng |e pn |c LYU |d E7B |d OCLCQ |d YDXCP |d UV0 |d DKDLA |d OCLCE |d IDEBK |d OCLCQ |d MHW |d N$T |d OCLCQ |d OCLCO |d OCLCQ |d OCLCF |d DEBSZ |d OCLCQ |d EBLCP |d OCLCQ |d AZK |d MOR |d PIFBR |d ZCU |d OCLCQ |d MERUC |d OCLCQ |d JBG |d OCLCQ |d BRL |d STF |d WRM |d VTS |d HQD |d ICG |d VT2 |d OCLCQ |d A6Q |d G3B |d DKC |d AU@ |d OCLCQ |d K6U |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 019 | |a 56930383 |a 171570252 |a 228124782 |a 475303638 |a 488492024 |a 607404526 |a 647478630 |a 657981343 |a 666964128 |a 697598086 |a 722445102 |a 728028496 |a 888451373 |a 961541976 |a 962672680 |a 988511617 |a 991999150 |a 1037510975 |a 1038642232 |a 1043454666 |a 1045532661 |a 1055382732 |a 1076313700 |a 1081286514 |a 1148148124 |a 1228547792 |a 1407443564 | ||
| 020 | |a 1601294255 | ||
| 020 | |a 9781601294258 | ||
| 020 | |a 9781586032784 |q (IOS Press) | ||
| 020 | |a 158603278X |q (IOS Press) | ||
| 020 | |a 9784274905711 |q (Ohmsha) | ||
| 020 | |a 4274905713 |q (Ohmsha) | ||
| 020 | |a 1417511451 |q (electronic bk.) | ||
| 020 | |a 9781417511457 |q (electronic bk.) | ||
| 020 | |z 158603278X |q (IOS Press) | ||
| 020 | |z 4274905713 |q (Ohmsha) | ||
| 035 | |a (OCoLC)632620320 |z (OCoLC)56930383 |z (OCoLC)171570252 |z (OCoLC)228124782 |z (OCoLC)475303638 |z (OCoLC)488492024 |z (OCoLC)607404526 |z (OCoLC)647478630 |z (OCoLC)657981343 |z (OCoLC)666964128 |z (OCoLC)697598086 |z (OCoLC)722445102 |z (OCoLC)728028496 |z (OCoLC)888451373 |z (OCoLC)961541976 |z (OCoLC)962672680 |z (OCoLC)988511617 |z (OCoLC)991999150 |z (OCoLC)1037510975 |z (OCoLC)1038642232 |z (OCoLC)1043454666 |z (OCoLC)1045532661 |z (OCoLC)1055382732 |z (OCoLC)1076313700 |z (OCoLC)1081286514 |z (OCoLC)1148148124 |z (OCoLC)1228547792 |z (OCoLC)1407443564 | ||
| 042 | |a dlr | ||
| 050 | 4 | |a QA76.63 |b .L48 2003eb | |
| 072 | 7 | |a QA |2 lcco | |
| 072 | 7 | |a COM |x 051390 |2 bisacsh | |
| 072 | 7 | |a COM |x 051440 |2 bisacsh | |
| 072 | 7 | |a COM |x 051230 |2 bisacsh | |
| 082 | 7 | |a 005.1 |2 22 | |
| 049 | |a MAIN | ||
| 100 | 1 | |a Leite, João Alexandre. | |
| 245 | 1 | 0 | |a Evolving knowledge bases : |b specification and semantics / |c João Alexandre Leite. |
| 260 | |a Amsterdam ; |a Washington, DC : |b IOS Press ; |a Tokyo : |b Ohmsha, |c ©2003. | ||
| 300 | |a 1 online resource (xviii, 307 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a data file |2 rda | ||
| 490 | 1 | |a Frontiers in artificial intelligence and applications, |x 0922-6389 ; |v v. 81. |a Dissertations in artificial intelligence | |
| 504 | |a Includes bibliographical references (pages 283-301). | ||
| 505 | 0 | |a Cover; 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. | |
| 520 | |a An 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. | ||
| 588 | 0 | |a Print version record. | |
| 506 | |3 Use copy |f Restrictions unspecified |2 star |5 MiAaHDL | ||
| 533 | |a Electronic reproduction. |b [Place of publication not identified] : |c HathiTrust Digital Library, |d 2010. |5 MiAaHDL | ||
| 538 | |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |u http://purl.oclc.org/DLF/benchrepro0212 |5 MiAaHDL | ||
| 583 | 1 | |a digitized |c 2010 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL | |
| 650 | 0 | |a Logic programming. |0 http://id.loc.gov/authorities/subjects/sh86003454 | |
| 650 | 0 | |a Expert systems (Computer science) |0 http://id.loc.gov/authorities/subjects/sh85046450 | |
| 650 | 6 | |a Programmation logique. | |
| 650 | 6 | |a Systèmes experts (Informatique) | |
| 650 | 7 | |a COMPUTERS |x Programming |x Open Source. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Software Development & Engineering |x Tools. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Software Development & Engineering |x General. |2 bisacsh | |
| 650 | 7 | |a Expert systems (Computer science) |2 fast | |
| 650 | 7 | |a Logic programming |2 fast | |
| 758 | |i has work: |a Evolving knowledge bases (Text) |1 https://id.oclc.org/worldcat/entity/E39PCXthpryrFCJfjxPcPVxQjd |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Leite, João Alexandre. |t Evolving knowledge bases. |d Amsterdam ; Washington, DC : IOS Press ; Tokyo : Ohmsha, ©2003 |w (DLC) 2002116113 |w (OCoLC)51770655 |
| 830 | 0 | |a Frontiers in artificial intelligence and applications ; |v v. 81. |0 http://id.loc.gov/authorities/names/n92019289 | |
| 830 | 0 | |a Frontiers in artificial intelligence and applications. |p Dissertations in artificial intelligence. |0 http://id.loc.gov/authorities/names/no2003047925 | |
| 966 | 4 | 0 | |l DE-862 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=110136 |3 Volltext |
| 966 | 4 | 0 | |l DE-863 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=110136 |3 Volltext |
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL267495 | ||
| 938 | |a ebrary |b EBRY |n ebr10116465 | ||
| 938 | |a EBSCOhost |b EBSC |n 110136 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 50564 | ||
| 938 | |a YBP Library Services |b YANK |n 2348706 | ||
| 938 | |a YBP Library Services |b YANK |n 2628496 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-862 | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn632620320 |
|---|---|
| _version_ | 1829094665366798336 |
| adam_text | |
| any_adam_object | |
| author | Leite, João Alexandre |
| author_facet | Leite, João Alexandre |
| author_role | |
| author_sort | Leite, João Alexandre |
| author_variant | j a l ja jal |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.63 .L48 2003eb |
| callnumber-search | QA76.63 .L48 2003eb |
| callnumber-sort | QA 276.63 L48 42003EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | Cover; 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. |
| ctrlnum | (OCoLC)632620320 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05610cam a2200805Ma 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn632620320</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20250103110447.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">021115s2003 ne a ob 000 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">LYU</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">LYU</subfield><subfield code="d">E7B</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">YDXCP</subfield><subfield code="d">UV0</subfield><subfield code="d">DKDLA</subfield><subfield code="d">OCLCE</subfield><subfield code="d">IDEBK</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MHW</subfield><subfield code="d">N$T</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">EBLCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AZK</subfield><subfield code="d">MOR</subfield><subfield code="d">PIFBR</subfield><subfield code="d">ZCU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MERUC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">JBG</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">BRL</subfield><subfield code="d">STF</subfield><subfield code="d">WRM</subfield><subfield code="d">VTS</subfield><subfield code="d">HQD</subfield><subfield code="d">ICG</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">A6Q</subfield><subfield code="d">G3B</subfield><subfield code="d">DKC</subfield><subfield code="d">AU@</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">K6U</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">56930383</subfield><subfield code="a">171570252</subfield><subfield code="a">228124782</subfield><subfield code="a">475303638</subfield><subfield code="a">488492024</subfield><subfield code="a">607404526</subfield><subfield code="a">647478630</subfield><subfield code="a">657981343</subfield><subfield code="a">666964128</subfield><subfield code="a">697598086</subfield><subfield code="a">722445102</subfield><subfield code="a">728028496</subfield><subfield code="a">888451373</subfield><subfield code="a">961541976</subfield><subfield code="a">962672680</subfield><subfield code="a">988511617</subfield><subfield code="a">991999150</subfield><subfield code="a">1037510975</subfield><subfield code="a">1038642232</subfield><subfield code="a">1043454666</subfield><subfield code="a">1045532661</subfield><subfield code="a">1055382732</subfield><subfield code="a">1076313700</subfield><subfield code="a">1081286514</subfield><subfield code="a">1148148124</subfield><subfield code="a">1228547792</subfield><subfield code="a">1407443564</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1601294255</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781601294258</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781586032784</subfield><subfield code="q">(IOS Press)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">158603278X</subfield><subfield code="q">(IOS Press)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9784274905711</subfield><subfield code="q">(Ohmsha)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">4274905713</subfield><subfield code="q">(Ohmsha)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1417511451</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781417511457</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">158603278X</subfield><subfield code="q">(IOS Press)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">4274905713</subfield><subfield code="q">(Ohmsha)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)632620320</subfield><subfield code="z">(OCoLC)56930383</subfield><subfield code="z">(OCoLC)171570252</subfield><subfield code="z">(OCoLC)228124782</subfield><subfield code="z">(OCoLC)475303638</subfield><subfield code="z">(OCoLC)488492024</subfield><subfield code="z">(OCoLC)607404526</subfield><subfield code="z">(OCoLC)647478630</subfield><subfield code="z">(OCoLC)657981343</subfield><subfield code="z">(OCoLC)666964128</subfield><subfield code="z">(OCoLC)697598086</subfield><subfield code="z">(OCoLC)722445102</subfield><subfield code="z">(OCoLC)728028496</subfield><subfield code="z">(OCoLC)888451373</subfield><subfield code="z">(OCoLC)961541976</subfield><subfield code="z">(OCoLC)962672680</subfield><subfield code="z">(OCoLC)988511617</subfield><subfield code="z">(OCoLC)991999150</subfield><subfield code="z">(OCoLC)1037510975</subfield><subfield code="z">(OCoLC)1038642232</subfield><subfield code="z">(OCoLC)1043454666</subfield><subfield code="z">(OCoLC)1045532661</subfield><subfield code="z">(OCoLC)1055382732</subfield><subfield code="z">(OCoLC)1076313700</subfield><subfield code="z">(OCoLC)1081286514</subfield><subfield code="z">(OCoLC)1148148124</subfield><subfield code="z">(OCoLC)1228547792</subfield><subfield code="z">(OCoLC)1407443564</subfield></datafield><datafield tag="042" ind1=" " ind2=" "><subfield code="a">dlr</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.63</subfield><subfield code="b">.L48 2003eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">QA</subfield><subfield code="2">lcco</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">051390</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">051440</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">051230</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Leite, João Alexandre.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Evolving knowledge bases :</subfield><subfield code="b">specification and semantics /</subfield><subfield code="c">João Alexandre Leite.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Amsterdam ;</subfield><subfield code="a">Washington, DC :</subfield><subfield code="b">IOS Press ;</subfield><subfield code="a">Tokyo :</subfield><subfield code="b">Ohmsha,</subfield><subfield code="c">©2003.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xviii, 307 pages) :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">data file</subfield><subfield code="2">rda</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Frontiers in artificial intelligence and applications,</subfield><subfield code="x">0922-6389 ;</subfield><subfield code="v">v. 81.</subfield><subfield code="a">Dissertations in artificial intelligence</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 283-301).</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Cover; 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.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">An 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.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="506" ind1=" " ind2=" "><subfield code="3">Use copy</subfield><subfield code="f">Restrictions unspecified</subfield><subfield code="2">star</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Electronic reproduction.</subfield><subfield code="b">[Place of publication not identified] :</subfield><subfield code="c">HathiTrust Digital Library,</subfield><subfield code="d">2010.</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="538" ind1=" " ind2=" "><subfield code="a">Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.</subfield><subfield code="u">http://purl.oclc.org/DLF/benchrepro0212</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="583" ind1="1" ind2=" "><subfield code="a">digitized</subfield><subfield code="c">2010</subfield><subfield code="h">HathiTrust Digital Library</subfield><subfield code="l">committed to preserve</subfield><subfield code="2">pda</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic programming.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh86003454</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Expert systems (Computer science)</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85046450</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Programmation logique.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Systèmes experts (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Programming</subfield><subfield code="x">Open Source.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Software Development & Engineering</subfield><subfield code="x">Tools.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Software Development & Engineering</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Expert systems (Computer science)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic programming</subfield><subfield code="2">fast</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Evolving knowledge bases (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCXthpryrFCJfjxPcPVxQjd</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Leite, João Alexandre.</subfield><subfield code="t">Evolving knowledge bases.</subfield><subfield code="d">Amsterdam ; Washington, DC : IOS Press ; Tokyo : Ohmsha, ©2003</subfield><subfield code="w">(DLC) 2002116113</subfield><subfield code="w">(OCoLC)51770655</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Frontiers in artificial intelligence and applications ;</subfield><subfield code="v">v. 81.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n92019289</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Frontiers in artificial intelligence and applications.</subfield><subfield code="p">Dissertations in artificial intelligence.</subfield><subfield code="0">http://id.loc.gov/authorities/names/no2003047925</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-862</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=110136</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-863</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=110136</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest Ebook Central</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL267495</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10116465</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">110136</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">50564</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2348706</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2628496</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-862</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| id | ZDB-4-EBA-ocn632620320 |
| illustrated | Illustrated |
| indexdate | 2025-04-11T08:36:44Z |
| institution | BVB |
| isbn | 1601294255 9781601294258 9781586032784 158603278X 9784274905711 4274905713 1417511451 9781417511457 |
| issn | 0922-6389 ; |
| language | English |
| oclc_num | 632620320 |
| open_access_boolean | |
| owner | MAIN DE-862 DE-BY-FWS DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-862 DE-BY-FWS DE-863 DE-BY-FWS |
| physical | 1 online resource (xviii, 307 pages) : illustrations |
| psigel | ZDB-4-EBA FWS_PDA_EBA ZDB-4-EBA |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | IOS Press ; Ohmsha, |
| record_format | marc |
| series | Frontiers in artificial intelligence and applications ; Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence. |
| series2 | Frontiers in artificial intelligence and applications, Dissertations in artificial intelligence |
| spelling | Leite, João Alexandre. Evolving knowledge bases : specification and semantics / João Alexandre Leite. Amsterdam ; Washington, DC : IOS Press ; Tokyo : Ohmsha, ©2003. 1 online resource (xviii, 307 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier data file rda Frontiers in artificial intelligence and applications, 0922-6389 ; v. 81. Dissertations in artificial intelligence Includes bibliographical references (pages 283-301). Cover; 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. An 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. Print version record. Use copy Restrictions unspecified star MiAaHDL Electronic reproduction. [Place of publication not identified] : HathiTrust Digital Library, 2010. MiAaHDL Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL Logic programming. http://id.loc.gov/authorities/subjects/sh86003454 Expert systems (Computer science) http://id.loc.gov/authorities/subjects/sh85046450 Programmation logique. Systèmes experts (Informatique) COMPUTERS Programming Open Source. bisacsh COMPUTERS Software Development & Engineering Tools. bisacsh COMPUTERS Software Development & Engineering General. bisacsh Expert systems (Computer science) fast Logic programming fast has work: Evolving knowledge bases (Text) https://id.oclc.org/worldcat/entity/E39PCXthpryrFCJfjxPcPVxQjd https://id.oclc.org/worldcat/ontology/hasWork Print version: Leite, João Alexandre. Evolving knowledge bases. Amsterdam ; Washington, DC : IOS Press ; Tokyo : Ohmsha, ©2003 (DLC) 2002116113 (OCoLC)51770655 Frontiers in artificial intelligence and applications ; v. 81. http://id.loc.gov/authorities/names/n92019289 Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence. http://id.loc.gov/authorities/names/no2003047925 |
| spellingShingle | Leite, João Alexandre Evolving knowledge bases : specification and semantics / Frontiers in artificial intelligence and applications ; Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence. Cover; 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. Logic programming. http://id.loc.gov/authorities/subjects/sh86003454 Expert systems (Computer science) http://id.loc.gov/authorities/subjects/sh85046450 Programmation logique. Systèmes experts (Informatique) COMPUTERS Programming Open Source. bisacsh COMPUTERS Software Development & Engineering Tools. bisacsh COMPUTERS Software Development & Engineering General. bisacsh Expert systems (Computer science) fast Logic programming fast |
| subject_GND | http://id.loc.gov/authorities/subjects/sh86003454 http://id.loc.gov/authorities/subjects/sh85046450 |
| title | Evolving knowledge bases : specification and semantics / |
| title_auth | Evolving knowledge bases : specification and semantics / |
| title_exact_search | Evolving knowledge bases : specification and semantics / |
| title_full | Evolving knowledge bases : specification and semantics / João Alexandre Leite. |
| title_fullStr | Evolving knowledge bases : specification and semantics / João Alexandre Leite. |
| title_full_unstemmed | Evolving knowledge bases : specification and semantics / João Alexandre Leite. |
| title_short | Evolving knowledge bases : |
| title_sort | evolving knowledge bases specification and semantics |
| title_sub | specification and semantics / |
| topic | Logic programming. http://id.loc.gov/authorities/subjects/sh86003454 Expert systems (Computer science) http://id.loc.gov/authorities/subjects/sh85046450 Programmation logique. Systèmes experts (Informatique) COMPUTERS Programming Open Source. bisacsh COMPUTERS Software Development & Engineering Tools. bisacsh COMPUTERS Software Development & Engineering General. bisacsh Expert systems (Computer science) fast Logic programming fast |
| topic_facet | Logic programming. Expert systems (Computer science) Programmation logique. Systèmes experts (Informatique) COMPUTERS Programming Open Source. COMPUTERS Software Development & Engineering Tools. COMPUTERS Software Development & Engineering General. Logic programming |
| work_keys_str_mv | AT leitejoaoalexandre evolvingknowledgebasesspecificationandsemantics |