rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Logical Tools for Handling Change in Agent-Based Systems
  name:
    name part: Gabbay, Dov M.
    role:
      role term: creator
    role:
      role term: author.
  name:
    name part: Schlechta, Karl.
    role:
      role term: author.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2010
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: X, 305 p. 26 illus. online resource.
  abstract: 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.
  table of contents: and Motivation -- Basic Definitions and Results -- Abstract Semantics by Size -- Preferential Structures #x2013; Part I -- Preferential Structures #x2013; Part II -- Higher Preferential Structures -- Deontic Logic and Hierarchical Conditionals -- Theory Update and Theory Revision -- An Analysis of Defeasible Inheritance Systems.
  note: by Dov M. Gabbay, Karl Schlechta.
  subject:
    topic: Computer science
  subject:
    topic: Logic
  subject:
    topic: Computers
  subject:
    topic: Mathematical logic
  subject:
    topic: Artificial intelligence
  subject:
    topic: Mathematics
  subject:
    topic: Computer Science
  subject:
    topic: Artificial Intelligence (incl. Robotics)
  subject:
    topic: Mathematics, general
  subject:
    topic: Theory of Computation
  subject:
    topic: Mathematical Logic and Formal Languages
  subject:
    topic: Mathematical Logic and Foundations
  subject:
    topic: Logic
  classification: Q334-342
  classification: TJ210.2-211.495
  classification: 006.3
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Cognitive Technologies
  identifier: 9783642044076
  identifier: http://dx.doi.org/10.1007/978-3-642-04407-6
  record info:
    record creation date: 100715
    record change date: 20151204182512.0
    record identifier: 978-3-642-04407-6