<?xml version="1.0" encoding="UTF-8"?><!-- generator="WordPress/2.9.2" -->
<rss version="0.92">
<channel>
	<title>Stavros Vassos web corner</title>
	<link>http://stavros.lostre.org</link>
	<description>My tagline</description>
	<lastBuildDate>Fri, 02 Oct 2009 00:25:09 +0000</lastBuildDate>
	<docs>http://backend.userland.com/rss092</docs>
	<language>en</language>
	
	<item>
		<title>A Reasoning Module for Long-Lived Cognitive Agents (Ph.D. Thesis)</title>
		<description><![CDATA[ A Reasoning Module for Long-Lived Cognitive Agents, Stavros Vassos, Ph.D. Thesis, Department of Computer Science, University of Toronto, 2009.
[pdf &#124; citeulike]

This thesis was completed under the supervision of Hector J. Levesque.   The other two members of my internal committee were Sheila McIlraith and Yves Lesperance.   My external examiner was Michael Thielscher.
Abstract:
In this [...]]]></description>
		<link>http://stavros.lostre.org/2009/10/01/a-reasoning-module-for-long-lived-cognitive-agents-phd-thesis/</link>
			</item>
	<item>
		<title>Progressing basic action theories with non-local effect actions (CS-09)</title>
		<description><![CDATA[Progressing basic action theories with non-local effect actions, Stavros Vassos, Sebastian Sardina, and Hector Levesque, Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning (CS-09), pages 135-140, Toronto, Canada, 2009.
[pdf &#124; citeulike&#124; slides]

Abstract:
In this paper we propose a practical extension to some recent work on the progression of action theories in the [...]]]></description>
		<link>http://stavros.lostre.org/2009/03/01/progressing-basic-action-theories-with-non-local-effect-actions-cs-09/</link>
			</item>
	<item>
		<title>First-Order Strong Progression for Local-Effect Basic Action Theories (KR-08)</title>
		<description><![CDATA[ First-Order Strong Progression for Local-Effect Basic Action Theories, Stavros Vassos, Gerhard Lakemeyer, and Hector Levesque, Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR-08), Sydney, Australia, 2008.
[pdf &#124; citeulike &#124; slides]

Abstract:
In a seminal paper Lin and Reiter introduced the notion of progression for basic action theories in the situation [...]]]></description>
		<link>http://stavros.lostre.org/2008/08/01/first-order-strong-progression-for-local-effect-basic-action-theories-kr-08/</link>
			</item>
	<item>
		<title>On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture (AAAI-08)</title>
		<description><![CDATA[ On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture, Stavros Vassos and Hector Levesque, Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI-08), pages 1004-1009, Chicago, Illinois, USA, 2008.
[pdf &#124; citeulike &#124; slides]

This paper was selected for the &#8220;Outstanding Paper Honorable Mention Award&#8221; in the Twenty-Third AAAI Conference on Artificial Intelligence! [...]]]></description>
		<link>http://stavros.lostre.org/2008/06/01/on-the-progression-of-situation-calculus-basic-action-theories-resolving-a-10-year-old-conjecture-aaai-08/</link>
			</item>
	<item>
		<title>Outstanding Paper Honorable Mention Award in AAAI-08!!!</title>
		<description><![CDATA[Our accepted AAAI-08 paper received an award!  HOORAY!  :)))
What follows is (part of) the email I received about the award.
Dear Stavros and Hector,
On behalf of the Association for the Advancement of Artificial  Intelligence and the AAAI-08 Program Committee, we are pleased to inform  you that your paper, entitled &#8220;On the Progression of Situation [...]]]></description>
		<link>http://stavros.lostre.org/2008/05/25/outstanding-paper-honorable-mention-award-in-aaai-08/</link>
			</item>
	<item>
		<title>Progression of Situation Calculus Action Theories with Incomplete Information (IJCAI-07)</title>
		<description><![CDATA[ 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&#8211;2029, Hyderabad, India, 2007.
[pdf &#124; citeulike &#124; slides]
Abstract:
In this paper, we propose a new progression mechanism for a restricted form of incomplete knowledge formulated as a basic [...]]]></description>
		<link>http://stavros.lostre.org/2007/11/30/vassos07progression/</link>
			</item>
	<item>
		<title>Cognitive robotics in the industry (the article)</title>
		<description><![CDATA[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 industrial environment
 By Mary Del [...]]]></description>
		<link>http://stavros.lostre.org/2007/06/27/cognitive-robotics-in-the-industry-the-article/</link>
			</item>
	<item>
		<title>Cognitive robotics in the industry (the interview)</title>
		<description><![CDATA[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&#8217;s how the first round of Q-A went.

*[part of the text used in the answer to some questions [...]]]></description>
		<link>http://stavros.lostre.org/2007/05/14/cognitive-robotics-in-the-industry/</link>
			</item>
	<item>
		<title>The Wumpus World in IndiGolog: A Preliminary Report (NRAC-05)</title>
		<description><![CDATA[ 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 &#124; citeulike &#124; slides]
 Abstract:
This paper describes an implementation of the the Wumpus World in IndiGolog with the objective of showing the applicability [...]]]></description>
		<link>http://stavros.lostre.org/2007/05/12/sardina05wumpus/</link>
			</item>
	<item>
		<title>A Feasible Approach to Disjunctive Knowledge in Situation Calculus (M.Sc. Thesis)</title>
		<description><![CDATA[ A Feasible Approach to Disjunctive Knowledge in Situation Calculus, Stavros Vassos, M.Sc. Thesis, Department of Computer Science, University of Toronto, 2005.
[pdf &#124; 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 based on the fact that [...]]]></description>
		<link>http://stavros.lostre.org/2007/05/12/vassos05msthesis/</link>
			</item>
</channel>
</rss>
