STAVROS Vassos
Ospite
Biografia:
I am passionate about developing Artificial Intelligence (AI) software modules that can be embedded in devices and applications. My current work focuses on different scenarios in cognitive robotics, video games, and interactive smart spaces.
My research interests lie in the fields of Knowledge Representation and Reasoning, Intelligent Agents, as well as Interaction Design, Human Computer Interaction, and Internet of Things.
I completed my MSc and PhD at the department of Computer Science in the University of Toronto under the supervision of Hector Levesque. I received my Diploma in Electrical and Computer Engineering in the National Technical University of Athens.
For my MSc and PhD I have been involved with proving theoretical results on Reasoning about Action and Change in the Situation Calculus, and providing practical solutions for dealing with incomplete information in a way that is tractable. Also, I have been part of the Cognitive Robotics group and I have been an active developer of the high-level agent programming language IndiGolog.
You can find more details about my work here.
Pubblicazioni:
Refereed publications in Knowledge Representation (2012-2015)
- STUD-2015 Studia Logica Journal. Progression and Verification of Situation Calculus Agents with Bounded Beliefs. Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos.
- PRIMA-2015 International Conference on Principles and Practice of Multi-Agent Systems. Optimizing Long-running Action Histories in the Situation Calculus through Search. Christopher Ewin, Adrian Pearce, Stavros Vassos.
- AAMAS-2014 International Conference on Autonomous Agents and Multiagent Systems. Progression and verification of situation calculus agents with bounded beliefs. Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos.
- ECAI-2014 European Conference on Artificial Intelligence. LTL Verification of Online Executions with Sensing in Bounded Situation Calculus. Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos.
- JELIA-2014 European Conference on Logics in Artificial Intelligence Progression and verification of situation calculus agents with bounded beliefs. Fabio Patrizi, Stavros Vassos.
- KR-2014 International Conference on Principles of Knowledge Representation and Reasoning. Transforming Situation Calculus Action Theories for Optimized Reasoning. Christopher J. Ewin, Adrian R. Pearce, Stavros Vassos.
- KR-2014 International Conference on Principles of Knowledge Representation and Reasoning. Action Theories over Generalized Databases with Equality Constraints (Extended Abstract). Fabio Patrizi, Stavros Vassos.
- IJCAI-2013 International Joint Conference on Artificial Intelligence. A Classification of First-Order Progressable Action Theories in Situation Calculus. Stavros Vassos, Fabio Patrizi.
- AIJ-2012 Artificial Intelligence Journal. How to progress a database III. Stavros Vassos, Hector Levesque.
Refereed publications in AI for Video games (2012-2016)
- CIG-2016 IEEE Conference on Computational Intelligence and Games. Pruning and Preprocessing Methods for Inventory-Aware Pathfinding. Davide Aversa, Sebastian Sardina, Stavros Vassos.
- NUCLAI-2016 Artificial Intelligence in Creative Industries. Smart Pathfinding: Extending Navigation Search with Agent Capabilities. Davide Aversa, Stavros Vassos.
- DIGRA/FDG-2016 Digital Games Research Association (DiGRA) and the Foundation of Digital Games (FDG) Conference. Solving Belief-Driven Pathfinding using Monte-Carlo Tree Search. Davide Aversa, Stavros Vassos.
- DIGRA/FDG-2016 Digital Games Research Association (DiGRA) and the Foundation of Digital Games (FDG) Conference. BDP-Pacman: Evaluating Belief-Driven Pathfinding on Player Experience. Francesco Sapio, Stavros Vassos, Davide Aversa.
- AIIDE-2015 AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment. Path planning with Inventory-driven Jump-Point-Search. Davide Aversa, Sebastian Sardina, Stavros Vassos.
- AIIDE-2014 AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment. Belief-Driven Pathfinding through Personalized Map Abstraction. Davide Aversa, Stavros Vassos.
- CGW-2014 Computer Games Workshop at ECAI 2014. Coordinating Dialogue Systems and Stories through Behavior Composition. Stefano Cianciulli, Daniele Riccardelli, Stavros Vassos.
- AI4IE-2014 AI for Interactive Environments Workshop at ECAI conference. Agent Behavior Composition in Virtual Environments Realized Using Game Engines. Giuseppe De Giacomo, Valsamis Ntouskos, Fabio Patrizi, Stavros Vassos, Davide Aversa.
- SETN-2014 Hellenic Conference on Artificial Intelligence. Flexible Behavior for Worker Units in Real-Time Strategy Games Using STRIPS Planning. Ioannis Vlachopoulos, Stavros Vassos, Manolis Koubarakis.
- SETN-2014 Hellenic Conference on Artificial Intelligence.Story Generation in PDDL Using Character Moods: A Case Study on Iliad's First Book. Andrea Marrella, Stavros Vassos.
- FDG-2013 International Conference on Foundations of Digital Games. Combining deliberation and reactive behavior for AI players in the Mini-Tichu card-game. Martha Vlachou-Konchylaki, Stavros Vassos.
- PG-2013 Planning in Games Workshop at ICAPS conference. Planning for Interactive Storytelling Processes. Stefano Cianciulli, Stavros Vassos.
Refereed publications in Interactive Smart Spaces (2012-2015)
- TEI-2015 International Conference on Tangible, Embedded and Embodied Interaction. Touching Notes: A Gesture-Based Game for Teaching Music to Children. Manuela Renzi, Stavros Vassos, Tiziana Catarzi, Stephen Kimani.
- AAMAS-2013 International Conference on Autonomous Agents and Multiagent Systems. Benchmarking smart spaces through autonomous virtual agents. Mario Caruso, Francesco Leotta, Massimo Mecella, Stavros Vassos.
- UbiComp-2013 Workshop on Recent Advances in Behavior Prediction and Pro-active Pervasive Computing. Synthesizing daily life logs through gaming and simulation. Mario Caruso, Çagri Ilban, Francesco Leotta, Massimo Mecella, Stavros Vassos.
- IROS-2013 IEEE/RSJ International Conference on Intelligent Robots and Systems. Planning with a task modeling framework in manufacturing robotics. Jacob Huckaby, Stavros Vassos, Henrik I. Christensen.
- CogRob-2012 International Workshop on Cognitive Robotics at AAAI Conference. Action-Based Imperative Programming with YAGI. Alexander Ferrein, Gerald Steinbauer, Stavros Vassos.
Riconoscimenti e premi:
- 2016 Best Poster award at the "Nucl.ai Artificial Intelligence in Creative Industries" conference for the poster "Smart Pathfinding: Extending Navigation Search with Agent Capabilities" (authors: Davide Aversa, Stavros Vassos).
- 2012 Best Student Paper award at the “7th Hellenic Conference on Artificial Intelligence (SETN)” for the paper “iThink: A Library for Classical Planning in Video-games” (authors: V. Anastassiou, P. Diamantopoulos, S. Vassos, M. Koubarakis).
- 2008 AAAI Outstanding Paper Honourable Mention award by the Association for the Advancement of Artificial Intelligence (AAAI) for the AAAI-08 paper “On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture” (authors: S. Vassos, H. J. Levesque).
Area di ricerca:
Intelligenza artificiale e rappresentazione della conoscenza
Robotica