Handbook of knowledge representation / (Record no. 2304)

000 -LEADER
fixed length control field 02846cam a22003974a 4500
001 - CONTROL NUMBER
control field 16206326
003 - CONTROL NUMBER IDENTIFIER
control field OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20160706160325.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 100427s2007 ne a b 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2010293026
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number GBA772777
Source bnb
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 013888489
Source Uk
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780444522115 (hbk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0444522115 (hbk.)
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)ocn171550939
040 ## - CATALOGING SOURCE
Original cataloging agency UKM
Transcribing agency UKM
Modifying agency BTCTA
-- YDXCP
-- BAKER
-- OHX
-- TXA
-- CDX
-- AU@
-- U9S
-- OKU
-- DLC
042 ## - AUTHENTICATION CODE
Authentication code ukblcatcopy
-- lccopycat
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number Q387.H35 2008
055 #4 - CLASSIFICATION NUMBERS ASSIGNED IN CANADA
Classification number Q 387 H236 2008
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 006.332
Edition number 22
245 00 - TITLE STATEMENT
Title Handbook of knowledge representation /
Statement of responsibility, etc edited by Bruce Porter, Vladimir Lifschitz and Frank van Harmelen.
250 ## - EDITION STATEMENT
Edition statement
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Amsterdam ;
-- Boston :
Name of publisher, distributor, etc Elsevier,
Date of publication, distribution, etc 2008.
300 ## - PHYSICAL DESCRIPTION
Extent xxviii, 1005 p. :
Other physical details ill. ;
Dimensions 25 cm.
490 0# - SERIES STATEMENT
Series statement Foundations of artificial intelligence
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Knowledge representation and classical logic / Vladimir Lifschitz, Leora Morgenstern, and David Plaisted -- Satisfiability solvers / Carla P. Gomes ... [et al.] -- Description logics / Franz Baader, Ian Horrocks, and Ulrike Sattler -- Constraint programming / Francesca Rossi, Peter van Beek, and Toby Walsh -- Conceptual graphs / John F. Sowa -- Nonmonotonic reasoning / Gerhard Brewka, Ilkka Niemelä, and Mirosław Truszczyński -- Answer sets / Michael Gelfond -- Belief revision / Pavlos Peppas -- Qualitative modeling / Kenneth D. Forbus -- Model-based problem solving / Peter Struss -- Bayesian networks / Adnan Darwiche -- Temporal representation and reasoning / Michael Fisher -- Qualitative spatial representation and reasoning / Anthony G. Cohn and Jochen Renz -- Physical reasoning / Ernest Davis -- Reasoning about knowledge and belief / Yoram Moses -- Situation calculus / Fangzhen Lin -- Event calculus / Erik T. Mueller -- Temporal action logics / Patrick Doherty and Jonas Kvarnström -- Nonmonotonic causal logic / Hudson Turner -- Knowledge representation and question answering / Marcello Balduccini, Chitta Baral, and Yuliya Lierler -- The semantic web : webizing knowledge representation / Jim Hendler and Frank van Harmelen -- Automated planning / Alessandro Cimatti, Marco Pistore, and Paolo Traverso -- Cognitive robotics / Hector Levesque and Gerhard Lakemeyer -- Multi-agent systems / Wiebe van der Hoek and Michael Wooldridge -- Knowledge engineering / Guus Schreiber.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Knowledge representation (Information theory)
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Représentation des connaissances.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Porter, Bruce,
Dates associated with a name 1956-
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Lifschitz, Vladimir.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Van Harmelen, Frank.
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN)
a 7
b cbc
c copycat
d 2
e ncip
f 20
g y-gencatlg
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type Book
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type
          Riara University Library Riara University Library General stack 06/07/2016   Q387.H35 2008 7562/16 06/07/2016 C.1 06/07/2016 Book
          Riara University Library Riara University Library General stack 06/07/2016   Q387.H35 2008 7563/16 06/07/2016 C.2 06/07/2016 Book

Riara University Library,
P.O. Box 49940-00100,
Nairobi, Kenya.