Stavros Vassos
Stavros Vassos
Helvia.io
Verified email at helvia.io - Homepage
Title
Cited by
Cited by
Year
On our best behaviour
HJ Levesque
Artificial Intelligence 212, 27-35, 2014
802014
SmartPM: an adaptive process management system through situation calculus, IndiGolog, and classical planning
A Marrella, M Mecella, S Sardina
Fourteenth International Conference on the Principles of Knowledge …, 2014
412014
Fair LTL synthesis for non-deterministic systems using strong cyclic planners
F Patrizi, N Lipovetzky, H Geffner
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
382013
Progression of Situation Calculus Action Theories with Incomplete Information.
S Vassos, HJ Levesque
IJCAI 7, 2024-2029, 2007
342007
First-Order Strong Progression for Local-Effect Basic Action Theories.
S Vassos, G Lakemeyer, HJ Levesque
KR, 662-672, 2008
302008
On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture.
S Vassos, HJ Levesque
AAAI 8, 1004-1009, 2008
302008
Art-bots: Toward chat-based conversational experiences in museums
S Vassos, E Malliaraki, F dal Falco, J Di Maggio, M Massimetti, ...
International Conference on Interactive Digital Storytelling, 433-437, 2016
242016
Challenges for qualitative spatial reasoning in linked geospatial data
M Koubarakis, K Kyzirakos, M Karpathiotakis, C Nikolaou, M Sioutis, ...
IJCAI 2011 Workshop on Benchmarks and Applications of Spatial Reasoning …, 2011
222011
Planning with a task modeling framework in manufacturing robotics
J Huckaby, S Vassos, HI Christensen
2013 ieee/rsj international conference on intelligent robots and systems …, 2013
212013
Ambient intelligence sensing using array sensor: Device-free radio based approach
J Hong, T Ohtsuki
Proceedings of the 2013 ACM conference on Pervasive and ubiquitous computing …, 2013
202013
Building virtual earth observatories using ontologies, linked geospatial data and knowledge discovery algorithms
M Koubarakis, M Sioutis, G Garbis, M Karpathiotakis, K Kyzirakos, ...
OTM Confederated International Conferences" On the Move to Meaningful …, 2012
192012
The wumpus world in IndiGolog: A preliminary report
S Sardina, S Vassos
Proceedings of the Workshop on Non-monotonic Reasoning, Action and Change at …, 2005
182005
TELEIOS: a database-powered virtual earth observatory
M Koubarakis, M Datcu, C Kontoes, U Di Giammatteo, S Manegold, ...
Proceedings of the VLDB Endowment 5 (12), 2010-2013, 2012
172012
Museum experience design: A modern storytelling methodology
F Dal Falco, S Vassos
The Design Journal 20 (sup1), S3975-S3983, 2017
152017
Controlling logistics robots with the action-based language YAGI
A Ferrein, C Maier, C Mühlbacher, T Niemueller, G Steinbauer, S Vassos
International Conference on Intelligent Robotics and Applications, 525-537, 2016
142016
Progression and verification of situation calculus agents with bounded beliefs
G De Giacomo, Y Lespérance, F Patrizi, S Vassos
Studia Logica 104 (4), 705-739, 2016
142016
LTL Verification of Online Executions with Sensing in Bounded Situation Calculus.
G De Giacomo, Y Lespérance, F Patrizi, S Vassos
ECAI, 369-374, 2014
132014
Planning and execution control architecture for infantry serious gaming
A Menif, C Guettier, T Cazenave, M Buro, E Jacopin, S Vassos
Planning in Games Workshop 31, 2013
122013
The SimpleFPS planning domain: a PDDL benchmark for proactive NPCs
S Vassos, M Papakonstantinou
Workshops at the Seventh Artificial Intelligence and Interactive Digital …, 2011
112011
Touching notes: A gesture-based game for teaching music to children
M Renzi, S Vassos, T Catarci, S Kimani
Proceedings of the Ninth International Conference on Tangible, Embedded, and …, 2015
92015
The system can't perform the operation now. Try again later.
Articles 1–20