A Reasoning Module for Long-Lived Cognitive Agents, Stavros Vassos, Ph.D. Thesis, Department of Computer Science, University of Toronto, 2009.
[pdf | citeulike]
Continue reading ‘A Reasoning Module for Long-Lived Cognitive Agents (Ph.D. Thesis)’
A Reasoning Module for Long-Lived Cognitive Agents (Ph.D. Thesis)
Published October 1st, 2009 in ai and research. 0 CommentsProgressing basic action theories with non-local effect actions (CS-09)
Published March 1st, 2009 in ai, paper and research. 0 CommentsProgressing 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 | citeulike| slides]
Continue reading ‘Progressing basic action theories with non-local effect actions (CS-09)’
First-Order Strong Progression for Local-Effect Basic Action Theories (KR-08)
Published August 1st, 2008 in ai, paper and research. 0 Comments 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 | citeulike | slides]
Continue reading ‘First-Order Strong Progression for Local-Effect Basic Action Theories (KR-08)’
On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture (AAAI-08)
Published June 1st, 2008 in ai and paper. Closed 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 | citeulike | slides]
Continue reading ‘On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture (AAAI-08)’
Outstanding Paper Honorable Mention Award in AAAI-08!!!
Published May 25th, 2008 in ai, paper and research. 0 CommentsOur 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 “On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture,” has been selected for Honorable Mention at AAAI-08.
Each year AAAI’s Conference on Artificial Intelligence honors papers that exemplify high standards in technical contribution and exposition. Papers were recommended for this status by members of the Program Committee during the blind review process. The winning papers were selected by the Program Chairs with the help of some members of the Senior Program Committee.
In recognition of your achievement, you and your coauthors will be presented with certificates by the AAAI-08 Program Cochairs, Dieter Fox and Carla Gomes, during their opening remarks on Tuesday, July 15, at 8:30 am. There will also be an announcement of this honor in the front matter of the AAAI-08 Proceedings.
[...]
Progression of Situation Calculus Action Theories with Incomplete Information (IJCAI-07)
Published November 30th, 2007 in ai, paper and research. 1 CommentCognitive robotics in the industry (the article)
Published June 27th, 2007 in ai, article, cognitive robotics, industry and interview. 0 CommentsHere 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 CiancioImagine a manufacturing plant where robots are sophisticated enough to understand their environment and choose the best path to achieve a goal. Imagine robots capable of working together as a team to solve problems. Such robots, endowed with high-level cognitive capabilities – including perception processing, attention allocation, anticipation, planning and reasoning – would greatly expand the possibility of flexible manufacturing because they would be able to see, feel, touch and reason within the confines of unpredictable environments.
This isn’t your father’s robot.
Click here to read the rest of the article in the “Manufacturing Automation” magazine website.
Cognitive robotics in the industry (the interview)
Published May 14th, 2007 in ai, cognitive robotics, industry and interview. 6 CommentsI 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.
Continue reading ‘Cognitive robotics in the industry (the interview)’
The Wumpus World in IndiGolog: A Preliminary Report (NRAC-05)
Published May 12th, 2007 in ai, paper and research. 0 CommentsA Feasible Approach to Disjunctive Knowledge in Situation Calculus (M.Sc. Thesis)
Published May 12th, 2007 in ai and research. 0 Comments A Feasible Approach to Disjunctive Knowledge in Situation Calculus, Stavros Vassos, M.Sc. Thesis, Department of Computer Science, University of Toronto, 2005.
[pdf | citeulike]