Automated Planning : Theory & Practice

Saved in:
Bibliographic Details
Title: Automated Planning : Theory & Practice
Description: Automated planning technology now plays a significant role in a variety of demanding applications, ranging from controlling space vehicles and robots to playing the game of bridge. These real-world applications create new opportunities for synergy between theory and practice: observing what works well in practice leads to better theories of planning, and better theories lead to better performance of practical applications. Automated Planning mirrors this dialogue by offering a comprehensive, up-to-date resource on both the theory and practice of automated planning. The book goes well beyond classical planning, to include temporal planning, resource scheduling, planning under uncertainty, and modern techniques for plan generation, such as task decomposition, propositional satisfiability, constraint satisfaction, and model checking. The authors combine over 30 years experience in planning research and development to offer an invaluable text to researchers, professionals, and graduate students. •Comprehensively explains paradigms for automated planning. •Provides a thorough understanding of theory and planning practice, and how they relate to each other. •Presents case studies of applications in space, robotics, CAD/CAM, process control, emergency operations, and games.•Provides a thorough understanding of AI planning theory and practice, and how they relate to each other. •Covers all the contemporary topics of planning, as well as important practical applications of planning, such as model checking and game playing. •Presents case studies and applications in planning engineering, space, robotics, CAD/CAM, process control, emergency operations, and games.•Provides lecture notes, examples of programming assignments, pointers to downloadable planning systems and related information online.
Authors: Malik Ghallab, Dana Nau, Paolo Traverso
Resource Type: eBook.
Subjects: Production planning--Data processing
Categories: COMPUTERS / Artificial Intelligence / General, TECHNOLOGY & ENGINEERING / Robotics
Database: eBook Collection (EBSCOhost)
FullText Links:
  – Type: ebook-pdf
Text:
  Availability: 0
Header DbId: nlebk
DbLabel: eBook Collection (EBSCOhost)
An: 195161
RelevancyScore: 992
AccessLevel: 6
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 991.891296386719
IllustrationInfo
ImageInfo – Size: thumb
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$195161$PDF&s=r
– Size: medium
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$195161$PDF&s=d
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Automated Planning : Theory & Practice
– Name: Abstract
  Label: Description
  Group: Ab
  Data: Automated planning technology now plays a significant role in a variety of demanding applications, ranging from controlling space vehicles and robots to playing the game of bridge. These real-world applications create new opportunities for synergy between theory and practice: observing what works well in practice leads to better theories of planning, and better theories lead to better performance of practical applications. Automated Planning mirrors this dialogue by offering a comprehensive, up-to-date resource on both the theory and practice of automated planning. The book goes well beyond classical planning, to include temporal planning, resource scheduling, planning under uncertainty, and modern techniques for plan generation, such as task decomposition, propositional satisfiability, constraint satisfaction, and model checking. The authors combine over 30 years experience in planning research and development to offer an invaluable text to researchers, professionals, and graduate students. •Comprehensively explains paradigms for automated planning. •Provides a thorough understanding of theory and planning practice, and how they relate to each other. •Presents case studies of applications in space, robotics, CAD/CAM, process control, emergency operations, and games.•Provides a thorough understanding of AI planning theory and practice, and how they relate to each other. •Covers all the contemporary topics of planning, as well as important practical applications of planning, such as model checking and game playing. •Presents case studies and applications in planning engineering, space, robotics, CAD/CAM, process control, emergency operations, and games.•Provides lecture notes, examples of programming assignments, pointers to downloadable planning systems and related information online.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Malik+Ghallab%22">Malik Ghallab</searchLink><br /><searchLink fieldCode="AR" term="%22Dana+Nau%22">Dana Nau</searchLink><br /><searchLink fieldCode="AR" term="%22Paolo+Traverso%22">Paolo Traverso</searchLink>
– Name: TypePub
  Label: Resource Type
  Group: TypPub
  Data: eBook.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Production+planning--Data+processing%22">Production planning--Data processing</searchLink>
– Name: SubjectBISAC
  Label: Categories
  Group: Su
  Data: <searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Artificial+Intelligence+%2F+General%22">COMPUTERS / Artificial Intelligence / General</searchLink><br /><searchLink fieldCode="ZK" term="%22TECHNOLOGY+%26+ENGINEERING+%2F+Robotics%22">TECHNOLOGY & ENGINEERING / Robotics</searchLink>
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=nlebk&AN=195161
RecordInfo BibRecord:
  BibEntity:
    Classifications:
      – Code: 658.5
        Scheme: ddc
        Type: prePub
    Languages:
      – Code: eng
        Text: English
    Subjects:
      – SubjectFull: Production planning--Data processing
        Type: general
    Titles:
      – TitleFull: Automated Planning : Theory & Practice
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Malik Ghallab
      – PersonEntity:
          Name:
            NameFull: Dana Nau
      – PersonEntity:
          Name:
            NameFull: Paolo Traverso
      – PersonEntity:
          Name:
            NameFull: Malik Ghallab
      – PersonEntity:
          Name:
            NameFull: Dana Nau
      – PersonEntity:
          Name:
            NameFull: Paolo Traverso
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2004
            – D: 04
              M: 02
              Type: profile
              Y: 2014
          Identifiers:
            – Type: isbn-print
              Value: 9781558608566
            – Type: isbn-electronic
              Value: 9780080490519
          Titles:
            – TitleFull: Automated Planning : Theory & Practice
              Type: main
ResultId 1