Evolving knowledge bases: specification and semantics
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Amsterdam
IOS Press
c2003
|
| Series: | Frontiers in artificial intelligence and applications
v. 81 Frontiers in artificial intelligence and applications |
| Subjects: | |
| Online Access: | FAW01 FAW02 Volltext |
| Item Description: | Includes bibliographical references (p. 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 |
| Physical Description: | 1 Online-Ressource (xviii, 307 p.) |
| ISBN: | 1417511451 158603278X 1601294255 4274905713 9781417511457 9781586032784 9781601294258 9784274905711 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043158335 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s2003 |||| o||u| ||||||eng d | ||
| 020 | |a 1417511451 |c electronic bk. |9 1-4175-1145-1 | ||
| 020 | |a 158603278X |c IOS Press |9 1-58603-278-X | ||
| 020 | |a 158603278X |c IOS Press |9 1-58603-278-X | ||
| 020 | |a 1601294255 |9 1-60129-425-5 | ||
| 020 | |a 4274905713 |c Ohmsha |9 4-274-90571-3 | ||
| 020 | |a 4274905713 |c Ohmsha |9 4-274-90571-3 | ||
| 020 | |a 9781417511457 |c electronic bk. |9 978-1-4175-1145-7 | ||
| 020 | |a 9781586032784 |c IOS Press |9 978-1-58603-278-4 | ||
| 020 | |a 9781601294258 |9 978-1-60129-425-8 | ||
| 020 | |a 9784274905711 |c Ohmsha |9 978-4-274-90571-1 | ||
| 035 | |a (OCoLC)632620320 | ||
| 035 | |a (DE-599)BVBBV043158335 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 005.1 |2 22 | |
| 100 | 1 | |a Leite, João Alexandre |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Evolving knowledge bases |b specification and semantics |c João Alexandre Leite |
| 264 | 1 | |a Amsterdam |b IOS Press |c c2003 | |
| 300 | |a 1 Online-Ressource (xviii, 307 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Frontiers in artificial intelligence and applications |v v. 81 | |
| 490 | 0 | |a Frontiers in artificial intelligence and applications | |
| 500 | |a Includes bibliographical references (p. 283-301) | ||
| 500 | |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 | ||
| 500 | |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 | ||
| 650 | 7 | |a COMPUTERS / Programming / Open Source |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Software Development & Engineering / Tools |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Software Development & Engineering / General |2 bisacsh | |
| 650 | 7 | |a Expert systems (Computer science) |2 fast | |
| 650 | 7 | |a Logic programming |2 fast | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Expert systems (Computer science) | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=110136 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028582526 | ||
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=110136 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=110136 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Record in the Search Index
| _version_ | 1804175625954525184 |
|---|---|
| any_adam_object | |
| author | Leite, João Alexandre |
| author_facet | Leite, João Alexandre |
| author_role | aut |
| author_sort | Leite, João Alexandre |
| author_variant | j a l ja jal |
| building | Verbundindex |
| bvnumber | BV043158335 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)632620320 (DE-599)BVBBV043158335 |
| 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>03079nmm a2200565zcb4500</leader><controlfield tag="001">BV043158335</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s2003 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1417511451</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">1-4175-1145-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">158603278X</subfield><subfield code="c">IOS Press</subfield><subfield code="9">1-58603-278-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">158603278X</subfield><subfield code="c">IOS Press</subfield><subfield code="9">1-58603-278-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1601294255</subfield><subfield code="9">1-60129-425-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">4274905713</subfield><subfield code="c">Ohmsha</subfield><subfield code="9">4-274-90571-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">4274905713</subfield><subfield code="c">Ohmsha</subfield><subfield code="9">4-274-90571-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781417511457</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-1-4175-1145-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781586032784</subfield><subfield code="c">IOS Press</subfield><subfield code="9">978-1-58603-278-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781601294258</subfield><subfield code="9">978-1-60129-425-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9784274905711</subfield><subfield code="c">Ohmsha</subfield><subfield code="9">978-4-274-90571-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)632620320</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043158335</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Leite, João Alexandre</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</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="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">IOS Press</subfield><subfield code="c">c2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xviii, 307 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Frontiers in artificial intelligence and applications</subfield><subfield code="v">v. 81</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Frontiers in artificial intelligence and applications</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. 283-301)</subfield></datafield><datafield tag="500" ind1=" " 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="500" 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="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Programming / Open Source</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Software Development & Engineering / Tools</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Software Development & Engineering / 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="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Expert systems (Computer science)</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=110136</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028582526</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=110136</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=110136</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043158335 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:19:16Z |
| institution | BVB |
| isbn | 1417511451 158603278X 1601294255 4274905713 9781417511457 9781586032784 9781601294258 9784274905711 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028582526 |
| oclc_num | 632620320 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (xviii, 307 p.) |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | IOS Press |
| record_format | marc |
| series2 | Frontiers in artificial intelligence and applications |
| spelling | Leite, João Alexandre Verfasser aut Evolving knowledge bases specification and semantics João Alexandre Leite Amsterdam IOS Press c2003 1 Online-Ressource (xviii, 307 p.) txt rdacontent c rdamedia cr rdacarrier Frontiers in artificial intelligence and applications v. 81 Frontiers in artificial intelligence and applications Includes bibliographical references (p. 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 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 Logic programming Expert systems (Computer science) http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=110136 Aggregator Volltext |
| spellingShingle | Leite, João Alexandre Evolving knowledge bases specification and semantics 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 Logic programming Expert systems (Computer science) |
| 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 | 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 Logic programming Expert systems (Computer science) |
| topic_facet | COMPUTERS / Programming / Open Source COMPUTERS / Software Development & Engineering / Tools COMPUTERS / Software Development & Engineering / General Expert systems (Computer science) Logic programming |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=110136 |
| work_keys_str_mv | AT leitejoaoalexandre evolvingknowledgebasesspecificationandsemantics |