•
Publication Date: 2012
Publication Name: Lecture Notes in Computer Science
•
Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence Belief Management for High-Level Robot Programsmore
by Michael Reip and Ingo Pill
Publication Date: 2012
•
by Michael Reip and Ingo Pill
... It lets the user choose whether com-putational resources should favor planning or imperativeprograms, and is based on Reiter's variant of the situation calculus [14]. ... IndiGolog programs are interpreted by a transition... more
... It lets the user choose whether com-putational resources should favor planning or imperativeprograms, and is based on Reiter's variant of the situation calculus [14]. ... IndiGolog programs are interpreted by a transition semantics in a step-by-step fashion. ...
Publication Date: 2011
Publication Name: Studies in Computational Intelligence
Research Interests:
•
by Michael Reip and Stephan Gspandl
Publication Date: 2012
Publication Name: 2012 IEEE International Conference on Robotics and Automation
Research Interests:
•
by Michael Reip and Stephan Gspandl
Publication Date: 2012
Publication Name: Lecture Notes in Computer Science
•
Publication Date: 2007
•
Publication Date: 2011
•
by Michael Reip and Stephan Gspandl