An Introduction to Constraint-Based Temporal Reasoning
Solving challenging computational problems involving time has been a critical component in the development of artificial intelligence systems almost since the inception of the field. This book provides a concise introduction to the core computational elements of temporal reasoning for use in AI systems for planning and scheduling, as well as systems that extract temporal information from data. It presents a survey of temporal frameworks based on constraints, both qualitative and quantitative, as well as of major temporal consistency techniques. The book also introduces the reader to more recent extensions to the core model that allow AI syste…
Mehr
CHF 48.35
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Morris, Robert A. / Venable, K. Brent
- ISBN: 978-1-68173-177-3
- EAN: 9781681731773
- Produktnummer: 25176299
- Verlag: Morgan & Claypool Publishers
- Sprache: Englisch
- Erscheinungsjahr: 2014
- Seitenangabe: 121 S.
- Plattform: EPUB
- Masse: 4'590 KB
Über den Autor
Roman Barták is a professor at Charles University, Prague (Czech Republic). He leads the Constraint Satisfaction and Optimization Research Group that performs basic and applied research in the areas of satisfiability and discrete optimization problems. His work focuses on techniques of constraint satisfaction and their application to planning and scheduling. The research results are used in products of ILOG, Visopt, and ManOPT/Entellexi. Prof. Barták is teaching courses on artificial intelligence, planning, scheduling, and constraint programming at Charles University and he presented several tutorials on these topics at major conferences such as IJCAI, AAAI, ICAPS, SAC etc.; he is author of the On-line Guide to Constraint Programming (#2 source for Constraint Programming in Google).
5 weitere Werke von Roman Barták:
Bewertungen
Anmelden