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: Practical reasoning
    sub title: International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings
  name:
    name part: International Conference on Formal and Applied Practical Reasoning (1996 : Bonn, Germany)
    role:
      role term: creator
  name:
    name part: Gabbay, Dov M.
    name part: 1945-
  name:
    name part: Ohlbach, Hans Jürgen.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: bibliography
  genre: conference publication
  genre: Electronic books.
  genre: Conference proceedings.
  genre: Bonn (1996)
  origin info:
    place:
      place term: gw
    date issued: 1996
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (xv, 719 pages) : illustrations
  abstract: "This book constitutes the refereed proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR '96, held in Bonn, Germany, in June 1996. The 51 revised full papers included in the book together with eight posters were carefully selected for presentation at the conference. The book addresses current aspects of the highly interdisciplinary area of practical reasoning in artificial intelligence, philosophy, psychology, linguistics, software engineering, intelligent systems, and industrial applications. Among the topics addressed are user modeling, belief, legal reasoning, argumentation, dialogue logic, default reasoning, analogy, metareasoning, temporal and procedural reasoning, and many others."--PUBLISHER'S WEBSITE.
  table of contents: Integrating Statistical Audit Evidence with Belief Function Theory / Carine Van der Acker -- A Comparative Survey of Default Logic Variants / Grigoris Antoniou -- Modal Logics with Relative Accessibility Relations / Philippe Balbiani -- Geometrical Structures and Modal Logic / Philippe Balbiani, Luis Farinas del Cerro, Tinko Tinchev and Dimiter Vakarelov -- A Unified Framework for Hypothetical and Practical Reasoning (1) -- Theoretical Foundations / Subrata Das, John Fox and P. Krause -- A Unified Framework for Hypothetical and Practical Reasoning (2) -- Lessons from Medical Applications / John Fox and Subrata Das -- General Domain Circumscription and its First-Order Reduction / Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas -- Reasoning about Rational, but not Logically Omniscient Agents / Ho Ngoc Duc -- Specification of Nonmonotonic Reasoning / Joeri Engelfriet and Jan Treur.
  note: Dov M. Gabbay, Hans Jürgen Ohlbach (eds.).
  note: Electronic resource.
  note: Includes bibliographical references and index.
  subject:
    topic: Automatic theorem proving
    genre: Congresses
  subject:
    topic: Practical reason
    genre: Congresses
  subject:
    topic: Reasoning
    genre: Congresses
  subject:
    topic: Artificial intelligence
    genre: Congresses
  subject:
    topic: raisonnement par défaut
  subject:
    topic: raisonnement formel
  subject:
    topic: raisonnement temporel
  subject:
    topic: analogie
  subject:
    topic: logique
  subject:
    topic: argumentation
  subject:
    topic: modélisation utilisateur
  subject:
    topic: système intelligent
  subject:
    topic: raisonnement
  subject:
    topic: Intelligence artificielle
    genre: Congrès
  subject:
    topic: Raisonnement
    genre: Congrès
  subject:
    topic: Théorèmes
    topic: Démonstration automatique
    genre: Congrès
  subject:
    topic: Artificial intelligence
  subject:
    topic: Automatic theorem proving
  subject:
    topic: Practical reason
  subject:
    topic: Reasoning
  subject:
    topic: Kunstmatige intelligentie
  subject:
    topic: Wiskundige logica
  subject:
    topic: Raisonnement
    topic: Congrès
  subject:
    topic: Argumentation (logique)
    topic: Congrès
  subject:
    topic: Logique
    topic: Congrès
  subject:
    topic: Kongre€
  subject:
    topic: Künstliche Intelligenz
  subject:
    topic: Logischer Schluss
  classification: QA76.9.A96 I575 1996
  classification: 006.3
  classification: 54.72
  classification: 10
  classification: 28
  classification: 37
  classification: CC 2500
  classification: CC 5200
  classification: DAT 706f
  classification: SS 1996
  classification: SS 4800
  classification: ST 285
  related item:
    title info:
      title: Lecture notes in computer science ; 1085
  related item:
    title info:
      title: Lecture notes in computer science
      part name: Lecture notes in artificial intelligence
  identifier: 3540613137 (alk. paper)
  identifier: 9783540613138 (alk. paper)
  identifier: 96022590
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: DLC
    record creation date: 960429
    record change date: 20190325093213.0
    record identifier: in00001310554
    language of cataloging:
      language term: eng