http://stavros.lostre.org My tagline Tue, 26 Aug 2008 13:12:07 +0000 http://backend.userland.com/rss092 en Progression of Situation Calculus Action Theories with Incomplete Information, Stavros Vassos and Hector Levesque, Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07), pages 2024--2029, Hyderabad, India, 2007. [pdf | citeulike | slides] Abstract: In this paper, we propose a new progression mechanism for a restricted form of incomplete ... http://stavros.lostre.org/2007/11/30/vassos07progression/ Here is the article about Cognitive Robotics in the industry for which I was asked to answer a few questions. The article appears in the June issue of the magazine Manufacturing AUTOMATION. Here is the title and the first paragraph. Giving robots the ability to think and reason in an ... http://stavros.lostre.org/2007/06/27/cognitive-robotics-in-the-industry-the-article/ I was recently asked to answer a few questions about cognitive robotics in the context of industrial and factory applications. It is always interesting to explore the possible connections between academic research and real-world applications and so, here's how the first round of Q-A went. *[part of the text used in ... http://stavros.lostre.org/2007/05/14/cognitive-robotics-in-the-industry/ The Wumpus World in IndiGolog: A Preliminary Report, Sebastian Sardina and Stavros Vassos, Proceedings of the Nonmonotonic Reasoning, Action and Change Workshop at IJCAI (NRAC-05), pages 90-95, Edinburgh, Scotland, 2005. [pdf | citeulike | slides] Abstract: This paper describes an implementation of the the Wumpus World in IndiGolog with the ... http://stavros.lostre.org/2007/05/12/sardina05wumpus/ A Feasible Approach to Disjunctive Knowledge in Situation Calculus, Stavros Vassos, M.Sc. Thesis, Department of Computer Science, University of Toronto, 2005. [pdf | citeulike] Abstract: In this thesis we present Lp, a reinterpretation of situation calculus based on intuitions from many-valued logics. The key difference is that the notion of truth is ... http://stavros.lostre.org/2007/05/12/vassos05msthesis/ Nonmonotonic Logical Approaches for the Frame Problem in Artificial Intelligence, Stavros Vassos, Diploma Thesis, Department of Electrical and Computer Engineering, National Technical University of Athens, 2001. [pdf (in greek) | citeulike] Abstract: The thesis is a detailed survey of logical nonmonotonic techniques for the solution of the frame problem in artificial intelligence. The ... http://stavros.lostre.org/2007/05/12/vassos01dthesis/ via [boing boing] http://stavros.lostre.org/2007/05/03/cookie-monster-eats-computer-in-1971/ Just started doing my web page (it was about time). Here's a few tests for HTML p classes. blockquote test p class code testp class alert test p class construction test p class donwload test p class other test http://stavros.lostre.org/2007/05/01/hello-world/