1613738633  

Reasoning about knowledge / Ronald Fagin, Joseph Y. Hlpern, Yoram Moses, Moshe Y. Vardi

Halpern, Joseph Y. *1953-* [VerfasserIn] ; Moses, Yoram *1957-* [VerfasserIn] ; Vardi, Moshe Y. *1954-* [VerfasserIn]

First MIT Press paperback edition

Englisch

Cambridge, Massachusetts ; London, England : MIT Press, 2003

xiii, 515 Seiten : Diagramme ; 24 cm

94-36477

Literaturverzeichnis: Seiten 463-487

Hier auch später erschienene, unveränderte Nachdrucke

Erscheint auch als: Online-Ausgabe- Fagin, Ronald: Reasoning about knowledge. - Cambridge, Massachusetts : MIT Press, 2004. - 1 PDF (xiii, 517 pages)

0-262-06162-7 hbk.

978-0-262-06162-9 : hbk.

0-262-56200-6 pbk. : EUR 34.00

978-0-262-56200-3 : pbk. : EUR 34.00

*Wissensverarbeitung / Wissensbasiertes System / Programmierung

*Knowledge, Theory of ; Agent (Philosophy) ; Reasoning

Klassifikation der Library of Congress: BD181

Dewey Dezimal-Klassifikation: 001; ; 153.4/3;

Regensburger Verbund-Klassifikation: QP 345: Q Wirtschaftswissenschaften / QP Allgemeine Betriebswirtschaftslehre / QP 300-QP 390 Unternehmensführung / QP 340-QP 345 Organisation / Informationswesen. Informationssysteme

Regensburger Verbund-Klassifikation: ST 120: SQ-SU Informatik / ST Monografien / ST 120-ST 140 Grundlagen der Informatik / Grundlagen der Informatik

Regensburger Verbund-Klassifikation: ST 300: SQ-SU Informatik / ST Monografien / ST 300-ST 308 Künstliche Intelligenz / Allgemeines

Regensburger Verbund-Klassifikation: ST 285: SQ-SU Informatik / ST Monografien / ST 230-ST 285 Software und -entwicklung / Computer supported cooperative work (CSCW), Groupware

Regensburger Verbund-Klassifikation: ST 304: SQ-SU Informatik / ST Monografien / ST 300-ST 308 Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation

Bereichsbibliothek Babelsberg-Griebnitzsee, Haus 5 --> Wegweiser