An Introduction to Constraint-based Temporal Reasoning

Main
An Introduction to Constraint-based...

An Introduction to Constraint-based Temporal Reasoning

Roman Barták, Robert A. Morris, K. Brent Venable

0 / 0

როგორ მოგეწონათ ეს წიგნი?

როგორი ხარისხისაა ეს ფაილი?

ჩატვირთეთ, ხარისხის შესაფასებლად

როგორი ხარისხისაა ჩატვირთული ფაილი?

ტომი:

26

წელი:

2014

გამომცემლობა:

Morgan & Claypool

ენა:

english

გვერდები:

110

ISBN 10:

1608459683

ISBN 13:

9781608459681

სერია:

Synthesis Lectures on Artificial Intelligence and Machine Learning

ფაილი:

PDF, 1.51 MB

IPFS:

,

english, 2014

ამ წიგნის ჩამოტვირთვა მიუწვდომელია საავტორო უფლებების მფლობელის საჩივრის გამო

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

შესაძლოა დაგაინტერესოთ

M. Fisher, D. Gabbay and L. Vila (Eds.) — Handbook of Temporal Reasoning in Artificial Intelligence

Ligozat, Gérard — Qualitative Spatial and Temporal Reasoning

Hector Geﬀner, Blai Bonet — A Concise Introduction to Models and Methods for Automated Planning

Ligozat G. — Qualitative Spatial and Temporal Reasoning 2013

Daniel Hernández (eds.) — Qualitative Representation of Spatial Knowledge

Frank van Harmelen, Vladimir Lifschitz, Bruce Porter, (eds.) — Handbook of Knowledge Representation

Boi Faltings; Peter Struss — Recent advances in qualitative physics

Simon Parsons — Qualitative Methods for Reasoning under Uncertainty

Ronald J. Brachman, Hector J. Levesque, Raymond Reiter — Knowledge Representation

Eugene C. Freuder, Alan K. Mackworth, (eds.) — Constraint-Based Reasoning

M. Fisher, D. Gabbay and L. Vila (Eds.) — Handbook of Temporal Reasoning in Artificial Intelligence

Frank van Harmelen, Vladimir Lifschitz, Bruce Porter, (eds.) — Handbook of Knowledge Representation

Didier Dubois, Henri Prade, Marc Pirlot, Denis Bouyssou — Decision-making Process: Concepts and Methods

O. Stock — Spatial and Temporal Reasoning

David L. Poole & Alan K. Mackworth — Artificial Intelligence

Gerard Ligozat(auth.) — Qualitative Spatial and Temporal Reasoning

Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, Nikos Avouris — ECAI 2008: Proceedings, 18th European Conference on Artificial Intelligence, July 21-25, 2008, Patras, Greece : Including Prestigious Applications of Intelligent ... in Artifical Intelligence and Applications)

Daniel S. Weld and Johan De Kleer (Eds.) — Readings in Qualitative Reasoning About Physical Systems

Jon Doyle, Erik Sandewall, Pietro Torasso — Principles of Knowledge Representation and Reasoning. Proceedings of the Fourth International Conference (KR '94)

Ghallab, Malik;Nau, Dana;Traverso, Paolo — Automated Planning: Theory and Practice: Ghallab, Nau, Traverso

G. Brewka — ECAI 2006, 17th European Conference on Artificial Intelligence

M. Ghallab, C.D. Spyropoulos, N. Fakotakis, N. Avouris — ECAI 2008: 18th European Conference on Artificial Intelligence

Denis Bouyssou, Didier Dubois, Henri Prade, Marc Pirlot — Decision Making Process: Concepts and Methods

Univ.-Doz. Dipl.-Ing. Dr. Hannes Werthner (auth.) — Qualitative Reasoning: Modeling and the Generation of Behavior

Krzysztof R. Apt, Francois Fages, Francesca Rossi, Peter Szeredi, Josef Váncza — Recent advances in constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30--July 2, 2003: selecAuthor: Krzysztof R Apt; European Research Consortium for Inform

François Bry, Włodzimierz Drabent (auth.), Hans Jürgen Ohlbach, Sebastian Schaffert (eds.) — Principles and Practice of Semantic Web Reasoning: Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004. Proceedings

Serafín Moral (auth.), Lluís Godo (eds.) — Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005. Proceedings

Jochen Renz (eds.) — Qualitative Spatial Reasoning with Topological Information

L. Ciortuz (auth.), Matthias Jarke, Gerhard Lakemeyer, Jana Koehler (eds.) — KI 2002: Advances in Artificial Intelligence: 25th Annual German Conference on AI, KI 2002 Aachen, Germany, September 16–20, 2002 Proceedings

Robert Trappl (auth.), Vladimír Mřrík, Olga à těpánková, Rorbert Trappl (eds.) — Advanced Topics in Artificial Intelligence: International Summer School Prague, Czechoslovakia, July 6–17, 1992 Proceedings

Mauro Di Manzo, Enrico Giunchiglia (auth.), Pietro Torasso (eds.) — Advances in Artificial Intelligence: Third Congress of the Italian Association for Artificial Intelligence, AI*IA '93 Torino, Italy, October 26–28, 1993 Proceedings

Daniel Hernández (eds.) — Qualitative Representation of Spatial Knowledge

Thierry Denœux (auth.), Khaled Mellouli (eds.) — Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007. Proceedings

Emad Saad (auth.), Henri Prade, V. S. Subrahmanian (eds.) — Scalable Uncertainty Management: First International Conference, SUM 2007, Washington,DC, USA, October 10-12, 2007. Proceedings

François Fages, Francesca Rossi, Sylvain Soliman — Recent Advances in Constraints: 12th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2007 Rocquencourt,

Clemens Holzmann — Spatial awareness of autonomous embedded systems