//]]>

Logical Tools for Handling Change in Agent-Based Systems (Record no. 21551)

000 -LEADER
fixed length control field 02491nam a22004815i 4500
003 - CONTROL NUMBER IDENTIFIER
control field OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20140310151118.0
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr nn 008mamaa
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 100715s2010 gw | s |||| 0|eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783642044076
978-3-642-04407-6
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number Q334-342
Classification number TJ210.2-211.495
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 006.3
Edition number 23
264 #1 -
-- Berlin, Heidelberg :
-- Springer Berlin Heidelberg,
-- 2010.
912 ## -
-- ZDB-2-SCS
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Gabbay, Dov M.
Relator term author.
245 10 - IMMEDIATE SOURCE OF ACQUISITION NOTE
Title Logical Tools for Handling Change in Agent-Based Systems
Medium [electronic resource] /
Statement of responsibility, etc by Dov M. Gabbay, Karl Schlechta.
300 ## - PHYSICAL DESCRIPTION
Extent X, 305p.
Other physical details online resource.
440 1# - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Cognitive Technologies,
International Standard Serial Number 1611-2482
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note and Motivation -- Basic Definitions and Results -- Abstract Semantics by Size -- Preferential Structures – Part I -- Preferential Structures – Part II -- Higher Preferential Structures -- Deontic Logic and Hierarchical Conditionals -- Theory Update and Theory Revision -- An Analysis of Defeasible Inheritance Systems.
520 ## - SUMMARY, ETC.
Summary, etc Agents act on the basis of their beliefs and these beliefs change as they interact with other agents. In this book the authors propose and explain general logical tools for handling change. These tools include preferential reasoning, theory revision, and reasoning in inheritance systems, and the authors use these tools to examine nonmonotonic logic, deontic logic, counterfactuals, modal logic, intuitionistic logic, and temporal logic. This book will be of benefit to researchers engaged with artificial intelligence, and in particular agents, multiagent systems and nonmonotonic logic.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer science.
Topical term or geographic name as entry element Logic.
Topical term or geographic name as entry element Artificial intelligence.
Topical term or geographic name as entry element Logic, Symbolic and mathematical.
Topical term or geographic name as entry element Computer Science.
Topical term or geographic name as entry element Artificial Intelligence (incl. Robotics).
Topical term or geographic name as entry element Mathematical Logic and Formal Languages.
Topical term or geographic name as entry element Mathematical Logic and Foundations.
Topical term or geographic name as entry element Logic.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Schlechta, Karl.
Relator term author.
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element SpringerLink (Online service)
773 0# - HOST ITEM ENTRY
Title Springer eBooks
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Printed edition:
International Standard Book Number 9783642044069
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier http://dx.doi.org/10.1007/978-3-642-04407-6
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Item type E-Book
Copies
Price effective from Permanent location Date last seen Not for loan Date acquired Source of classification or shelving scheme Koha item type Damaged status Lost status Withdrawn status Current location Full call number
2014-04-14AUM Main Library2014-04-14 2014-04-14 E-Book   AUM Main Library006.3
Languages: 
English |
العربية