登入選單
Google圖書搜尋
The Logic of Knowledge Bases
作者
Hector Levesque / Gerhard Lakemeyer
出版2023-01-02
ISBN
1848904207 / 9781848904200
Actionable Artificial Intelligence for the Future ...
作者
Mohamed Anwar Abdellatif Behery / Philipp Michael Brauner / Hans Aoyang Zhou / Merih Seran Uysal / Vladimir Samsonov / Martin Bellgardt / Florian Brillowski / Tobias Brockhoff / Anahita Farhang Ghahfarokhi / Lars Christoph Gleim / Leon Michel Gorißen / Marco Grochowski / Thomas Henn / Elisa Iacomini / Thomas Kaster / István Koren / Martin Liebenberg / Leon Niwes Reinsch / Liam Tirpitz / Minh Trinh / Andres Felipe Posada Moreno / Gian Luca Valentin Liehner / Thomas Schemmer / Luisa Sophie Vervier / Marcus Völker / Philipp Walderich / Song Zhang / Christian Brecher / Robert Schmitt / Stefan Decker / Thomas Gries / Constantin Leon Häfner / Michael Herty / Matthias Jarke / Stefan Kowalewski / Torsten Kuhlen / Johannes Henrich Schleifenbaum / Johann Sebastian Trimpe / Wil van der Aalst / Martina Cornelia Ziefle / Gerhard Lakemeyer
出版2023
ISBN
OCLC:1389384428
Interruptible Task Execution with Resumption in Go...
作者
Gesche Gierse / Tim Niemüller / Jens Claßen / Gerhard Lakemeyer
出版2016
ISBN
OCLC:1187451129
A Combined Approach of Process Mining and Rule-bas...
作者
Miriam Wagner / Hayyan Helal / René Röpke / Sven Judel / Jens Doveren / Sergej Görzen / Pouya Soudmand / Gerhard Lakemeyer / Ulrik Schroeder / Wil van der Aalst
出版2022
ISBN
OCLC:1369164728
Foundations of Knowledge Representation and Reason...
作者
Gerhard Lakemeyer / Bernhard Nebel
出版Springer Science & Business Media, 1994-06-28
ISBN
3540581073 / 9783540581079
主題
Computers
Safe and Flexible Collaborative Assembly Processes...
作者
Minh Trinh / David Kötter / Ariane Chu / Mohamed Anwar Abdellatif Behery / Gerhard Lakemeyer / Oliver Petrovic / Christian Brecher
出版2023
ISBN
OCLC:1374970814
Controller Synthesis for Golog Programs Over Finit...
作者
Till Hofmann / Gerhard Lakemeyer
出版2021
ISBN
OCLC:1245384314
Foundations of knowledge representation and reason...
作者
Gerhard Lakemeyer / Bernhard Nebel
出版1994
ISBN
OCLC:878750411
Materials in the Drive Chain - Modeling Materials ...
作者
Ali Rajaei / Marco Becker / Yuanbin Deng / Oliver Schenk / Soheil Rooein / Patricia de Oliveira Löhrer / Niklas Manuel Reinisch / Tarik Viehmann / Mustapha Abouridouane / Mauricio Fernández / Christoph Broeckmann / Thomas Bergs / Gerhard Hirt / Gerhard Lakemeyer / Georg Schmitz
出版2023
ISBN
OCLC:1412029983
˜Theœ RoboCup Logistics League as a Holistic Multi...
作者
Tim Niemueller / Alexander Ferrein / Sebastian Reuter / Sabina Jeschke / Gerhard Lakemeyer
出版2016
ISBN
OCLC:1083811324
Levesque's axiomatization of only knowing is incom...
作者
Joseph Y. Halpern / Gerhard Lakemeyer
出版1995
ISBN
OCLC:75576982
Macro Operator Synthesis for ADL Domains
作者
Till Hofmann / Tim Dieter Niemüller / Gerhard Lakemeyer
出版2020
ISBN
OCLC:1267481289
Decidable Reasoning in First-order Knowledge Bases...
作者
University of Toronto. Dept. of Computer Science / Gerhard Lakemeyer
出版1990
ISBN
OCLC:29381952
On Perfect Introspection with Quantifying in
作者
Gerhard Lakemeyer
出版1992
ISBN
OCLC:832311017
Models of Belief for Decidable Reasoning in Incomp...
作者
Gerhard Lakemeyer
出版1990
ISBN
OCLC:223051491
Multi-Agent Autoepistemic Reasoning
作者
Gerhard Lakemeyer
出版1993
ISBN
OCLC:552468710
Nonmonotonic and Inductive Logic
作者
Gerhard Brewka
出版Springer Science & Business Media, 1993
ISBN
3540564330 / 9783540564331
主題
Computers
Experiences with an Interactive Museum Tour-guide ...
作者
Wolfram Burgard / Armin B. Cremers / Dieter Fox / Dirk Hähnel / Gerhard Lakemeyer / Dirk Schulz / Walter Steiner / Sebastian Thrun
出版1998
ISBN
OCLC:39932699
主題
Human-computer interaction
All You Ever Wanted to Know about Tweety
作者
Gerhard Lakemeyer
出版1992
ISBN
OCLC:832311013
All you ever want to know about Tweety
作者
Gerhard Lakemeyer
出版1992
ISBN
OCLC:75451638
Nonmonotonic and Inductive Logic
作者
Gerhard Brewka / Klaus P. Jantke / Peter H. Schmitt
出版2014-01-15
ISBN
3662203359 / 9783662203354
Künstliche Intelligenz
作者
Gerhard Lakemeyer
出版2017
ISBN
3957213290 / 9783957213297