Knowledge representation
Growing interest in symbolic representation and reasoning has pushed this backstage activity into the spotlight as a clearly identifiable and technically rich subfield in artificial intelligence. This collection of extended versions of 12 papers from the First International Conference on Principles...
Ausführliche Beschreibung
Gespeichert in:
| Autor*in: |
Levesque, Hector J. - 1951- Brachman, Ronald J. - 1949- |
|---|
| Format: |
E-Book |
|---|---|
| Sprache: |
Englisch |
| Erschienen: |
Cambridge, Mass: MIT Press ; 1992 |
|---|---|
| Ausgabe: |
1st MIT Press ed |
| Schlagwörter: |
|---|
| Systematik: |
|
|---|
| Anmerkung: |
"A Bradford book "Reprinted from Artificial intelligence, an international journal, volume 49, numbers 1-3, 1991"--Title page verso Includes bibliographical references and indexes |
|---|---|
| Umfang: |
Online-Ressource (408 pages) ; illustrations |
| Reproduktion: |
Online-Ausg. |
|---|
| Reihe: |
Special issues of Artificial intelligence, an international journal |
|---|
| Links: | |
|---|---|
| ISBN: |
0-262-29105-3 0-262-52168-7 0-262-02344-X 978-0-262-29105-7 978-0-262-52168-0 978-0-262-02344-3 |
| Katalog-ID: |
816666180 |
|---|
| LEADER | 01000cam a22002652 4500 | ||
|---|---|---|---|
| 001 | 816666180 | ||
| 003 | DE-627 | ||
| 005 | 20240204100714.0 | ||
| 007 | cr uuu---uuuuu | ||
| 008 | 150128s1992 xxu|||||o 00| ||eng c | ||
| 020 | |a 0262291053 |c electronic bk. |9 0-262-29105-3 | ||
| 020 | |a 0262521687 |9 0-262-52168-7 | ||
| 020 | |a 026202344X |9 0-262-02344-X | ||
| 020 | |a 9780262291057 |c : electronic bk. |9 978-0-262-29105-7 | ||
| 020 | |a 9780262521680 |9 978-0-262-52168-0 | ||
| 020 | |a 9780262023443 |9 978-0-262-02344-3 | ||
| 035 | |a (DE-627)816666180 | ||
| 035 | |a (DE-576)9816666189 | ||
| 035 | |a (DE-599)GBV816666180 | ||
| 035 | |a (OCoLC)820731322 | ||
| 035 | |a (MITPRESS)6267507 | ||
| 035 | |a (EBP)055120261 | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
| 041 | |a eng | ||
| 044 | |c XD-US | ||
| 050 | 0 | |a Q387 | |
| 084 | |a SS 1989 |2 rvk |0 (DE-625)rvk/143426: | ||
| 084 | |a 54.72 |2 bcl | ||
| 245 | 1 | 0 | |a Knowledge representation |c edited by Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter |
| 250 | |a 1st MIT Press ed | ||
| 264 | 1 | |a Cambridge, Mass |b MIT Press |c 1992 | |
| 300 | |a Online-Ressource (408 pages) |b illustrations | ||
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a Computermedien |b c |2 rdamedia | ||
| 338 | |a Online-Ressource |b cr |2 rdacarrier | ||
| 490 | 0 | |a Special issues of Artificial intelligence, an international journal | |
| 500 | |a "A Bradford book | ||
| 500 | |a "Reprinted from Artificial intelligence, an international journal, volume 49, numbers 1-3, 1991"--Title page verso | ||
| 500 | |a Includes bibliographical references and indexes | ||
| 505 | 8 | 0 | |t Introduction to the special volume on knowledge representation |r R.J. Brachman, H.J. Levesque and R. ReiterNonmonotonic reasoning in the framework of situation calculus / A.B. Baker |
| 505 | 8 | 0 | |t The computational complexity of abduction |r T. Bylander [and others] |
| 505 | 8 | 0 | |t Temporal constraint networks |r R. Dechter, I. Meiri, J. Pearl |
| 505 | 8 | 0 | |t Impediments to universal preference-based default theories |r J. Doyle, M.P. Wellman |
| 505 | 8 | 0 | |t Embedding decision-analytic control in a learning architecture |r O. Etzioni |
| 505 | 8 | 0 | |t The substitutional framework for sorted deduction: fundamental results on hybrid reasoning |r A.M. Frisch |
| 505 | 8 | 0 | |t Existence assumptions in knowledge representation |r G. Hirst |
| 505 | 8 | 0 | |t Hard problems for simple default logics |r H.A. Kautz, B. Selman |
| 505 | 8 | 0 | |t The effect of knowledge on belief: conditioning, specificity and the lottery paradox in default reasoning |r D. Poole |
| 505 | 8 | 0 | |t Three-valued nonmonotonic formalisms and semantics of logic programs |r T. Przymusinski |
| 505 | 8 | 0 | |t On the applicability of nonmonotonic logic to formal reasoning in continuous time |r M. Rayner |
| 505 | 8 | 0 | |t Principles of metareasoning |r S. Russell, E. Wafald. |
| 520 | |a Growing interest in symbolic representation and reasoning has pushed this backstage activity into the spotlight as a clearly identifiable and technically rich subfield in artificial intelligence. This collection of extended versions of 12 papers from the First International Conference on Principles of Knowledge Representation and Reasoning provides a snapshot of the best current work in AI on formal methods and principles of representation and reasoning. The topics range from temporal reasoning to default reasoning to representations for natural language.Ronald J. Brachman is Head of the Artificial Intelligence Principles Research Department at AT&T Bell Laboratories. Hector J. Levesque and Raymond Reiter are Professors of Computer Science at the University of Toronto.Contents: Introduction. Nonmonotonic Reasoning in the Framework of Situation Calculus. The Computational Complexity of Abduction. Temporal Constraint Networks. Impediments to Universal Preference-Based Default Theories. Embedding Decision-Analytic Control in a Learning Architecture. The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. Existence Assumptions in Knowledge Representation. Hard Problems for Simple Default Logics. The Effect of Knowledge on Belief: Conditioning, Specificity and the Lottery Paradox in Default Reasoning. Three-Valued Nonmonotonic Formalisms and Semantics of Logic Programs. On the Applicability of Nonmonotonic Logic to Formal Reasoning in Continuous Time. Principles of Metareasoning. | ||
| 533 | |a Online-Ausg. | ||
| 650 | 0 | |a Knowledge representation (Information theory) | |
| 650 | 4 | |a Knowledge representation (Information theory) | |
| 700 | 1 | |a Levesque, Hector J. |d 1951- |4 oth | |
| 700 | 1 | |a Brachman, Ronald J. |d 1949- |4 oth | |
| 700 | 1 | |a Reiter, Ray |4 oth | |
| 776 | 1 | |z 0262521687 | |
| 776 | 0 | 8 | |i Print version |a Knowledge representation |w (DLC)91005050 |
| 856 | 4 | 0 | |u https://ieeexplore.ieee.org/book/6267507 |m X:MITPRESS |x Verlag |y IEEE Xplore |z lizenzpflichtig |3 Volltext |
| 856 | 4 | 2 | |u http://www.gbv.de/dms/bowker/toc/9780262521680.pdf |m V:DE-601 |m X:Bowker |q pdf/application |v 2015-03-18 |x Verlag |y Inhaltsverzeichnis |3 Inhaltsverzeichnis |
| 912 | |a ZDB-37-IEM |b 2012 | ||
| 912 | |a GBV_ILN_22 | ||
| 912 | |a ISIL_DE-18 | ||
| 912 | |a SYSFLAG_1 | ||
| 912 | |a GBV_KXP | ||
| 912 | |a GBV_ILN_22_i22818 | ||
| 912 | |a GBV_ILN_23 | ||
| 912 | |a ISIL_DE-830 | ||
| 912 | |a GBV_ILN_100 | ||
| 912 | |a ISIL_DE-Ma9 | ||
| 912 | |a GBV_ILN_370 | ||
| 912 | |a ISIL_DE-1373 | ||
| 912 | |a GBV_ILN_2015 | ||
| 912 | |a ISIL_DE-93 | ||
| 936 | r | v | |a SS 1989 |b Veranstaltungsjahr 1989 |k Informatik |k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen |k Kongressberichte |k Veranstaltungsjahr 1989 |0 (DE-627)1271684306 |0 (DE-625)rvk/143426: |0 (DE-576)201684306 |
| 951 | |a BO | ||
| 953 | |2 045F |a 003/.54 | ||
| 980 | |2 22 |1 01 |x 0018 |b 384846912X |h olrm-h228-MITIEEE |y zi22818 |z 03-02-21 | ||
| 980 | |2 23 |1 01 |x 0830 |b 1521011583 |h olr-MIT |u i |y z |z 31-01-15 | ||
| 980 | |2 100 |1 01 |x 3100 |b 4472462672 |c 09 |f --%%-- |d eBook MIT Press |e --%%-- |j --%%-- |h OLR-MIT-CEC |k Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. |y z |z 30-01-24 | ||
| 980 | |2 370 |1 01 |x 4370 |b 4011215139 |h olr-ebook mitieee |k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. |u i |y z |z 01-12-21 | ||
| 980 | |2 2015 |1 01 |x DE-93 |b 3740750650 |c 00 |f --%%-- |d --%%-- |e p |j --%%-- |k Campuslizenz |y l01 |z 18-08-20 | ||
| 981 | |2 22 |1 01 |x 0018 |y Volltextzugang Campus |r https://ieeexplore.ieee.org/book/6267507 | ||
| 981 | |2 22 |1 01 |x 0018 |y Nur für Angehörige der Universität Hamburg: Volltextzugang von außerhalb des Campus |r http://emedien.sub.uni-hamburg.de/han/ieee/ieeexplore.ieee.org/book/6267507 | ||
| 981 | |2 23 |1 01 |x 0830 |y MIT Press EBook |r https://ieeexplore.ieee.org/book/6267507 | ||
| 981 | |2 100 |1 01 |x 3100 |r https://ieeexplore.ieee.org/book/6267507 | ||
| 981 | |2 100 |1 01 |x 3100 |y für Uniangehörige: Zugang weltweit |r http://han.med.uni-magdeburg.de/han/mitvia-ieee/ieeexplore.ieee.org/book/6267507 | ||
| 981 | |2 370 |1 01 |x 4370 |y E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich |r https://ieeexplore.ieee.org/book/6267507 | ||
| 981 | |2 2015 |1 01 |x DE-93 |r https://ieeexplore.ieee.org/book/6267507 | ||
| 985 | |2 23 |1 01 |x 0830 |a 2018-01805, 2018-01806, 2018-01808 | ||
| 995 | |2 22 |1 01 |x 0018 |a olrm-h228-MITIEEE | ||
| 995 | |2 23 |1 01 |x 0830 |a olr-MIT | ||
| 995 | |2 100 |1 01 |x 3100 |a OLR-MIT-CEC | ||
| 995 | |2 370 |1 01 |x 4370 |a olr-ebook mitieee | ||
| 998 | |2 23 |1 01 |x 0830 |0 2015.01.31 | ||
| 998 | |2 370 |1 01 |x 4370 |0 2021.12.01 | ||
| matchkey_str |
book:9780262291057:1992---- |
|---|---|
| oclc_num |
820731322 |
| hierarchy_sort_str |
1992 |
| bklnumber |
54.72 |
| callnumber-subject-code |
Q |
| publishDate |
1992 |
| allfields |
0262291053 electronic bk. 0-262-29105-3 0262521687 0-262-52168-7 026202344X 0-262-02344-X 9780262291057 : electronic bk. 978-0-262-29105-7 9780262521680 978-0-262-52168-0 9780262023443 978-0-262-02344-3 (DE-627)816666180 (DE-576)9816666189 (DE-599)GBV816666180 (OCoLC)820731322 (MITPRESS)6267507 (EBP)055120261 DE-627 ger DE-627 rakwb eng XD-US Q387 SS 1989 rvk (DE-625)rvk/143426: 54.72 bcl Knowledge representation edited by Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter 1st MIT Press ed Cambridge, Mass MIT Press 1992 Online-Ressource (408 pages) illustrations Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Special issues of Artificial intelligence, an international journal "A Bradford book "Reprinted from Artificial intelligence, an international journal, volume 49, numbers 1-3, 1991"--Title page verso Includes bibliographical references and indexes Introduction to the special volume on knowledge representation R.J. Brachman, H.J. Levesque and R. ReiterNonmonotonic reasoning in the framework of situation calculus / A.B. Baker The computational complexity of abduction T. Bylander [and others] Temporal constraint networks R. Dechter, I. Meiri, J. Pearl Impediments to universal preference-based default theories J. Doyle, M.P. Wellman Embedding decision-analytic control in a learning architecture O. Etzioni The substitutional framework for sorted deduction: fundamental results on hybrid reasoning A.M. Frisch Existence assumptions in knowledge representation G. Hirst Hard problems for simple default logics H.A. Kautz, B. Selman The effect of knowledge on belief: conditioning, specificity and the lottery paradox in default reasoning D. Poole Three-valued nonmonotonic formalisms and semantics of logic programs T. Przymusinski On the applicability of nonmonotonic logic to formal reasoning in continuous time M. Rayner Principles of metareasoning S. Russell, E. Wafald. Growing interest in symbolic representation and reasoning has pushed this backstage activity into the spotlight as a clearly identifiable and technically rich subfield in artificial intelligence. This collection of extended versions of 12 papers from the First International Conference on Principles of Knowledge Representation and Reasoning provides a snapshot of the best current work in AI on formal methods and principles of representation and reasoning. The topics range from temporal reasoning to default reasoning to representations for natural language.Ronald J. Brachman is Head of the Artificial Intelligence Principles Research Department at AT&T Bell Laboratories. Hector J. Levesque and Raymond Reiter are Professors of Computer Science at the University of Toronto.Contents: Introduction. Nonmonotonic Reasoning in the Framework of Situation Calculus. The Computational Complexity of Abduction. Temporal Constraint Networks. Impediments to Universal Preference-Based Default Theories. Embedding Decision-Analytic Control in a Learning Architecture. The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. Existence Assumptions in Knowledge Representation. Hard Problems for Simple Default Logics. The Effect of Knowledge on Belief: Conditioning, Specificity and the Lottery Paradox in Default Reasoning. Three-Valued Nonmonotonic Formalisms and Semantics of Logic Programs. On the Applicability of Nonmonotonic Logic to Formal Reasoning in Continuous Time. Principles of Metareasoning. Online-Ausg. Knowledge representation (Information theory) Knowledge representation (Information theory) Levesque, Hector J. 1951- oth Brachman, Ronald J. 1949- oth Reiter, Ray oth 0262521687 Print version Knowledge representation (DLC)91005050 https://ieeexplore.ieee.org/book/6267507 X:MITPRESS Verlag IEEE Xplore lizenzpflichtig Volltext http://www.gbv.de/dms/bowker/toc/9780262521680.pdf V:DE-601 X:Bowker pdf/application 2015-03-18 Verlag Inhaltsverzeichnis Inhaltsverzeichnis ZDB-37-IEM 2012 GBV_ILN_22 ISIL_DE-18 SYSFLAG_1 GBV_KXP GBV_ILN_22_i22818 GBV_ILN_23 ISIL_DE-830 GBV_ILN_100 ISIL_DE-Ma9 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_2015 ISIL_DE-93 SS 1989 Veranstaltungsjahr 1989 Informatik Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen Kongressberichte Veranstaltungsjahr 1989 (DE-627)1271684306 (DE-625)rvk/143426: (DE-576)201684306 BO 045F 003/.54 22 01 0018 384846912X olrm-h228-MITIEEE zi22818 03-02-21 23 01 0830 1521011583 olr-MIT i z 31-01-15 100 01 3100 4472462672 09 --%%-- eBook MIT Press --%%-- --%%-- OLR-MIT-CEC Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. z 30-01-24 370 01 4370 4011215139 olr-ebook mitieee Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. i z 01-12-21 2015 01 DE-93 3740750650 00 --%%-- --%%-- p --%%-- Campuslizenz l01 18-08-20 22 01 0018 Volltextzugang Campus https://ieeexplore.ieee.org/book/6267507 22 01 0018 Nur für Angehörige der Universität Hamburg: Volltextzugang von außerhalb des Campus http://emedien.sub.uni-hamburg.de/han/ieee/ieeexplore.ieee.org/book/6267507 23 01 0830 MIT Press EBook https://ieeexplore.ieee.org/book/6267507 100 01 3100 https://ieeexplore.ieee.org/book/6267507 100 01 3100 für Uniangehörige: Zugang weltweit http://han.med.uni-magdeburg.de/han/mitvia-ieee/ieeexplore.ieee.org/book/6267507 370 01 4370 E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich https://ieeexplore.ieee.org/book/6267507 2015 01 DE-93 https://ieeexplore.ieee.org/book/6267507 23 01 0830 2018-01805, 2018-01806, 2018-01808 22 01 0018 olrm-h228-MITIEEE 23 01 0830 olr-MIT 100 01 3100 OLR-MIT-CEC 370 01 4370 olr-ebook mitieee 23 01 0830 2015.01.31 370 01 4370 2021.12.01 |
| spelling |
0262291053 electronic bk. 0-262-29105-3 0262521687 0-262-52168-7 026202344X 0-262-02344-X 9780262291057 : electronic bk. 978-0-262-29105-7 9780262521680 978-0-262-52168-0 9780262023443 978-0-262-02344-3 (DE-627)816666180 (DE-576)9816666189 (DE-599)GBV816666180 (OCoLC)820731322 (MITPRESS)6267507 (EBP)055120261 DE-627 ger DE-627 rakwb eng XD-US Q387 SS 1989 rvk (DE-625)rvk/143426: 54.72 bcl Knowledge representation edited by Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter 1st MIT Press ed Cambridge, Mass MIT Press 1992 Online-Ressource (408 pages) illustrations Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Special issues of Artificial intelligence, an international journal "A Bradford book "Reprinted from Artificial intelligence, an international journal, volume 49, numbers 1-3, 1991"--Title page verso Includes bibliographical references and indexes Introduction to the special volume on knowledge representation R.J. Brachman, H.J. Levesque and R. ReiterNonmonotonic reasoning in the framework of situation calculus / A.B. Baker The computational complexity of abduction T. Bylander [and others] Temporal constraint networks R. Dechter, I. Meiri, J. Pearl Impediments to universal preference-based default theories J. Doyle, M.P. Wellman Embedding decision-analytic control in a learning architecture O. Etzioni The substitutional framework for sorted deduction: fundamental results on hybrid reasoning A.M. Frisch Existence assumptions in knowledge representation G. Hirst Hard problems for simple default logics H.A. Kautz, B. Selman The effect of knowledge on belief: conditioning, specificity and the lottery paradox in default reasoning D. Poole Three-valued nonmonotonic formalisms and semantics of logic programs T. Przymusinski On the applicability of nonmonotonic logic to formal reasoning in continuous time M. Rayner Principles of metareasoning S. Russell, E. Wafald. Growing interest in symbolic representation and reasoning has pushed this backstage activity into the spotlight as a clearly identifiable and technically rich subfield in artificial intelligence. This collection of extended versions of 12 papers from the First International Conference on Principles of Knowledge Representation and Reasoning provides a snapshot of the best current work in AI on formal methods and principles of representation and reasoning. The topics range from temporal reasoning to default reasoning to representations for natural language.Ronald J. Brachman is Head of the Artificial Intelligence Principles Research Department at AT&T Bell Laboratories. Hector J. Levesque and Raymond Reiter are Professors of Computer Science at the University of Toronto.Contents: Introduction. Nonmonotonic Reasoning in the Framework of Situation Calculus. The Computational Complexity of Abduction. Temporal Constraint Networks. Impediments to Universal Preference-Based Default Theories. Embedding Decision-Analytic Control in a Learning Architecture. The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. Existence Assumptions in Knowledge Representation. Hard Problems for Simple Default Logics. The Effect of Knowledge on Belief: Conditioning, Specificity and the Lottery Paradox in Default Reasoning. Three-Valued Nonmonotonic Formalisms and Semantics of Logic Programs. On the Applicability of Nonmonotonic Logic to Formal Reasoning in Continuous Time. Principles of Metareasoning. Online-Ausg. Knowledge representation (Information theory) Knowledge representation (Information theory) Levesque, Hector J. 1951- oth Brachman, Ronald J. 1949- oth Reiter, Ray oth 0262521687 Print version Knowledge representation (DLC)91005050 https://ieeexplore.ieee.org/book/6267507 X:MITPRESS Verlag IEEE Xplore lizenzpflichtig Volltext http://www.gbv.de/dms/bowker/toc/9780262521680.pdf V:DE-601 X:Bowker pdf/application 2015-03-18 Verlag Inhaltsverzeichnis Inhaltsverzeichnis ZDB-37-IEM 2012 GBV_ILN_22 ISIL_DE-18 SYSFLAG_1 GBV_KXP GBV_ILN_22_i22818 GBV_ILN_23 ISIL_DE-830 GBV_ILN_100 ISIL_DE-Ma9 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_2015 ISIL_DE-93 SS 1989 Veranstaltungsjahr 1989 Informatik Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen Kongressberichte Veranstaltungsjahr 1989 (DE-627)1271684306 (DE-625)rvk/143426: (DE-576)201684306 BO 045F 003/.54 22 01 0018 384846912X olrm-h228-MITIEEE zi22818 03-02-21 23 01 0830 1521011583 olr-MIT i z 31-01-15 100 01 3100 4472462672 09 --%%-- eBook MIT Press --%%-- --%%-- OLR-MIT-CEC Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. z 30-01-24 370 01 4370 4011215139 olr-ebook mitieee Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. i z 01-12-21 2015 01 DE-93 3740750650 00 --%%-- --%%-- p --%%-- Campuslizenz l01 18-08-20 22 01 0018 Volltextzugang Campus https://ieeexplore.ieee.org/book/6267507 22 01 0018 Nur für Angehörige der Universität Hamburg: Volltextzugang von außerhalb des Campus http://emedien.sub.uni-hamburg.de/han/ieee/ieeexplore.ieee.org/book/6267507 23 01 0830 MIT Press EBook https://ieeexplore.ieee.org/book/6267507 100 01 3100 https://ieeexplore.ieee.org/book/6267507 100 01 3100 für Uniangehörige: Zugang weltweit http://han.med.uni-magdeburg.de/han/mitvia-ieee/ieeexplore.ieee.org/book/6267507 370 01 4370 E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich https://ieeexplore.ieee.org/book/6267507 2015 01 DE-93 https://ieeexplore.ieee.org/book/6267507 23 01 0830 2018-01805, 2018-01806, 2018-01808 22 01 0018 olrm-h228-MITIEEE 23 01 0830 olr-MIT 100 01 3100 OLR-MIT-CEC 370 01 4370 olr-ebook mitieee 23 01 0830 2015.01.31 370 01 4370 2021.12.01 |
| allfields_unstemmed |
0262291053 electronic bk. 0-262-29105-3 0262521687 0-262-52168-7 026202344X 0-262-02344-X 9780262291057 : electronic bk. 978-0-262-29105-7 9780262521680 978-0-262-52168-0 9780262023443 978-0-262-02344-3 (DE-627)816666180 (DE-576)9816666189 (DE-599)GBV816666180 (OCoLC)820731322 (MITPRESS)6267507 (EBP)055120261 DE-627 ger DE-627 rakwb eng XD-US Q387 SS 1989 rvk (DE-625)rvk/143426: 54.72 bcl Knowledge representation edited by Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter 1st MIT Press ed Cambridge, Mass MIT Press 1992 Online-Ressource (408 pages) illustrations Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Special issues of Artificial intelligence, an international journal "A Bradford book "Reprinted from Artificial intelligence, an international journal, volume 49, numbers 1-3, 1991"--Title page verso Includes bibliographical references and indexes Introduction to the special volume on knowledge representation R.J. Brachman, H.J. Levesque and R. ReiterNonmonotonic reasoning in the framework of situation calculus / A.B. Baker The computational complexity of abduction T. Bylander [and others] Temporal constraint networks R. Dechter, I. Meiri, J. Pearl Impediments to universal preference-based default theories J. Doyle, M.P. Wellman Embedding decision-analytic control in a learning architecture O. Etzioni The substitutional framework for sorted deduction: fundamental results on hybrid reasoning A.M. Frisch Existence assumptions in knowledge representation G. Hirst Hard problems for simple default logics H.A. Kautz, B. Selman The effect of knowledge on belief: conditioning, specificity and the lottery paradox in default reasoning D. Poole Three-valued nonmonotonic formalisms and semantics of logic programs T. Przymusinski On the applicability of nonmonotonic logic to formal reasoning in continuous time M. Rayner Principles of metareasoning S. Russell, E. Wafald. Growing interest in symbolic representation and reasoning has pushed this backstage activity into the spotlight as a clearly identifiable and technically rich subfield in artificial intelligence. This collection of extended versions of 12 papers from the First International Conference on Principles of Knowledge Representation and Reasoning provides a snapshot of the best current work in AI on formal methods and principles of representation and reasoning. The topics range from temporal reasoning to default reasoning to representations for natural language.Ronald J. Brachman is Head of the Artificial Intelligence Principles Research Department at AT&T Bell Laboratories. Hector J. Levesque and Raymond Reiter are Professors of Computer Science at the University of Toronto.Contents: Introduction. Nonmonotonic Reasoning in the Framework of Situation Calculus. The Computational Complexity of Abduction. Temporal Constraint Networks. Impediments to Universal Preference-Based Default Theories. Embedding Decision-Analytic Control in a Learning Architecture. The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. Existence Assumptions in Knowledge Representation. Hard Problems for Simple Default Logics. The Effect of Knowledge on Belief: Conditioning, Specificity and the Lottery Paradox in Default Reasoning. Three-Valued Nonmonotonic Formalisms and Semantics of Logic Programs. On the Applicability of Nonmonotonic Logic to Formal Reasoning in Continuous Time. Principles of Metareasoning. Online-Ausg. Knowledge representation (Information theory) Knowledge representation (Information theory) Levesque, Hector J. 1951- oth Brachman, Ronald J. 1949- oth Reiter, Ray oth 0262521687 Print version Knowledge representation (DLC)91005050 https://ieeexplore.ieee.org/book/6267507 X:MITPRESS Verlag IEEE Xplore lizenzpflichtig Volltext http://www.gbv.de/dms/bowker/toc/9780262521680.pdf V:DE-601 X:Bowker pdf/application 2015-03-18 Verlag Inhaltsverzeichnis Inhaltsverzeichnis ZDB-37-IEM 2012 GBV_ILN_22 ISIL_DE-18 SYSFLAG_1 GBV_KXP GBV_ILN_22_i22818 GBV_ILN_23 ISIL_DE-830 GBV_ILN_100 ISIL_DE-Ma9 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_2015 ISIL_DE-93 SS 1989 Veranstaltungsjahr 1989 Informatik Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen Kongressberichte Veranstaltungsjahr 1989 (DE-627)1271684306 (DE-625)rvk/143426: (DE-576)201684306 BO 045F 003/.54 22 01 0018 384846912X olrm-h228-MITIEEE zi22818 03-02-21 23 01 0830 1521011583 olr-MIT i z 31-01-15 100 01 3100 4472462672 09 --%%-- eBook MIT Press --%%-- --%%-- OLR-MIT-CEC Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. z 30-01-24 370 01 4370 4011215139 olr-ebook mitieee Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. i z 01-12-21 2015 01 DE-93 3740750650 00 --%%-- --%%-- p --%%-- Campuslizenz l01 18-08-20 22 01 0018 Volltextzugang Campus https://ieeexplore.ieee.org/book/6267507 22 01 0018 Nur für Angehörige der Universität Hamburg: Volltextzugang von außerhalb des Campus http://emedien.sub.uni-hamburg.de/han/ieee/ieeexplore.ieee.org/book/6267507 23 01 0830 MIT Press EBook https://ieeexplore.ieee.org/book/6267507 100 01 3100 https://ieeexplore.ieee.org/book/6267507 100 01 3100 für Uniangehörige: Zugang weltweit http://han.med.uni-magdeburg.de/han/mitvia-ieee/ieeexplore.ieee.org/book/6267507 370 01 4370 E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich https://ieeexplore.ieee.org/book/6267507 2015 01 DE-93 https://ieeexplore.ieee.org/book/6267507 23 01 0830 2018-01805, 2018-01806, 2018-01808 22 01 0018 olrm-h228-MITIEEE 23 01 0830 olr-MIT 100 01 3100 OLR-MIT-CEC 370 01 4370 olr-ebook mitieee 23 01 0830 2015.01.31 370 01 4370 2021.12.01 |
| allfieldsGer |
0262291053 electronic bk. 0-262-29105-3 0262521687 0-262-52168-7 026202344X 0-262-02344-X 9780262291057 : electronic bk. 978-0-262-29105-7 9780262521680 978-0-262-52168-0 9780262023443 978-0-262-02344-3 (DE-627)816666180 (DE-576)9816666189 (DE-599)GBV816666180 (OCoLC)820731322 (MITPRESS)6267507 (EBP)055120261 DE-627 ger DE-627 rakwb eng XD-US Q387 SS 1989 rvk (DE-625)rvk/143426: 54.72 bcl Knowledge representation edited by Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter 1st MIT Press ed Cambridge, Mass MIT Press 1992 Online-Ressource (408 pages) illustrations Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Special issues of Artificial intelligence, an international journal "A Bradford book "Reprinted from Artificial intelligence, an international journal, volume 49, numbers 1-3, 1991"--Title page verso Includes bibliographical references and indexes Introduction to the special volume on knowledge representation R.J. Brachman, H.J. Levesque and R. ReiterNonmonotonic reasoning in the framework of situation calculus / A.B. Baker The computational complexity of abduction T. Bylander [and others] Temporal constraint networks R. Dechter, I. Meiri, J. Pearl Impediments to universal preference-based default theories J. Doyle, M.P. Wellman Embedding decision-analytic control in a learning architecture O. Etzioni The substitutional framework for sorted deduction: fundamental results on hybrid reasoning A.M. Frisch Existence assumptions in knowledge representation G. Hirst Hard problems for simple default logics H.A. Kautz, B. Selman The effect of knowledge on belief: conditioning, specificity and the lottery paradox in default reasoning D. Poole Three-valued nonmonotonic formalisms and semantics of logic programs T. Przymusinski On the applicability of nonmonotonic logic to formal reasoning in continuous time M. Rayner Principles of metareasoning S. Russell, E. Wafald. Growing interest in symbolic representation and reasoning has pushed this backstage activity into the spotlight as a clearly identifiable and technically rich subfield in artificial intelligence. This collection of extended versions of 12 papers from the First International Conference on Principles of Knowledge Representation and Reasoning provides a snapshot of the best current work in AI on formal methods and principles of representation and reasoning. The topics range from temporal reasoning to default reasoning to representations for natural language.Ronald J. Brachman is Head of the Artificial Intelligence Principles Research Department at AT&T Bell Laboratories. Hector J. Levesque and Raymond Reiter are Professors of Computer Science at the University of Toronto.Contents: Introduction. Nonmonotonic Reasoning in the Framework of Situation Calculus. The Computational Complexity of Abduction. Temporal Constraint Networks. Impediments to Universal Preference-Based Default Theories. Embedding Decision-Analytic Control in a Learning Architecture. The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. Existence Assumptions in Knowledge Representation. Hard Problems for Simple Default Logics. The Effect of Knowledge on Belief: Conditioning, Specificity and the Lottery Paradox in Default Reasoning. Three-Valued Nonmonotonic Formalisms and Semantics of Logic Programs. On the Applicability of Nonmonotonic Logic to Formal Reasoning in Continuous Time. Principles of Metareasoning. Online-Ausg. Knowledge representation (Information theory) Knowledge representation (Information theory) Levesque, Hector J. 1951- oth Brachman, Ronald J. 1949- oth Reiter, Ray oth 0262521687 Print version Knowledge representation (DLC)91005050 https://ieeexplore.ieee.org/book/6267507 X:MITPRESS Verlag IEEE Xplore lizenzpflichtig Volltext http://www.gbv.de/dms/bowker/toc/9780262521680.pdf V:DE-601 X:Bowker pdf/application 2015-03-18 Verlag Inhaltsverzeichnis Inhaltsverzeichnis ZDB-37-IEM 2012 GBV_ILN_22 ISIL_DE-18 SYSFLAG_1 GBV_KXP GBV_ILN_22_i22818 GBV_ILN_23 ISIL_DE-830 GBV_ILN_100 ISIL_DE-Ma9 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_2015 ISIL_DE-93 SS 1989 Veranstaltungsjahr 1989 Informatik Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen Kongressberichte Veranstaltungsjahr 1989 (DE-627)1271684306 (DE-625)rvk/143426: (DE-576)201684306 BO 045F 003/.54 22 01 0018 384846912X olrm-h228-MITIEEE zi22818 03-02-21 23 01 0830 1521011583 olr-MIT i z 31-01-15 100 01 3100 4472462672 09 --%%-- eBook MIT Press --%%-- --%%-- OLR-MIT-CEC Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. z 30-01-24 370 01 4370 4011215139 olr-ebook mitieee Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. i z 01-12-21 2015 01 DE-93 3740750650 00 --%%-- --%%-- p --%%-- Campuslizenz l01 18-08-20 22 01 0018 Volltextzugang Campus https://ieeexplore.ieee.org/book/6267507 22 01 0018 Nur für Angehörige der Universität Hamburg: Volltextzugang von außerhalb des Campus http://emedien.sub.uni-hamburg.de/han/ieee/ieeexplore.ieee.org/book/6267507 23 01 0830 MIT Press EBook https://ieeexplore.ieee.org/book/6267507 100 01 3100 https://ieeexplore.ieee.org/book/6267507 100 01 3100 für Uniangehörige: Zugang weltweit http://han.med.uni-magdeburg.de/han/mitvia-ieee/ieeexplore.ieee.org/book/6267507 370 01 4370 E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich https://ieeexplore.ieee.org/book/6267507 2015 01 DE-93 https://ieeexplore.ieee.org/book/6267507 23 01 0830 2018-01805, 2018-01806, 2018-01808 22 01 0018 olrm-h228-MITIEEE 23 01 0830 olr-MIT 100 01 3100 OLR-MIT-CEC 370 01 4370 olr-ebook mitieee 23 01 0830 2015.01.31 370 01 4370 2021.12.01 |
| allfieldsSound |
0262291053 electronic bk. 0-262-29105-3 0262521687 0-262-52168-7 026202344X 0-262-02344-X 9780262291057 : electronic bk. 978-0-262-29105-7 9780262521680 978-0-262-52168-0 9780262023443 978-0-262-02344-3 (DE-627)816666180 (DE-576)9816666189 (DE-599)GBV816666180 (OCoLC)820731322 (MITPRESS)6267507 (EBP)055120261 DE-627 ger DE-627 rakwb eng XD-US Q387 SS 1989 rvk (DE-625)rvk/143426: 54.72 bcl Knowledge representation edited by Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter 1st MIT Press ed Cambridge, Mass MIT Press 1992 Online-Ressource (408 pages) illustrations Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Special issues of Artificial intelligence, an international journal "A Bradford book "Reprinted from Artificial intelligence, an international journal, volume 49, numbers 1-3, 1991"--Title page verso Includes bibliographical references and indexes Introduction to the special volume on knowledge representation R.J. Brachman, H.J. Levesque and R. ReiterNonmonotonic reasoning in the framework of situation calculus / A.B. Baker The computational complexity of abduction T. Bylander [and others] Temporal constraint networks R. Dechter, I. Meiri, J. Pearl Impediments to universal preference-based default theories J. Doyle, M.P. Wellman Embedding decision-analytic control in a learning architecture O. Etzioni The substitutional framework for sorted deduction: fundamental results on hybrid reasoning A.M. Frisch Existence assumptions in knowledge representation G. Hirst Hard problems for simple default logics H.A. Kautz, B. Selman The effect of knowledge on belief: conditioning, specificity and the lottery paradox in default reasoning D. Poole Three-valued nonmonotonic formalisms and semantics of logic programs T. Przymusinski On the applicability of nonmonotonic logic to formal reasoning in continuous time M. Rayner Principles of metareasoning S. Russell, E. Wafald. Growing interest in symbolic representation and reasoning has pushed this backstage activity into the spotlight as a clearly identifiable and technically rich subfield in artificial intelligence. This collection of extended versions of 12 papers from the First International Conference on Principles of Knowledge Representation and Reasoning provides a snapshot of the best current work in AI on formal methods and principles of representation and reasoning. The topics range from temporal reasoning to default reasoning to representations for natural language.Ronald J. Brachman is Head of the Artificial Intelligence Principles Research Department at AT&T Bell Laboratories. Hector J. Levesque and Raymond Reiter are Professors of Computer Science at the University of Toronto.Contents: Introduction. Nonmonotonic Reasoning in the Framework of Situation Calculus. The Computational Complexity of Abduction. Temporal Constraint Networks. Impediments to Universal Preference-Based Default Theories. Embedding Decision-Analytic Control in a Learning Architecture. The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. Existence Assumptions in Knowledge Representation. Hard Problems for Simple Default Logics. The Effect of Knowledge on Belief: Conditioning, Specificity and the Lottery Paradox in Default Reasoning. Three-Valued Nonmonotonic Formalisms and Semantics of Logic Programs. On the Applicability of Nonmonotonic Logic to Formal Reasoning in Continuous Time. Principles of Metareasoning. Online-Ausg. Knowledge representation (Information theory) Knowledge representation (Information theory) Levesque, Hector J. 1951- oth Brachman, Ronald J. 1949- oth Reiter, Ray oth 0262521687 Print version Knowledge representation (DLC)91005050 https://ieeexplore.ieee.org/book/6267507 X:MITPRESS Verlag IEEE Xplore lizenzpflichtig Volltext http://www.gbv.de/dms/bowker/toc/9780262521680.pdf V:DE-601 X:Bowker pdf/application 2015-03-18 Verlag Inhaltsverzeichnis Inhaltsverzeichnis ZDB-37-IEM 2012 GBV_ILN_22 ISIL_DE-18 SYSFLAG_1 GBV_KXP GBV_ILN_22_i22818 GBV_ILN_23 ISIL_DE-830 GBV_ILN_100 ISIL_DE-Ma9 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_2015 ISIL_DE-93 SS 1989 Veranstaltungsjahr 1989 Informatik Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen Kongressberichte Veranstaltungsjahr 1989 (DE-627)1271684306 (DE-625)rvk/143426: (DE-576)201684306 BO 045F 003/.54 22 01 0018 384846912X olrm-h228-MITIEEE zi22818 03-02-21 23 01 0830 1521011583 olr-MIT i z 31-01-15 100 01 3100 4472462672 09 --%%-- eBook MIT Press --%%-- --%%-- OLR-MIT-CEC Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. z 30-01-24 370 01 4370 4011215139 olr-ebook mitieee Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. i z 01-12-21 2015 01 DE-93 3740750650 00 --%%-- --%%-- p --%%-- Campuslizenz l01 18-08-20 22 01 0018 Volltextzugang Campus https://ieeexplore.ieee.org/book/6267507 22 01 0018 Nur für Angehörige der Universität Hamburg: Volltextzugang von außerhalb des Campus http://emedien.sub.uni-hamburg.de/han/ieee/ieeexplore.ieee.org/book/6267507 23 01 0830 MIT Press EBook https://ieeexplore.ieee.org/book/6267507 100 01 3100 https://ieeexplore.ieee.org/book/6267507 100 01 3100 für Uniangehörige: Zugang weltweit http://han.med.uni-magdeburg.de/han/mitvia-ieee/ieeexplore.ieee.org/book/6267507 370 01 4370 E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich https://ieeexplore.ieee.org/book/6267507 2015 01 DE-93 https://ieeexplore.ieee.org/book/6267507 23 01 0830 2018-01805, 2018-01806, 2018-01808 22 01 0018 olrm-h228-MITIEEE 23 01 0830 olr-MIT 100 01 3100 OLR-MIT-CEC 370 01 4370 olr-ebook mitieee 23 01 0830 2015.01.31 370 01 4370 2021.12.01 |
| language |
English |
| format_phy_str_mv |
Book |
| building |
22:i 23 100 370 2015:0 |
| institution |
findex.gbv.de |
| selectbib_iln_str_mv |
22@i22818 23@ 100@ 370@ 2015@01 |
| topic_facet |
Knowledge representation (Information theory) |
| isfreeaccess_bool |
false |
| authorswithroles_txt_mv |
Levesque, Hector J. @@oth@@ Brachman, Ronald J. @@oth@@ Reiter, Ray @@oth@@ |
| publishDateDaySort_date |
1992-01-01T00:00:00Z |
| id |
816666180 |
| signature_iln |
100:eBook MIT Press 3100:eBook MIT Press |
| signature_iln_str_mv |
100:eBook MIT Press 3100:eBook MIT Press |
| signature_iln_scis_mv |
100:eBook MIT Press 3100:eBook MIT Press |
| language_de |
englisch |
| standort_str_mv |
--%%-- |
| callnumber-first |
Q - Science |
| series2 |
Special issues of Artificial intelligence, an international journal |
| standort_iln_str_mv |
100:--%%-- 3100:--%%-- 2015:--%%-- DE-93:--%%-- |
| format |
eBook |
| delete_txt_mv |
keep |
| collection |
KXP GVK SWB |
| publishPlace |
Cambridge, Mass |
| remote_str |
true |
| abrufzeichen_iln_str_mv |
22@olrm-h228-MITIEEE 23@olr-MIT 100@OLR-MIT-CEC 370@olr-ebook mitieee |
| abrufzeichen_iln_scis_mv |
22@olrm-h228-MITIEEE 23@olr-MIT 100@OLR-MIT-CEC 370@olr-ebook mitieee |
| callnumber-label |
Q387 |
| last_changed_iln_str_mv |
22@03-02-21 23@31-01-15 100@30-01-24 370@01-12-21 2015@18-08-20 |
| illustrated |
Not Illustrated |
| contents |
Introduction to the special volume on knowledge representation The computational complexity of abduction Temporal constraint networks Impediments to universal preference-based default theories Embedding decision-analytic control in a learning architecture The substitutional framework for sorted deduction: fundamental results on hybrid reasoning Existence assumptions in knowledge representation Hard problems for simple default logics The effect of knowledge on belief: conditioning, specificity and the lottery paradox in default reasoning Three-valued nonmonotonic formalisms and semantics of logic programs On the applicability of nonmonotonic logic to formal reasoning in continuous time Principles of metareasoning |
| spellingShingle |
Introduction to the special volume on knowledge representation The computational complexity of abduction Temporal constraint networks Impediments to universal preference-based default theories Embedding decision-analytic control in a learning architecture The substitutional framework for sorted deduction: fundamental results on hybrid reasoning Existence assumptions in knowledge representation Hard problems for simple default logics The effect of knowledge on belief: conditioning, specificity and the lottery paradox in default reasoning Three-valued nonmonotonic formalisms and semantics of logic programs On the applicability of nonmonotonic logic to formal reasoning in continuous time Principles of metareasoning misc Q387 rvk SS 1989 bcl 54.72 misc Knowledge representation (Information theory) Knowledge representation |
| topic_title |
Q387 SS 1989 rvk (DE-625)rvk/143426 54.72 bcl Knowledge representation edited by Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter Knowledge representation (Information theory) |
| publisher |
MIT Press |
| publisherStr |
MIT Press |
| topic |
misc Q387 rvk SS 1989 bcl 54.72 misc Knowledge representation (Information theory) |
| topic_unstemmed |
misc Q387 rvk SS 1989 bcl 54.72 misc Knowledge representation (Information theory) |
| topic_browse |
misc Q387 rvk SS 1989 bcl 54.72 misc Knowledge representation (Information theory) |
| format_facet |
Elektronische Bücher Bücher Elektronische Ressource |
| standort_txtP_mv |
--%%-- |
| format_main_str_mv |
Text Buch |
| carriertype_str_mv |
cr |
| author2_variant |
h j l hj hjl r j b rj rjb r r rr |
| signature |
eBook MIT Press --%%-- |
| signature_str_mv |
eBook MIT Press --%%-- |
| isbn |
0262291053 9780262291057 0262521687 9780262521680 026202344X 9780262023443 |
| edition |
1st MIT Press ed |
| isfreeaccess_txt |
false |
| title |
Knowledge representation |
| ctrlnum |
(DE-627)816666180 (DE-576)9816666189 (DE-599)GBV816666180 (OCoLC)820731322 (MITPRESS)6267507 (EBP)055120261 |
| exemplarkommentar_str_mv |
100@Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. 370@Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. 2015@Campuslizenz |
| title_full |
Knowledge representation edited by Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter |
| callnumber-first-code |
Q |
| lang_code |
eng |
| selektneu_str_mv |
23@2015.01.31 370@2021.12.01 |
| isOA_bool |
false |
| recordtype |
marc |
| publishDateSort |
1992 |
| contenttype_str_mv |
txt |
| selectkey |
22:z 23:z 100:z 370:z 2015:l |
| physical |
Online-Ressource (408 pages) illustrations |
| class |
Q387 SS 1989 rvk (DE-625)rvk/143426 54.72 bcl |
| format_se |
Elektronische Bücher |
| countryofpublication_str_mv |
XD-US |
| author_additional |
R.J. Brachman, H.J. Levesque and R. ReiterNonmonotonic reasoning in the framework of situation calculus / A.B. Baker T. Bylander [and others] R. Dechter, I. Meiri, J. Pearl J. Doyle, M.P. Wellman O. Etzioni A.M. Frisch G. Hirst H.A. Kautz, B. Selman D. Poole T. Przymusinski M. Rayner S. Russell, E. Wafald. |
| author_additionalStr |
R.J. Brachman, H.J. Levesque and R. ReiterNonmonotonic reasoning in the framework of situation calculus / A.B. Baker T. Bylander [and others] R. Dechter, I. Meiri, J. Pearl J. Doyle, M.P. Wellman O. Etzioni A.M. Frisch G. Hirst H.A. Kautz, B. Selman D. Poole T. Przymusinski M. Rayner S. Russell, E. Wafald. |
| normlink |
RVK/143426: 1271684306 201684306 2015.01.31 2021.12.01 |
| normlink_prefix_str_mv |
(DE-625)rvk/143426: (DE-627)1271684306 (DE-576)201684306 2015.01.31 2021.12.01 |
| title_sort |
knowledge representation |
| callnumber |
Q387 |
| title_auth |
Knowledge representation |
| abstract |
Growing interest in symbolic representation and reasoning has pushed this backstage activity into the spotlight as a clearly identifiable and technically rich subfield in artificial intelligence. This collection of extended versions of 12 papers from the First International Conference on Principles of Knowledge Representation and Reasoning provides a snapshot of the best current work in AI on formal methods and principles of representation and reasoning. The topics range from temporal reasoning to default reasoning to representations for natural language.Ronald J. Brachman is Head of the Artificial Intelligence Principles Research Department at AT&T Bell Laboratories. Hector J. Levesque and Raymond Reiter are Professors of Computer Science at the University of Toronto.Contents: Introduction. Nonmonotonic Reasoning in the Framework of Situation Calculus. The Computational Complexity of Abduction. Temporal Constraint Networks. Impediments to Universal Preference-Based Default Theories. Embedding Decision-Analytic Control in a Learning Architecture. The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. Existence Assumptions in Knowledge Representation. Hard Problems for Simple Default Logics. The Effect of Knowledge on Belief: Conditioning, Specificity and the Lottery Paradox in Default Reasoning. Three-Valued Nonmonotonic Formalisms and Semantics of Logic Programs. On the Applicability of Nonmonotonic Logic to Formal Reasoning in Continuous Time. Principles of Metareasoning. "A Bradford book "Reprinted from Artificial intelligence, an international journal, volume 49, numbers 1-3, 1991"--Title page verso Includes bibliographical references and indexes |
| abstractGer |
Growing interest in symbolic representation and reasoning has pushed this backstage activity into the spotlight as a clearly identifiable and technically rich subfield in artificial intelligence. This collection of extended versions of 12 papers from the First International Conference on Principles of Knowledge Representation and Reasoning provides a snapshot of the best current work in AI on formal methods and principles of representation and reasoning. The topics range from temporal reasoning to default reasoning to representations for natural language.Ronald J. Brachman is Head of the Artificial Intelligence Principles Research Department at AT&T Bell Laboratories. Hector J. Levesque and Raymond Reiter are Professors of Computer Science at the University of Toronto.Contents: Introduction. Nonmonotonic Reasoning in the Framework of Situation Calculus. The Computational Complexity of Abduction. Temporal Constraint Networks. Impediments to Universal Preference-Based Default Theories. Embedding Decision-Analytic Control in a Learning Architecture. The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. Existence Assumptions in Knowledge Representation. Hard Problems for Simple Default Logics. The Effect of Knowledge on Belief: Conditioning, Specificity and the Lottery Paradox in Default Reasoning. Three-Valued Nonmonotonic Formalisms and Semantics of Logic Programs. On the Applicability of Nonmonotonic Logic to Formal Reasoning in Continuous Time. Principles of Metareasoning. "A Bradford book "Reprinted from Artificial intelligence, an international journal, volume 49, numbers 1-3, 1991"--Title page verso Includes bibliographical references and indexes |
| abstract_unstemmed |
Growing interest in symbolic representation and reasoning has pushed this backstage activity into the spotlight as a clearly identifiable and technically rich subfield in artificial intelligence. This collection of extended versions of 12 papers from the First International Conference on Principles of Knowledge Representation and Reasoning provides a snapshot of the best current work in AI on formal methods and principles of representation and reasoning. The topics range from temporal reasoning to default reasoning to representations for natural language.Ronald J. Brachman is Head of the Artificial Intelligence Principles Research Department at AT&T Bell Laboratories. Hector J. Levesque and Raymond Reiter are Professors of Computer Science at the University of Toronto.Contents: Introduction. Nonmonotonic Reasoning in the Framework of Situation Calculus. The Computational Complexity of Abduction. Temporal Constraint Networks. Impediments to Universal Preference-Based Default Theories. Embedding Decision-Analytic Control in a Learning Architecture. The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. Existence Assumptions in Knowledge Representation. Hard Problems for Simple Default Logics. The Effect of Knowledge on Belief: Conditioning, Specificity and the Lottery Paradox in Default Reasoning. Three-Valued Nonmonotonic Formalisms and Semantics of Logic Programs. On the Applicability of Nonmonotonic Logic to Formal Reasoning in Continuous Time. Principles of Metareasoning. "A Bradford book "Reprinted from Artificial intelligence, an international journal, volume 49, numbers 1-3, 1991"--Title page verso Includes bibliographical references and indexes |
| collection_details |
ZDB-37-IEM GBV_ILN_22 ISIL_DE-18 SYSFLAG_1 GBV_KXP GBV_ILN_22_i22818 GBV_ILN_23 ISIL_DE-830 GBV_ILN_100 ISIL_DE-Ma9 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_2015 ISIL_DE-93 |
| title_short |
Knowledge representation |
| url |
https://ieeexplore.ieee.org/book/6267507 http://www.gbv.de/dms/bowker/toc/9780262521680.pdf |
| ausleihindikator_str_mv |
22 23 100:- 370 2015:p |
| remote_bool |
true |
| author2 |
Levesque, Hector J. 1951- Brachman, Ronald J. 1949- Reiter, Ray |
| author2Str |
Levesque, Hector J. 1951- Brachman, Ronald J. 1949- Reiter, Ray |
| callnumber-subject |
Q - General Science |
| mediatype_str_mv |
c |
| isOA_txt |
false |
| hochschulschrift_bool |
false |
| author2_role |
oth oth oth |
| callnumber-a |
Q387 |
| up_date |
2024-07-25T08:56:03.350Z |
| fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000cam a22002652 4500</leader><controlfield tag="001">816666180</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20240204100714.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">150128s1992 xxu|||||o 00| ||eng c</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262291053</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-262-29105-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262521687</subfield><subfield code="9">0-262-52168-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">026202344X</subfield><subfield code="9">0-262-02344-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262291057</subfield><subfield code="c">: electronic bk.</subfield><subfield code="9">978-0-262-29105-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262521680</subfield><subfield code="9">978-0-262-52168-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262023443</subfield><subfield code="9">978-0-262-02344-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)816666180</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-576)9816666189</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV816666180</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)820731322</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MITPRESS)6267507</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EBP)055120261</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="c">XD-US</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">Q387</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 1989</subfield><subfield code="2">rvk</subfield><subfield code="0">(DE-625)rvk/143426:</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">54.72</subfield><subfield code="2">bcl</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Knowledge representation</subfield><subfield code="c">edited by Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st MIT Press ed</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass</subfield><subfield code="b">MIT Press</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">Online-Ressource (408 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">Computermedien</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Special issues of Artificial intelligence, an international journal</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"A Bradford book</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"Reprinted from Artificial intelligence, an international journal, volume 49, numbers 1-3, 1991"--Title page verso</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and indexes</subfield></datafield><datafield tag="505" ind1="8" ind2="0"><subfield code="t">Introduction to the special volume on knowledge representation</subfield><subfield code="r">R.J. Brachman, H.J. Levesque and R. ReiterNonmonotonic reasoning in the framework of situation calculus / A.B. Baker</subfield></datafield><datafield tag="505" ind1="8" ind2="0"><subfield code="t">The computational complexity of abduction</subfield><subfield code="r">T. Bylander [and others]</subfield></datafield><datafield tag="505" ind1="8" ind2="0"><subfield code="t">Temporal constraint networks</subfield><subfield code="r">R. Dechter, I. Meiri, J. Pearl</subfield></datafield><datafield tag="505" ind1="8" ind2="0"><subfield code="t">Impediments to universal preference-based default theories</subfield><subfield code="r">J. Doyle, M.P. Wellman</subfield></datafield><datafield tag="505" ind1="8" ind2="0"><subfield code="t">Embedding decision-analytic control in a learning architecture</subfield><subfield code="r">O. Etzioni</subfield></datafield><datafield tag="505" ind1="8" ind2="0"><subfield code="t">The substitutional framework for sorted deduction: fundamental results on hybrid reasoning</subfield><subfield code="r">A.M. Frisch</subfield></datafield><datafield tag="505" ind1="8" ind2="0"><subfield code="t">Existence assumptions in knowledge representation</subfield><subfield code="r">G. Hirst</subfield></datafield><datafield tag="505" ind1="8" ind2="0"><subfield code="t">Hard problems for simple default logics</subfield><subfield code="r">H.A. Kautz, B. Selman</subfield></datafield><datafield tag="505" ind1="8" ind2="0"><subfield code="t">The effect of knowledge on belief: conditioning, specificity and the lottery paradox in default reasoning</subfield><subfield code="r">D. Poole</subfield></datafield><datafield tag="505" ind1="8" ind2="0"><subfield code="t">Three-valued nonmonotonic formalisms and semantics of logic programs</subfield><subfield code="r">T. Przymusinski</subfield></datafield><datafield tag="505" ind1="8" ind2="0"><subfield code="t">On the applicability of nonmonotonic logic to formal reasoning in continuous time</subfield><subfield code="r">M. Rayner</subfield></datafield><datafield tag="505" ind1="8" ind2="0"><subfield code="t">Principles of metareasoning</subfield><subfield code="r">S. Russell, E. Wafald.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Growing interest in symbolic representation and reasoning has pushed this backstage activity into the spotlight as a clearly identifiable and technically rich subfield in artificial intelligence. This collection of extended versions of 12 papers from the First International Conference on Principles of Knowledge Representation and Reasoning provides a snapshot of the best current work in AI on formal methods and principles of representation and reasoning. The topics range from temporal reasoning to default reasoning to representations for natural language.Ronald J. Brachman is Head of the Artificial Intelligence Principles Research Department at AT&T Bell Laboratories. Hector J. Levesque and Raymond Reiter are Professors of Computer Science at the University of Toronto.Contents: Introduction. Nonmonotonic Reasoning in the Framework of Situation Calculus. The Computational Complexity of Abduction. Temporal Constraint Networks. Impediments to Universal Preference-Based Default Theories. Embedding Decision-Analytic Control in a Learning Architecture. The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. Existence Assumptions in Knowledge Representation. Hard Problems for Simple Default Logics. The Effect of Knowledge on Belief: Conditioning, Specificity and the Lottery Paradox in Default Reasoning. Three-Valued Nonmonotonic Formalisms and Semantics of Logic Programs. On the Applicability of Nonmonotonic Logic to Formal Reasoning in Continuous Time. Principles of Metareasoning.</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Online-Ausg.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Knowledge representation (Information theory)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Knowledge representation (Information theory)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Levesque, Hector J.</subfield><subfield code="d">1951-</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Brachman, Ronald J.</subfield><subfield code="d">1949-</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Reiter, Ray</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="1" ind2=" "><subfield code="z">0262521687</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version</subfield><subfield code="a">Knowledge representation</subfield><subfield code="w">(DLC)91005050</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ieeexplore.ieee.org/book/6267507</subfield><subfield code="m">X:MITPRESS</subfield><subfield code="x">Verlag</subfield><subfield code="y">IEEE Xplore</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">http://www.gbv.de/dms/bowker/toc/9780262521680.pdf</subfield><subfield code="m">V:DE-601</subfield><subfield code="m">X:Bowker</subfield><subfield code="q">pdf/application</subfield><subfield code="v">2015-03-18</subfield><subfield code="x">Verlag</subfield><subfield code="y">Inhaltsverzeichnis</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-37-IEM</subfield><subfield code="b">2012</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-18</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_1</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_KXP</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22_i22818</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_23</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-830</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_100</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Ma9</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_370</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-1373</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2015</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-93</subfield></datafield><datafield tag="936" ind1="r" ind2="v"><subfield code="a">SS 1989</subfield><subfield code="b">Veranstaltungsjahr 1989</subfield><subfield code="k">Informatik</subfield><subfield code="k">Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen</subfield><subfield code="k">Kongressberichte</subfield><subfield code="k">Veranstaltungsjahr 1989</subfield><subfield code="0">(DE-627)1271684306</subfield><subfield code="0">(DE-625)rvk/143426:</subfield><subfield code="0">(DE-576)201684306</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">BO</subfield></datafield><datafield tag="953" ind1=" " ind2=" "><subfield code="2">045F</subfield><subfield code="a">003/.54</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="b">384846912X</subfield><subfield code="h">olrm-h228-MITIEEE</subfield><subfield code="y">zi22818</subfield><subfield code="z">03-02-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="b">1521011583</subfield><subfield code="h">olr-MIT</subfield><subfield code="u">i</subfield><subfield code="y">z</subfield><subfield code="z">31-01-15</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">100</subfield><subfield code="1">01</subfield><subfield code="x">3100</subfield><subfield code="b">4472462672</subfield><subfield code="c">09</subfield><subfield code="f">--%%--</subfield><subfield code="d">eBook MIT Press</subfield><subfield code="e">--%%--</subfield><subfield code="j">--%%--</subfield><subfield code="h">OLR-MIT-CEC</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.</subfield><subfield code="y">z</subfield><subfield code="z">30-01-24</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="b">4011215139</subfield><subfield code="h">olr-ebook mitieee</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.</subfield><subfield code="u">i</subfield><subfield code="y">z</subfield><subfield code="z">01-12-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2015</subfield><subfield code="1">01</subfield><subfield code="x">DE-93</subfield><subfield code="b">3740750650</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">p</subfield><subfield code="j">--%%--</subfield><subfield code="k">Campuslizenz</subfield><subfield code="y">l01</subfield><subfield code="z">18-08-20</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="y">Volltextzugang Campus</subfield><subfield code="r">https://ieeexplore.ieee.org/book/6267507</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="y">Nur für Angehörige der Universität Hamburg: Volltextzugang von außerhalb des Campus</subfield><subfield code="r">http://emedien.sub.uni-hamburg.de/han/ieee/ieeexplore.ieee.org/book/6267507</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="y">MIT Press EBook</subfield><subfield code="r">https://ieeexplore.ieee.org/book/6267507</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">100</subfield><subfield code="1">01</subfield><subfield code="x">3100</subfield><subfield code="r">https://ieeexplore.ieee.org/book/6267507</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">100</subfield><subfield code="1">01</subfield><subfield code="x">3100</subfield><subfield code="y">für Uniangehörige: Zugang weltweit</subfield><subfield code="r">http://han.med.uni-magdeburg.de/han/mitvia-ieee/ieeexplore.ieee.org/book/6267507</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="y">E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich</subfield><subfield code="r">https://ieeexplore.ieee.org/book/6267507</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2015</subfield><subfield code="1">01</subfield><subfield code="x">DE-93</subfield><subfield code="r">https://ieeexplore.ieee.org/book/6267507</subfield></datafield><datafield tag="985" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="a">2018-01805, 2018-01806, 2018-01808</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="a">olrm-h228-MITIEEE</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="a">olr-MIT</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">100</subfield><subfield code="1">01</subfield><subfield code="x">3100</subfield><subfield code="a">OLR-MIT-CEC</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="a">olr-ebook mitieee</subfield></datafield><datafield tag="998" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="0">2015.01.31</subfield></datafield><datafield tag="998" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="0">2021.12.01</subfield></datafield></record></collection>
|
| fulltext |
Introduction to the Special Volume on Knowledge Representation … Nonmonotonic reasoning in the framework of situation calculus … The computational complexity of abduction … Temporal constraint networks … Impediments to universal preference-based default theories … Embedding decision-analytic control in a learning architecture … The substitutional framework for sorted deduction: fundamental results on hybrid reasoning … Existence assumptions in knowledge representation … Hard problems for simple default logics … The effect of knowledge on belief: conditioning, specificity and the lottery paradox in default reasoning … Three-valued nonmonotonic formalisms and semantics of logic programs … On the applicability of nonmonotonic logic to formal reasoning in continuous time … Principles of metareasoning … Author Index … |
| _version_ |
1805540669106683904 |
| fullrecord_marcxml |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000cam a22002652 4500</leader><controlfield tag="001">816666180</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20240204100714.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">150128s1992 xxu|||||o 00| ||eng c</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262291053</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-262-29105-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262521687</subfield><subfield code="9">0-262-52168-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">026202344X</subfield><subfield code="9">0-262-02344-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262291057</subfield><subfield code="c">: electronic bk.</subfield><subfield code="9">978-0-262-29105-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262521680</subfield><subfield code="9">978-0-262-52168-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262023443</subfield><subfield code="9">978-0-262-02344-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)816666180</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-576)9816666189</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV816666180</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)820731322</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MITPRESS)6267507</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EBP)055120261</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="c">XD-US</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">Q387</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 1989</subfield><subfield code="2">rvk</subfield><subfield code="0">(DE-625)rvk/143426:</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">54.72</subfield><subfield code="2">bcl</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Knowledge representation</subfield><subfield code="c">edited by Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st MIT Press ed</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass</subfield><subfield code="b">MIT Press</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">Online-Ressource (408 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">Computermedien</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Special issues of Artificial intelligence, an international journal</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"A Bradford book</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"Reprinted from Artificial intelligence, an international journal, volume 49, numbers 1-3, 1991"--Title page verso</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and indexes</subfield></datafield><datafield tag="505" ind1="8" ind2="0"><subfield code="t">Introduction to the special volume on knowledge representation</subfield><subfield code="r">R.J. Brachman, H.J. Levesque and R. ReiterNonmonotonic reasoning in the framework of situation calculus / A.B. Baker</subfield></datafield><datafield tag="505" ind1="8" ind2="0"><subfield code="t">The computational complexity of abduction</subfield><subfield code="r">T. Bylander [and others]</subfield></datafield><datafield tag="505" ind1="8" ind2="0"><subfield code="t">Temporal constraint networks</subfield><subfield code="r">R. Dechter, I. Meiri, J. Pearl</subfield></datafield><datafield tag="505" ind1="8" ind2="0"><subfield code="t">Impediments to universal preference-based default theories</subfield><subfield code="r">J. Doyle, M.P. Wellman</subfield></datafield><datafield tag="505" ind1="8" ind2="0"><subfield code="t">Embedding decision-analytic control in a learning architecture</subfield><subfield code="r">O. Etzioni</subfield></datafield><datafield tag="505" ind1="8" ind2="0"><subfield code="t">The substitutional framework for sorted deduction: fundamental results on hybrid reasoning</subfield><subfield code="r">A.M. Frisch</subfield></datafield><datafield tag="505" ind1="8" ind2="0"><subfield code="t">Existence assumptions in knowledge representation</subfield><subfield code="r">G. Hirst</subfield></datafield><datafield tag="505" ind1="8" ind2="0"><subfield code="t">Hard problems for simple default logics</subfield><subfield code="r">H.A. Kautz, B. Selman</subfield></datafield><datafield tag="505" ind1="8" ind2="0"><subfield code="t">The effect of knowledge on belief: conditioning, specificity and the lottery paradox in default reasoning</subfield><subfield code="r">D. Poole</subfield></datafield><datafield tag="505" ind1="8" ind2="0"><subfield code="t">Three-valued nonmonotonic formalisms and semantics of logic programs</subfield><subfield code="r">T. Przymusinski</subfield></datafield><datafield tag="505" ind1="8" ind2="0"><subfield code="t">On the applicability of nonmonotonic logic to formal reasoning in continuous time</subfield><subfield code="r">M. Rayner</subfield></datafield><datafield tag="505" ind1="8" ind2="0"><subfield code="t">Principles of metareasoning</subfield><subfield code="r">S. Russell, E. Wafald.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Growing interest in symbolic representation and reasoning has pushed this backstage activity into the spotlight as a clearly identifiable and technically rich subfield in artificial intelligence. This collection of extended versions of 12 papers from the First International Conference on Principles of Knowledge Representation and Reasoning provides a snapshot of the best current work in AI on formal methods and principles of representation and reasoning. The topics range from temporal reasoning to default reasoning to representations for natural language.Ronald J. Brachman is Head of the Artificial Intelligence Principles Research Department at AT&T Bell Laboratories. Hector J. Levesque and Raymond Reiter are Professors of Computer Science at the University of Toronto.Contents: Introduction. Nonmonotonic Reasoning in the Framework of Situation Calculus. The Computational Complexity of Abduction. Temporal Constraint Networks. Impediments to Universal Preference-Based Default Theories. Embedding Decision-Analytic Control in a Learning Architecture. The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. Existence Assumptions in Knowledge Representation. Hard Problems for Simple Default Logics. The Effect of Knowledge on Belief: Conditioning, Specificity and the Lottery Paradox in Default Reasoning. Three-Valued Nonmonotonic Formalisms and Semantics of Logic Programs. On the Applicability of Nonmonotonic Logic to Formal Reasoning in Continuous Time. Principles of Metareasoning.</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Online-Ausg.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Knowledge representation (Information theory)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Knowledge representation (Information theory)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Levesque, Hector J.</subfield><subfield code="d">1951-</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Brachman, Ronald J.</subfield><subfield code="d">1949-</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Reiter, Ray</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="1" ind2=" "><subfield code="z">0262521687</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version</subfield><subfield code="a">Knowledge representation</subfield><subfield code="w">(DLC)91005050</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ieeexplore.ieee.org/book/6267507</subfield><subfield code="m">X:MITPRESS</subfield><subfield code="x">Verlag</subfield><subfield code="y">IEEE Xplore</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">http://www.gbv.de/dms/bowker/toc/9780262521680.pdf</subfield><subfield code="m">V:DE-601</subfield><subfield code="m">X:Bowker</subfield><subfield code="q">pdf/application</subfield><subfield code="v">2015-03-18</subfield><subfield code="x">Verlag</subfield><subfield code="y">Inhaltsverzeichnis</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-37-IEM</subfield><subfield code="b">2012</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-18</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_1</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_KXP</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22_i22818</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_23</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-830</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_100</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Ma9</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_370</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-1373</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2015</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-93</subfield></datafield><datafield tag="936" ind1="r" ind2="v"><subfield code="a">SS 1989</subfield><subfield code="b">Veranstaltungsjahr 1989</subfield><subfield code="k">Informatik</subfield><subfield code="k">Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen</subfield><subfield code="k">Kongressberichte</subfield><subfield code="k">Veranstaltungsjahr 1989</subfield><subfield code="0">(DE-627)1271684306</subfield><subfield code="0">(DE-625)rvk/143426:</subfield><subfield code="0">(DE-576)201684306</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">BO</subfield></datafield><datafield tag="953" ind1=" " ind2=" "><subfield code="2">045F</subfield><subfield code="a">003/.54</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="b">384846912X</subfield><subfield code="h">olrm-h228-MITIEEE</subfield><subfield code="y">zi22818</subfield><subfield code="z">03-02-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="b">1521011583</subfield><subfield code="h">olr-MIT</subfield><subfield code="u">i</subfield><subfield code="y">z</subfield><subfield code="z">31-01-15</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">100</subfield><subfield code="1">01</subfield><subfield code="x">3100</subfield><subfield code="b">4472462672</subfield><subfield code="c">09</subfield><subfield code="f">--%%--</subfield><subfield code="d">eBook MIT Press</subfield><subfield code="e">--%%--</subfield><subfield code="j">--%%--</subfield><subfield code="h">OLR-MIT-CEC</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.</subfield><subfield code="y">z</subfield><subfield code="z">30-01-24</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="b">4011215139</subfield><subfield code="h">olr-ebook mitieee</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.</subfield><subfield code="u">i</subfield><subfield code="y">z</subfield><subfield code="z">01-12-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2015</subfield><subfield code="1">01</subfield><subfield code="x">DE-93</subfield><subfield code="b">3740750650</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">p</subfield><subfield code="j">--%%--</subfield><subfield code="k">Campuslizenz</subfield><subfield code="y">l01</subfield><subfield code="z">18-08-20</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="y">Volltextzugang Campus</subfield><subfield code="r">https://ieeexplore.ieee.org/book/6267507</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="y">Nur für Angehörige der Universität Hamburg: Volltextzugang von außerhalb des Campus</subfield><subfield code="r">http://emedien.sub.uni-hamburg.de/han/ieee/ieeexplore.ieee.org/book/6267507</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="y">MIT Press EBook</subfield><subfield code="r">https://ieeexplore.ieee.org/book/6267507</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">100</subfield><subfield code="1">01</subfield><subfield code="x">3100</subfield><subfield code="r">https://ieeexplore.ieee.org/book/6267507</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">100</subfield><subfield code="1">01</subfield><subfield code="x">3100</subfield><subfield code="y">für Uniangehörige: Zugang weltweit</subfield><subfield code="r">http://han.med.uni-magdeburg.de/han/mitvia-ieee/ieeexplore.ieee.org/book/6267507</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="y">E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich</subfield><subfield code="r">https://ieeexplore.ieee.org/book/6267507</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2015</subfield><subfield code="1">01</subfield><subfield code="x">DE-93</subfield><subfield code="r">https://ieeexplore.ieee.org/book/6267507</subfield></datafield><datafield tag="985" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="a">2018-01805, 2018-01806, 2018-01808</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="a">olrm-h228-MITIEEE</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="a">olr-MIT</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">100</subfield><subfield code="1">01</subfield><subfield code="x">3100</subfield><subfield code="a">OLR-MIT-CEC</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="a">olr-ebook mitieee</subfield></datafield><datafield tag="998" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="0">2015.01.31</subfield></datafield><datafield tag="998" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="0">2021.12.01</subfield></datafield></record></collection>
|
| score |
7.1660967 |