Michael Gelfond

关于

暂无简介。

研究焦点

主要成就

代表论文

1. 1
   Applications of Answer Set Programming

   207 次引用 · 2016
2. 2
   Towards an Architecture for Knowledge Representation and Reasoning in Robotics

   25 次引用 · 2014
3. 3
   Using knowledge representation and reasoning tools in the design of robots

   8 次引用 · 2016
4. 4
   REBA: A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics

   8 次引用 · 2019
5. 5
   Integrating Probabilistic Graphical Models and Declarative Programming for Knowledge Representation and Reasoning in Robotics

   2 次引用 · 2014
6. 6
   Action languages and domain modeling

   2 次引用 · 1999
7. 7
   KR$^3$: An Architecture for Knowledge Representation and Reasoning in\n Robotics

   2 次引用 · 2014
8. 8
   REBA: A Refinement-Based Architecture for Knowledge Representation and\n Reasoning in Robotics

   2 次引用 · 2015

主要合作者