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: Qualitative reasoning about physical systems
  title info:
    title: Physical systems
  name:
    name part: Bobrow, Daniel G. (Daniel Gureasko)
    name part: 1935-
  name:
    name part: ScienceDirect (Online service)
  type of resource: text
  genre: bibliography
  genre: Electronic books.
  genre: Aufsatzsammlung.
  origin info:
    place:
      place term: ne
    place:
      place term: Amsterdam
    place:
      place term: New York
    place:
      place term: Cambridge, MA
    publisher: North-Holland
    publisher: Sole distributors for the U.S.A. and Canada, MIT Press
    date issued: 1984
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (491 pages) : illustrations
  abstract: This volume brings together current work on qualitative reasoning. Its publication reflects the maturity of qualitative reasoning as a research area and the growing interest in problems of reasoning about physical systems. The papers present knowledge bases for a number of very different domains, including heat flow, transistors, and digital computation. A common theme of all these papers is explaining how physical systems work. An important shared criterion is that the behavioral description must be compositional, that is the description of a system's behavior must be derivable from the structure of the system. This material should be of interest to anyone concerned with automated reasoning about the real (physical) world.
  table of contents: Qualitative reasoning about physical systems / D.G. Bobrow -- A qualitative physics based on confluences / J. de Kleer and J.S. Brown -- Qualitative process theory / K.D. Forbus -- Commonsense reasoning about causality / B. Kuipers -- How circuits work / J. de Kleer -- Qualitative analysis of MOS circuits / B.C. Williams -- Diagnostic reasoning based on structure and behavior / R. Davis -- The use of design descriptions in automated diagnosis / M.R. Genesereth -- VERIFY, a program for proving correctness of digital hardware designs / H.G. Barrow.
  note: edited by Daniel G. Bobrow.
  note: "Reprinted from the journal Artificial intelligence, volume 24"--Title page verso
  note: Includes bibliographical references.
  subject:
    topic: Artificial intelligence
  subject:
    topic: Qualitative reasoning
  subject:
    topic: Intelligence artificielle
  subject:
    topic: Raisonnement qualitatif
  subject:
    topic: artificial intelligence
  subject:
    topic: REFERENCE
    topic: Questions & Answers
  subject:
    topic: Artificial intelligence
  subject:
    topic: Qualitative reasoning
  subject:
    topic: Künstliche Intelligenz
  subject:
    topic: Physikalisches System
  subject:
    topic: Qualitatives Schließen
  classification: Q335.5 .Q35 1984eb
  classification: 001.53/5
  classification: 08.33
  classification: 54.72
  classification: ST 285
  classification: DAT 703f
  related item:
    title info:
      title: Qualitative reasoning about physical systems
    origin info:
      publisher: Amsterdam ; New York : North-Holland ; Cambridge, MA : Sole distributors for the U.S.A. and Canada, MIT Press, 1984
    identifier: (DLC) 84024675
    identifier: (OCoLC)11346458
  identifier: 9780444599216
  identifier: 0444599215
  identifier: 0444876707
  identifier: 9780444876706
  identifier: 84024675
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: OPELS
    record creation date: 130425
    record change date: 20260326194527.8
    record identifier: in00005752157
    language of cataloging:
      language term: eng