« Older Home
Loading Newer »

Archive for the 'paper' Category

Action-Based Imperative Programming with YAGI (CogRob-2012)

Action-Based Imperative Programming with YAGI, Alexander Ferrein, Gerald Steinbauer, Stavros Vassos, In Proceedings of the 8th International Workshop on Cognitive Robotics (CogRob-2012) of the 26th AAAI Conference (AAAI-2012) Conference, Toronto ON, Canada, 2012.
[pdf | citeulike| slides | slideshare]

Continue reading ‘Action-Based Imperative Programming with YAGI (CogRob-2012)’

Talk about SimpleFPS at SRI International, Menlo Park, CA (2011)

On Friday October 14, I gave a talk about some preliminary work on building a PDDL benchmark for First-Person Shooter games at SRI International’s Artificial Intelligence Center, Menlo Park, CA USA, 2011.

The talk was based on the following workshop paper I presented at AIIDE-2011: The SimpleFPS Planning Domain: A PDDL Benchmark for Proactive NPCs.

The details of the talk can be found here. The slides of my presentation can be found here.

A Database-type Approach for Progressing Action Theories with Bounded Effects (Book chapter-2011)

A Database-type Approach for Progressing Action Theories with Bounded Effects, Stavros Vassos, Sebastian Sardina, In Gerhard Lakemeyer and Sheila McIlraith, editors, Knowing, Reasoning, and Acting: Essays in Honour of Hector J. Levesque, College Publications, 2011.
[pdf | citeulike | more]

Continue reading ‘A Database-type Approach for Progressing Action Theories with Bounded Effects (Book chapter-2011)’

The SimpleFPS Planning Domain: A PDDL Benchmark for Proactive NPCs (INT4-2011)

The SimpleFPS Planning Domain: A PDDL Benchmark for Proactive NPCs, Stavros Vassos, and Michail Papakonstantinou, In Proceedings of the Non-Player Character AI workshop (NPCAI-2011) of the Artificial Intelligence & Interactive Digital Entertainment (AIIDE-2011) Conference, Stanford CA, USA, 2011.
[pdf | citeulike| slides | slideshare]
Continue reading ‘The SimpleFPS Planning Domain: A PDDL Benchmark for Proactive NPCs (INT4-2011)’

Progressing basic action theories with non-local effect actions (CS-2009)

Progressing basic action theories with non-local effect actions, Stavros Vassos, Sebastian Sardina, and Hector Levesque, In 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-2009)’

Progressing basic action theories with non-local effect actions (PLS-2009)

Please refer to the longer version of the paper that has been published in Commonsense 2009 here.

First-Order Strong Progression for Local-Effect Basic Action Theories (KR-2008)

First-Order Strong Progression for Local-Effect Basic Action Theories, Stavros Vassos, Gerhard Lakemeyer, and Hector Levesque, In 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-2008)’

On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture (AAAI-2008)

On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture, Stavros Vassos and Hector Levesque, In 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-2008)’

Outstanding Paper Honorable Mention Award in AAAI-2008!!!

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 “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.
[...]

More on the paper here and more on the award here.

Progression of Situation Calculus Action Theories with Incomplete Information (IJCAI-2007)

Progression of Situation Calculus Action Theories with Incomplete Information, Stavros Vassos and Hector Levesque, In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07), pages 2024–2029, Hyderabad, India, 2007.
[pdf | citeulike | slides]

Continue reading..