Giuseppe De Giacomo

Giuseppe De Giacomo

University of Oxford & Sapienza Università di Roma
在 diag.uniroma1.it 的电子邮件经过验证
被引用次数：26178
Artificial Intelligence Data Management Knowledge Representation Automated Planning Strategic Reasoning
Dana Nau

Dana Nau

University of Maryland
在 umd.edu 的电子邮件经过验证
被引用次数：24795
Artificial Intelligence Automated Planning Heuristic Search Evolutionary Game Theory Game Tree Search
Alessandro Cimatti

Alessandro Cimatti

Fondazione Bruno Kessler
在 fbk.eu 的电子邮件经过验证
被引用次数：24134
Formal Verification Model Checking SMT Automated Planning FDIR
Sven Koenig

Sven Koenig

Dean's Professor of Computer Science, University of Southern California
在 usc.edu 的电子邮件经过验证
被引用次数：23477
Heuristic Search Automated Planning Autonomous Systems Intelligent Agents Artificial Intelligence
Sheila McIlraith

Sheila McIlraith

Professor of Computer Science, University of Toronto
在 cs.toronto.edu 的电子邮件经过验证
被引用次数：21551
Artificial Intelligence Knowledge Representation and Reasoning Automated Planning Reinforcement Learning Machine Learning
Subbarao Kambhampati

Subbarao Kambhampati

Arizona State University
在 asu.edu 的电子邮件经过验证
被引用次数：17727
Artificial Intelligence Automated planning Human-AI Interaction Human-Robot Interaction Social media analysis
Bernhard Nebel

Bernhard Nebel

Professor für Informatik, Universität Freiburg
在 uni-freiburg.de 的电子邮件经过验证
被引用次数：17604
artificial intelligence automated planning multi-agent path finding knowledge representation
Maxim Likhachev

Maxim Likhachev

Associate Professor of Robotics, Carnegie Mellon University
在 cs.cmu.edu 的电子邮件经过验证
被引用次数：17422
Robotics Artificial Intelligence Automated Planning Heuristic Search Learning
Paolo Traverso

Paolo Traverso

Director of Research, FBK ICT IRST, Trento
在 fbk.eu 的电子邮件经过验证
被引用次数：16275
Intelligenza Artificiale Software Services Automated Planning
Shlomo Zilberstein

Shlomo Zilberstein

Professor of Computer Science, University of Massachusetts Amherst
在 cs.umass.edu 的电子邮件经过验证
被引用次数：16191
Artificial Intelligence Automated Planning Multiagent Systems Autonomous Agents Bounded Rationality
1 - 10