Personal information

Websites & social links

About me

Other IDs

Scopus Author ID: 25927703400
ResearcherID: H-6961-2016

Activities

Collapse all

Employment (2)

Sapienza University of Rome: Rome, Lazio, IT

2012-10-01 to 2016-09-30 | Assistant Professor (Computer, Control, and Management Engineering (DIAG))
Employment
Source: Self-asserted source
Stavros Vassos

National and Kapodistrian University of Athens (NKUA): Athens, GR

2010-01-09 to 2012-08-31 | Research Associate (Informatics and Telecommunications)
Employment
Source: Self-asserted source
Stavros Vassos

Education and qualifications (3)

University of Toronto: Toronto, ON, CA

2005-01-09 to 2009-11-13 | Doctor of Philosophy (Ph.D.) (Computer Science)
Education
Source: Self-asserted source
Stavros Vassos

University of Toronto: Toronto, ON, CA

2002-01-09 to 2005-03-11 | Master of Science (MSc) (Computer Science)
Education
Source: Self-asserted source
Stavros Vassos

National Technical University of Athens (NTUA): Athens, GR

1997-10-15 to 2001-10-30 | Diploma (BSc and MSc) (Electrical and Computer Engineering (ECE))
Education
Source: Self-asserted source
Stavros Vassos

Works (29)

Controlling Logistics Robots with the Action-based Language YAGI

Proceedings of the 2015 IROS Workshop on Workshop on Task Planning for Intelligent Robots in Service and Manufacturing
2015 | Journal article
Source: Self-asserted source
Stavros Vassos

Optimizing Long-Running Action Histories in the Situation Calculus Through Search

PRIMA 2015: Principles and Practice of Multi-Agent Systems - 18th International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings
2015 | Conference paper
DOI: 10.1007/978-3-319-25524-8_6
Source: Self-asserted source
Stavros Vassos

Path planning with Inventory-driven Jump-Point-Search

Proceedings of the Eleventh AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, AIIDE 2015
2015 | Conference paper
Source: Self-asserted source
Stavros Vassos

Progression and Verification of Situation Calculus Agents with Bounded Beliefs

Studia Logica
2015 | Journal article
DOI: 10.1007/s11225-015-9626-z
Source: Self-asserted source
Stavros Vassos

Service Composition with PDDL Representations and Visualization over Videogame Engines

8th IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2015
2015 | Conference paper
Source: Self-asserted source
Stavros Vassos

Touching notes: A gesture-based game for teaching music to children

TEI 2015 - Proceedings of the 9th International Conference on Tangible, Embedded, and Embodied Interaction
2015 | Conference paper
DOI: 10.1145/2677199.2688810
EID:

2-s2.0-84924056876
Contributors: Renzi, M.; Vassos, S.; Catarci, T.; Kimani, S.
Source: Self-asserted source
Stavros Vassos via Scopus - Elsevier

Action theories over generalized databases with equality constraints

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014 | Book
EID:

2-s2.0-84921671692
Contributors: Patrizi, F.; Vassos, S.
Source: Self-asserted source
Stavros Vassos via Scopus - Elsevier

Belief-driven pathfinding through personalized map abstraction

Proceedings of the 10th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, AIIDE 2014
2014 | Conference paper
EID:

2-s2.0-84916918876
Contributors: Aversa, D.; Vassos, S.
Source: Self-asserted source
Stavros Vassos via Scopus - Elsevier

Coordinating dialogue systems and stories through behavior composition

Communications in Computer and Information Science
2014 | Book
DOI: 10.1007/978-3-319-14923-3
EID:

2-s2.0-84919429583
Contributors: Cianciulli, S.; Riccardelli, D.; Vassos, S.
Source: Self-asserted source
Stavros Vassos via Scopus - Elsevier

Flexible behavior for worker units in real-time strategy games using STRIPS planning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014 | Book
DOI: 10.1007/978-3-319-07064-3_48
EID:

2-s2.0-84900539424
Contributors: Vlachopoulos, I.; Vassos, S.; Koubarakis, M.
Source: Self-asserted source
Stavros Vassos via Scopus - Elsevier

LTL verification of online executions with sensing in bounded situation calculus

Frontiers in Artificial Intelligence and Applications
2014 | Book
DOI: 10.3233/978-1-61499-419-0-369
EID:

2-s2.0-84923169104
Contributors: De Giacomo, G.; Lespérance, Y.; Patrizi, F.; Vassos, S.
Source: Self-asserted source
Stavros Vassos via Scopus - Elsevier

Progression and verification of situation calculus agents with bounded beliefs

13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014
2014 | Conference paper
EID:

2-s2.0-84911376160
Contributors: De Giacomo, G.; Lespérance, Y.; Patrizi, F.; Vassos, S.
Source: Self-asserted source
Stavros Vassos via Scopus - Elsevier

Story generation in PDDL using character moods: A case study on Iliad's first book

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014 | Book
DOI: 10.1007/978-3-319-07064-3_50
EID:

2-s2.0-84900540874
Contributors: Marrella, A.; Vassos, S.
Source: Self-asserted source
Stavros Vassos via Scopus - Elsevier

A classification of first-order progressable action theories in situation calculus

IJCAI International Joint Conference on Artificial Intelligence
2013 | Conference paper
EID:

2-s2.0-84896061016
Contributors: Vassos, S.; Patrizi, F.
Source: Self-asserted source
Stavros Vassos via Scopus - Elsevier

Benchmarking smart spaces through autonomous virtual agents

12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013
2013 | Conference paper
EID:

2-s2.0-84899417334
Contributors: Caruso, M.; Leotta, F.; Mecella, M.; Vassos, S.
Source: Self-asserted source
Stavros Vassos via Scopus - Elsevier

