1
0
0
(1 - 16 von 16
)
ECAI 2006: 17th European Conference on Artificial Intelligence -...
books.google.nl
In the summer of 1956, John McCarthy organized the famous Dartmouth Conference which is now commonly viewed as the founding event for the field of Artificial...
ECAI 2012: 20th European Conference on Artificial Intelligence - C....
books.google.nl
Jussi Rintanen, 'A planning algorithm not based on directional search', in Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth ...
Formal Methods in Computer-Aided Design: 4th International ...
books.google.nl
Jussi Rintanen. Constructing conditional plans by a theorem-prover. Journal of Artificial Intelligence Research, 10, Jussi Rintanen. Improvements to the ...
Logics in Artificial Intelligence: European Workshop JELIA '94, York,...
books.google.de
This book constitutes the proceedings of the European Workshop on Logics in Artificial Intelligence, held at York, UK in September The 24 papers...
Logic for Programming, Artificial Intelligence, and ...
books.google.de
Jussi Rintanen. A planning algorithm not based on directional search. In A. G. Cohn, L. K. Schubert, and S. C. Shapiro, editors, Principles of Knowledge ...
Model Checking and Artificial Intelligence: 6th International...
books.google.de
This book presents revised versions of selected papers from the 6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010, held in Atlanta, GA,...
Foundations of Knowledge Representation and Reasoning - Gerhard...
books.google.de
On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning* Ilkka Niemela ** and Jussi Rintanen Department of Computer Science Helsinki ...
Handbook of Satisfiability - Google Books
books.google.de
A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.
Innovations in Applied Artificial Intelligence: 18th International...
books.google.de
Jussi Rintanen and Jorg Hoffmann. An overview of recent algorithms for AI planning. KI, 15(2):5-11, Avrim Blum and Merrick Furst. Fast planning ...
Automated Reasoning: First International Joint Conference, IJCAR
books.google.de
Jussi Rintanen. Constructing conditional plans by a theorem prover. Journal of Artificial Intelligence Research, 10:323–352, U. Egly, T. Eiter, H. Tompits, ...
Theory and Applications of Satisfiability Testing -- SAT 2012: 15th...
books.google.de
... Joao Marques-Silva David Mitchell Alexander Nadel Jussi Rintanen Lakhdar Sais Karem A. Sakallah Roberto Sebastiani Bart Selman Laurent Simon Carsten ...
Principles of Knowledge Representation and Reasoning: Proceedings of...
books.google.de
A. Planning. Algorithm. not. based. on. Directional. Search. Jussi Rintanen Universität Ulm Fakultät für Informatik Albert-Einstein-Allee D Ulm, Germany r ...
Logics in Artificial Intelligence: European Conference, JELIA 2002,...
books.google.de
Acknowledgements Thanks to Chitta Baral, Vladimir Lifschitz, Jussi Rintanen and a few of the (rather many) anonymous referees for helpful comments on ...
Theory and Applications of Satisfiability Testing: 6th International...
books.google.de
This book constitutes the thoroughly refereed post-proceedings of the 6th International Conference on Theory and Applications of Satisfiability Testing, SAT...
Logics in Artificial Intelligence: 13th European Conference, JELIA...
books.google.de
This book constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence, held in Toulouse, France, in September...
Verwandte Suchanfragen zu Jussi Rintanen
Jussi Mori Jussi Botzke |
Personen Vorname "Jussi" (313) Name "Rintanen" (3) |
sortiert nach Relevanz / Datum