Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Thielscher, Michael Add to Alert Profile  
 
Options:
Date Reviewed  
  1 - 3 of 3 reviews    
  Game description language and dynamic epistemic logic compared
Engesser T., Mattmüller R., Nebel B., Thielscher M.  IJCAI 2018 (Proceedings of the 27th International Joint Conference on Artificial Intelligence, Stockholm, Sweden, Jul 13-19, 2018) 1795-1802, 2018.  Type: Proceedings

Efficient modeling and reasoning are critical to pushing the frontiers in knowledge-based, dynamic multiagent systems. The authors note that while several languages have been proposed to carry out this goal, these languages are limited...
...
Feb 7 2019  
  Intelligent execution monitoring in dynamic environments
Fichtner M., Großmann A., Thielscher M. Fundamenta Informaticae 57(2-4): 371-392, 2003.  Type: Article

An intelligent robot will have to deal with unexpected situations, such as changes in the world caused by other agents. This paper presents a general approach to dealing with such changes, and illustrates it in the context of a robot p...
...
Jun 23 2004  
  From situation calculus to fluent calculus
Thielscher M. Artificial Intelligence 11(1-2): 277-299, 1999.  Type: Article

The long-recognized frame problem presents difficulties in using formal logic to represent and reason about situations in which there is incomplete information. The fluent calculus is aimed at providing solutions for both the represent...
...
Mar 1 2000  

   
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy