Dynamic Worlds: From the Frame Problem to Knowledge Management
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Dordrecht
Springer Netherlands
1999
|
| Schriftenreihe: | Applied Logic Series
12 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Reasoning is an integral part of intelligent systems in fields like databases, logic programming, robotics, knowledge engineering, human/computer interfaces, programming environments, etc. In reality any such system has to cope with a changing world and its dynamics. Hence it is of great importance that reasoning must account for coping with change in order to be truly useful in practice. The book comprises several contributions to current ways of approaching this problem. On the one hand it surveys and synthesizes recent research work, while on the other hand new research results are included. Among the topics treated are logics for reasoning about actions and planning, belief revision and the reconciliation of logically conflicting inputs, resolving of conflicts by merging of knowledge and issues in the evolution in object-oriented databases. The book is aimed at the researcher and advanced student active in this field |
| Beschreibung: | 1 Online-Ressource (XI, 283 p) |
| ISBN: | 9789401713177 9789048151592 |
| ISSN: | 1386-2790 |
| DOI: | 10.1007/978-94-017-1317-7 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042424246 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s1999 |||| o||u| ||||||eng d | ||
| 020 | |a 9789401713177 |c Online |9 978-94-017-1317-7 | ||
| 020 | |a 9789048151592 |c Print |9 978-90-481-5159-2 | ||
| 024 | 7 | |a 10.1007/978-94-017-1317-7 |2 doi | |
| 035 | |a (OCoLC)863948144 | ||
| 035 | |a (DE-599)BVBBV042424246 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-703 |a DE-91 |a DE-634 | ||
| 082 | 0 | |a 160 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 100 | 1 | |a Pareschi, Remo |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Dynamic Worlds |b From the Frame Problem to Knowledge Management |c edited by Remo Pareschi, Bertram Fronhöfer |
| 264 | 1 | |a Dordrecht |b Springer Netherlands |c 1999 | |
| 300 | |a 1 Online-Ressource (XI, 283 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Applied Logic Series |v 12 |x 1386-2790 | |
| 500 | |a Reasoning is an integral part of intelligent systems in fields like databases, logic programming, robotics, knowledge engineering, human/computer interfaces, programming environments, etc. In reality any such system has to cope with a changing world and its dynamics. Hence it is of great importance that reasoning must account for coping with change in order to be truly useful in practice. The book comprises several contributions to current ways of approaching this problem. On the one hand it surveys and synthesizes recent research work, while on the other hand new research results are included. Among the topics treated are logics for reasoning about actions and planning, belief revision and the reconciliation of logically conflicting inputs, resolving of conflicts by merging of knowledge and issues in the evolution in object-oriented databases. The book is aimed at the researcher and advanced student active in this field | ||
| 650 | 4 | |a Philosophy (General) | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Data structures (Computer science) | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Philosophy | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Data Structures, Cryptology and Information Theory | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Philosophie | |
| 650 | 0 | 7 | |a Handlungslogik |0 (DE-588)4140940-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Nichtmonotones Schließen |0 (DE-588)4210699-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Nichtmonotones Schließen |0 (DE-588)4210699-0 |D s |
| 689 | 0 | 1 | |a Handlungslogik |0 (DE-588)4140940-1 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Fronhöfer, Bertram |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-94-017-1317-7 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SMA |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-SMA_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027859663 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804153100988055552 |
|---|---|
| any_adam_object | |
| author | Pareschi, Remo |
| author_facet | Pareschi, Remo |
| author_role | aut |
| author_sort | Pareschi, Remo |
| author_variant | r p rp |
| building | Verbundindex |
| bvnumber | BV042424246 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)863948144 (DE-599)BVBBV042424246 |
| dewey-full | 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160 |
| dewey-search | 160 |
| dewey-sort | 3160 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Mathematik Philosophie |
| doi_str_mv | 10.1007/978-94-017-1317-7 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03077nmm a2200577zcb4500</leader><controlfield tag="001">BV042424246</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s1999 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789401713177</subfield><subfield code="c">Online</subfield><subfield code="9">978-94-017-1317-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789048151592</subfield><subfield code="c">Print</subfield><subfield code="9">978-90-481-5159-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-94-017-1317-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863948144</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042424246</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-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Pareschi, Remo</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Dynamic Worlds</subfield><subfield code="b">From the Frame Problem to Knowledge Management</subfield><subfield code="c">edited by Remo Pareschi, Bertram Fronhöfer</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Springer Netherlands</subfield><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XI, 283 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">Applied Logic Series</subfield><subfield code="v">12</subfield><subfield code="x">1386-2790</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Reasoning is an integral part of intelligent systems in fields like databases, logic programming, robotics, knowledge engineering, human/computer interfaces, programming environments, etc. In reality any such system has to cope with a changing world and its dynamics. Hence it is of great importance that reasoning must account for coping with change in order to be truly useful in practice. The book comprises several contributions to current ways of approaching this problem. On the one hand it surveys and synthesizes recent research work, while on the other hand new research results are included. Among the topics treated are logics for reasoning about actions and planning, belief revision and the reconciliation of logically conflicting inputs, resolving of conflicts by merging of knowledge and issues in the evolution in object-oriented databases. The book is aimed at the researcher and advanced student active in this field</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy (General)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data structures (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence (incl. Robotics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data Structures, Cryptology and Information Theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Handlungslogik</subfield><subfield code="0">(DE-588)4140940-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nichtmonotones Schließen</subfield><subfield code="0">(DE-588)4210699-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Nichtmonotones Schließen</subfield><subfield code="0">(DE-588)4210699-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Handlungslogik</subfield><subfield code="0">(DE-588)4140940-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fronhöfer, Bertram</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-94-017-1317-7</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027859663</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV042424246 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:15Z |
| institution | BVB |
| isbn | 9789401713177 9789048151592 |
| issn | 1386-2790 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027859663 |
| oclc_num | 863948144 |
| open_access_boolean | |
| owner | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| owner_facet | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| physical | 1 Online-Ressource (XI, 283 p) |
| psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
| publishDate | 1999 |
| publishDateSearch | 1999 |
| publishDateSort | 1999 |
| publisher | Springer Netherlands |
| record_format | marc |
| series2 | Applied Logic Series |
| spelling | Pareschi, Remo Verfasser aut Dynamic Worlds From the Frame Problem to Knowledge Management edited by Remo Pareschi, Bertram Fronhöfer Dordrecht Springer Netherlands 1999 1 Online-Ressource (XI, 283 p) txt rdacontent c rdamedia cr rdacarrier Applied Logic Series 12 1386-2790 Reasoning is an integral part of intelligent systems in fields like databases, logic programming, robotics, knowledge engineering, human/computer interfaces, programming environments, etc. In reality any such system has to cope with a changing world and its dynamics. Hence it is of great importance that reasoning must account for coping with change in order to be truly useful in practice. The book comprises several contributions to current ways of approaching this problem. On the one hand it surveys and synthesizes recent research work, while on the other hand new research results are included. Among the topics treated are logics for reasoning about actions and planning, belief revision and the reconciliation of logically conflicting inputs, resolving of conflicts by merging of knowledge and issues in the evolution in object-oriented databases. The book is aimed at the researcher and advanced student active in this field Philosophy (General) Logic Data structures (Computer science) Artificial intelligence Philosophy Artificial Intelligence (incl. Robotics) Data Structures, Cryptology and Information Theory Künstliche Intelligenz Philosophie Handlungslogik (DE-588)4140940-1 gnd rswk-swf Nichtmonotones Schließen (DE-588)4210699-0 gnd rswk-swf 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content Nichtmonotones Schließen (DE-588)4210699-0 s Handlungslogik (DE-588)4140940-1 s 2\p DE-604 Fronhöfer, Bertram Sonstige oth https://doi.org/10.1007/978-94-017-1317-7 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Pareschi, Remo Dynamic Worlds From the Frame Problem to Knowledge Management Philosophy (General) Logic Data structures (Computer science) Artificial intelligence Philosophy Artificial Intelligence (incl. Robotics) Data Structures, Cryptology and Information Theory Künstliche Intelligenz Philosophie Handlungslogik (DE-588)4140940-1 gnd Nichtmonotones Schließen (DE-588)4210699-0 gnd |
| subject_GND | (DE-588)4140940-1 (DE-588)4210699-0 (DE-588)4143413-4 |
| title | Dynamic Worlds From the Frame Problem to Knowledge Management |
| title_auth | Dynamic Worlds From the Frame Problem to Knowledge Management |
| title_exact_search | Dynamic Worlds From the Frame Problem to Knowledge Management |
| title_full | Dynamic Worlds From the Frame Problem to Knowledge Management edited by Remo Pareschi, Bertram Fronhöfer |
| title_fullStr | Dynamic Worlds From the Frame Problem to Knowledge Management edited by Remo Pareschi, Bertram Fronhöfer |
| title_full_unstemmed | Dynamic Worlds From the Frame Problem to Knowledge Management edited by Remo Pareschi, Bertram Fronhöfer |
| title_short | Dynamic Worlds |
| title_sort | dynamic worlds from the frame problem to knowledge management |
| title_sub | From the Frame Problem to Knowledge Management |
| topic | Philosophy (General) Logic Data structures (Computer science) Artificial intelligence Philosophy Artificial Intelligence (incl. Robotics) Data Structures, Cryptology and Information Theory Künstliche Intelligenz Philosophie Handlungslogik (DE-588)4140940-1 gnd Nichtmonotones Schließen (DE-588)4210699-0 gnd |
| topic_facet | Philosophy (General) Logic Data structures (Computer science) Artificial intelligence Philosophy Artificial Intelligence (incl. Robotics) Data Structures, Cryptology and Information Theory Künstliche Intelligenz Philosophie Handlungslogik Nichtmonotones Schließen Aufsatzsammlung |
| url | https://doi.org/10.1007/978-94-017-1317-7 |
| work_keys_str_mv | AT pareschiremo dynamicworldsfromtheframeproblemtoknowledgemanagement AT fronhoferbertram dynamicworldsfromtheframeproblemtoknowledgemanagement |