Handbook of Knowledge Representation / (Record no. 46804)

MARC details
000 -LEADER
fixed length control field 02830cam a22003974a 4500
001 - CONTROL NUMBER
control field 16206326
003 - CONTROL NUMBER IDENTIFIER
control field VITAP
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250425150953.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 VITAP
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
Item number .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 HAR
Edition number 22
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Harmelen, Frank Van Ed.
9 (RLIN) 15971
245 00 - TITLE STATEMENT
Title Handbook of Knowledge Representation /
Statement of responsibility, etc. Frank Van Harmelen Ed.
250 ## - EDITION STATEMENT
Edition statement 1st ed.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
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. note 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 entry element Knowledge representation (Information theory)
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name 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.
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 Dewey Decimal Classification
Koha item type Text Book
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Materials specified (bound volume or other part) Damaged status Not for loan Collection code Home library Current library Shelving location Date acquired Source of acquisition Cost, normal purchase price Inventory number Total Checkouts Full call number Barcode Date last seen Cost, replacement price Price effective from Koha item type Public note
    Dewey Decimal Classification Hard Bound   Not For Loan Reference School of Computer Science Section VIT-AP Reference 2025-04-21 Shah Book House 23452.00 SBH/27879   006.332 HAR 024425 2025-04-25 23452.00 2025-04-21 Reference Book CSE
    Dewey Decimal Classification Hard Bound       School of Computer Science Section VIT-AP General Stacks 2025-04-21 Shah Book House 23452.00 SBH/27879   006.332 HAR 024426 2025-04-25 23452.00 2025-04-21 Text Book CSE
    Dewey Decimal Classification Hard Bound       School of Computer Science Section VIT-AP General Stacks 2025-04-21 Shah Book House 23452.00 SBH/27879   006.332 HAR 024427 2025-04-25 23452.00 2025-04-21 Text Book CSE
    Dewey Decimal Classification Hard Bound       School of Computer Science Section VIT-AP General Stacks 2025-04-21 Shah Book House 23452.00 SBH/27879   006.332 HAR 024428 2025-04-25 23452.00 2025-04-21 Text Book CSE

Visitor Number:

Powered by Koha