Randy Goebel Books
Pricai '96: Topics In Artificial Intelligence: 4th Pacific Rim International Conference On Artificial Intelligence, Cairns, Australia, August 26 - 30, ...
By Norman Foo, Pacific Rim International Conference On Artificial Intelligence (4th 1996 Cairns, Qld.), Randy Goebel, Pacific Rim International Conference On Artificial Intelligence, Adel Bouhoula (Auth.), Norman Foo, Randy Goebel (Eds.)
This volume constitutes the refereed proceedings of the 4th Pacific Rim International Conference on Artificial Intelligence, PRICAI '96, held in Cairns, Queensland, Australia in August 1996. The 56...
Read More
Model Checking And Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected And Invited Papers
By David Hutchison, Bernhard Steffen, Friedemann Mattern, John C. Mitchell, M. J. Wooldridge, Josef Kittler, Wolfgang Wahlster, Oscar Nierstrasz, MoChArt 2008 (2008 Patrai, Greece), Gerhard Weikum, Doug Tygar, C. Pandu Rangan, Doron A. Peled, Michael J. Wooldridge, Jörg Siekmann, Demetri Terzopoulos, Moshe Y. Vardi, Madhu Sudan, Moni Naor, Takeo Kanade, Randy Goebel, Jon M Kleinberg
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a sa...
Read More
Trustworthy Federated Learning
By Lixin Fan, Boi Faltings, Zehui Xiong, Han Yu, Randy Goebel, Randy Goebel, Han Yu, Boi Faltings, Lixin Fan, Zehui Xiong, (Eds.)
This book constitutes the refereed proceedings of the First International Workshop, FL 2022, Held in Conjunction with IJCAI 2022, held in Vienna, Austria, during July 23-25, 2022. The 11 full pape...
Read More
Model Checking And Artificial Intelligence
By David Hutchison, Bernhard Steffen, Friedemann Mattern, John C. Mitchell, Josef Kittler, Wolfgang Wahlster, Oscar Nierstrasz, Michael Wooldridge, Gerhard Weikum, Doug Tygar, C. Pandu Rangan, Doron A. Peled, Michael J. Wooldridge, Jörg Siekmann, Demetri Terzopoulos, Moshe Y. Vardi, Madhu Sudan, Moni Naor, Takeo Kanade, Randy Goebel, Jon M Kleinberg
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a sa...
Read More