How to progress a database III

Artificial Intelligence
2013 | Journal article
DOI: 10.1016/j.artint.2012.10.005
EID:

2-s2.0-84884902323
Contributors: Vassos, S.; Levesque, H.J.
Source: Self-asserted source
Stavros Vassos via Scopus - Elsevier

Planning with a task modeling framework in manufacturing robotics

IEEE International Conference on Intelligent Robots and Systems
2013 | Conference paper
DOI: 10.1109/IROS.2013.6697194
EID:

2-s2.0-84893719937
Contributors: Huckaby, J.; Vassos, S.; Christensen, H.I.
Source: Self-asserted source
Stavros Vassos via Scopus - Elsevier

Synthesizing daily life logs through gaming and simulation'

UbiComp 2013 Adjunct - Adjunct Publication of the 2013 ACM Conference on Ubiquitous Computing
2013 | Conference paper
DOI: 10.1145/2494091.2495977
EID:

2-s2.0-84885218528
Contributors: Caruso, M.; Mecella, M.; Ilban, C.; Vassos, S.; Leotta, F.
Source: Self-asserted source
Stavros Vassos via Scopus - Elsevier

AAAI Workshop - Technical Report: Preface

AAAI Workshop - Technical Report
2012 | Conference paper
EID:

2-s2.0-84875593016
Contributors: Burgard, W.; Konolige, K.; Pagnucco, M.; Vassos, S.
Source: Self-asserted source
Stavros Vassos via Scopus - Elsevier

Action-based imperative programming with YAGI

AAAI Workshop - Technical Report
2012 | Conference paper
EID:

2-s2.0-84875605740
Contributors: Ferrein, A.; Steinbauer, G.; Vassos, S.
Source: Self-asserted source
Stavros Vassos via Scopus - Elsevier

Building virtual earth observatories using ontologies, linked geospatial data and knowledge discovery algorithms

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012 | Book
DOI: 10.1007/978-3-642-33615-7_34
EID:

2-s2.0-84872801263
Contributors: Koubarakis, M.; Sioutis, M.; Garbis, G.; Karpathiotakis, M.; Kyzirakos, K.; Nikolaou, C.; Bereta, K.; Vassos, S.; Dumitru, C.O.; Espinoza-Molina, D. et al.
Source: Self-asserted source
Stavros Vassos via Scopus - Elsevier

iThink: A library for classical planning in video-games

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012 | Book
DOI: 10.1007/978-3-642-30448-4_14
EID:

2-s2.0-84861672911
Contributors: Anastassiou, V.-M.; Diamantopoulos, P.; Vassos, S.; Koubarakis, M.
Source: Self-asserted source
Stavros Vassos via Scopus - Elsevier

Operational wildfire monitoring and disaster management support using state-of-the-art EO and Information Technologies

Proceedings of the 2nd International Workshop on Earth Observation and Remote Sensing Applications, EORSA 2012
2012 | Conference paper
DOI: 10.1109/EORSA.2012.6261164
EID:

2-s2.0-84866787288
Contributors: Kontoes, C.; Keramitsoglou, I.; Papoutsis, I.; Herekakis, T.; Michail, D.; Xofis, P.; Koubarakis, M.; Kyzirakos, K.; Karpathiotakis, M.; Nikolaou, C. et al.
Source: Self-asserted source
Stavros Vassos via Scopus - Elsevier

Reports of the AAAI 2012 conference workshops

AI Magazine
2012 | Journal article
EID:

2-s2.0-84876193522
Contributors: Agrawal, V.; Baier, J.; Bekris, K.; Chen, Y.; D'Avila Garcez, A.S.; Hitzler, P.; Haslum, P.; Jannach, D.; Law, E.; Lecue, F. et al.
Source: Self-asserted source
Stavros Vassos via Scopus - Elsevier

The simplefps planning domain: A pddl benchmark for proactive npcs

Intelligent Narrative Technologies IV - Papers from the 2011 AIIDE Workshop
2011 | Conference paper
EID:

2-s2.0-84883078744
Contributors: Vassos, S.; Papakonstantinou, M.
Source: Self-asserted source
Stavros Vassos via Scopus - Elsevier

Progressing basic action theories with non-local effect actions

Commonsense 2009 - Proceedings of the 9th International Symposium on Logical Formalizations of Commonsense Reasoning
2009 | Conference paper
EID:

2-s2.0-84888311237
Contributors: Vassos, S.; Sardina, S.; Levesque, H.
Source: Self-asserted source
Stavros Vassos via Scopus - Elsevier

First-order strong progression for local-effect basic action theories

Principles of Knowledge Representation and Reasoning: Proceedings of the 11th International Conference, KR 2008
2008 | Conference paper
EID:

2-s2.0-77953695647
Contributors: Vassos, S.; Lakemeyer, G.; Levesque, H.J.
Source: Self-asserted source
Stavros Vassos via Scopus - Elsevier

On the progression of situation calculus basic action theories: Resolving a 10-year-old conjecture

Proceedings of the National Conference on Artificial Intelligence
2008 | Conference paper
EID:

2-s2.0-57849111480
Contributors: Vassos, S.; Levesque, H.J.
Source: Self-asserted source
Stavros Vassos via Scopus - Elsevier

Progression of situation calculus action theories with incomplete information

IJCAI International Joint Conference on Artificial Intelligence
2007 | Conference paper
EID:

2-s2.0-84880855106
Contributors: Vassos, S.; Levesque, H.
Source: Self-asserted source
Stavros Vassos via Scopus - Elsevier
How many people are using ORCID?