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: Reasoning about plans
  name:
    name part: Allen, James
    name part: 1950-
  name:
    name part: ScienceDirect (Online service)
  type of resource: text
  genre: bibliography
  genre: Electronic books.
  origin info:
    place:
      place term: cau
    place:
      place term: San Mateo, Calif
    publisher: Morgan Kaufmann
    date issued: ©1991
    date issued: 1991
    issuance: monographic
  language:
    language term: eng
  physical description:
    reformatting quality: access
    form: remote
    extent: 1 online resource (xii, 300 pages) : illustrations
  abstract: This book presents four contributions to planning research within an integrated framework. James Allen offers a survey of his research in the field of temporal reasoning, and then describes a planning system formalized and implemented directly as an inference process in the temporal logic. Starting from the same logic, Henry Kautz develops the first formal specification of the plan recognition process and develops a powerful family of algorithms for plan recognition in complex situations. Richard Pelavin then extends the temporal logic with model operators that allow the representation to support reasoning about complex planning situations involving simultaneous interacting actions, and interaction with external events. Finally, Josh Tenenberg introduces two different formalisms of abstraction in planning systems and explores the properties of these abstraction techniques in depth.
  table of contents: Temporal reasoning and planning / James F. Allen -- A formal theory of plan recognition and its implementation / Henry A. Kautz --Planning with simultaneous actions and external events / Richard N. Pelavin -- Abstraction in planning / Josh D. Tenenberg.
  note: James F. Allen [and others].
  note: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL
  note: digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL
  note: Includes bibliographical references and index.
  subject:
    topic: Artificial intelligence
  subject:
    topic: Reasoning
  subject:
    topic: Problem solving
  subject:
    topic: Planning
  subject:
    topic: Artificial Intelligence
  subject:
    topic: Problem Solving
  subject:
    topic: Intelligence artificielle
  subject:
    topic: Résolution de problème
  subject:
    topic: Planification
  subject:
    topic: Raisonnement
  subject:
    topic: artificial intelligence
  subject:
    topic: scheduling
  subject:
    topic: planning
  subject:
    topic: Artificial intelligence
  subject:
    topic: Planning
  subject:
    topic: Problem solving
  subject:
    topic: Reasoning
  subject:
    topic: Denken
  subject:
    topic: Künstliche Intelligenz
  subject:
    topic: Planung
  subject:
    topic: Problemlösen
  subject:
    topic: Artificial intelligence
  subject:
    topic: Artificial intelligence
  subject:
    topic: Planning
  subject:
    topic: Problem solving
  subject:
    topic: Reasoning
  classification: Q335 .R45 1991
  classification: 006.3
  classification: 54.72
  classification: *68T15
  classification: 68-02
  classification: 68T20
  classification: DAT 704f
  classification: DAT 706f
  classification: ST 285
  classification: ST 300
  related item:
    title info:
      title: Reasoning about plans
    origin info:
      publisher: San Mateo, Calif. : Morgan Kaufmann, ©1991
    identifier: (DLC) 91017369
    identifier: (OCoLC)23767750
    identifier: (OCoLC)637054540
  related item:
    identifier: (DLC) 91017369
    identifier: (OCoLC)23767750
  related item:
    title info:
      title: Morgan Kaufmann series in representation and reasoning
  identifier: 1558601376
  identifier: 9781558601376
  identifier: 9781483295961
  identifier: 1483295966
  identifier: 91017369
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: OCLCE
    record creation date: 100702
    record change date: 20260326175735.2
    record identifier: in00005743761
    language of cataloging:
      language term: eng