Demo Data from VLDB 2026 / reviewers in the wild / expert
Stavros Vassos
dblp:07/2215
· DBLP profile ↗
17ranked-venue papers
6as first author
1since 2021 · last 2024
0000-0001-7564-5290ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 12 · 5 first-author · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 6 · 4 first-authorHuman-computer interaction and ubiquitous computing · 4 · 1 first-authorTheory of computation · 4 · 1 first-authorSystems, architecture and hardware · 1Databases, data management, data science and information retrieval · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Artificial intelligence
6 papers |
Knowledge representation and reasoning · 100% | |
| Human-computer interaction and pervasive computing
1 paper |
Human-AI interaction · 44% Design research and methods · 44% Human-robot interaction · 13% | |
| Databases, data mining, and information retrieval
3 papers |
Data models and query languages · 36% Database theory · 30% Knowledge graphs · 26% | |
| Theoretical computer science
1 paper |
Logic in computer science · 100% |
Topics — the 15 heaviest of 18, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Knowledge, reasoning and agents › Knowledge representation and reasoning › reasoning about action and change › reasoning about actions
situation calculus |
0.5 | 4 | 2014 | Transforming Situation Calculus Action Theories for Optimised Reasoning · KR 2014 A Classification of First-Order Progressable Action Theories in Situation Calculus · IJCAI 2013 On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture · AAAI 2008 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › reasoning about action and change
action theories |
0.5 | 3 | 2014 | Action Theories over Generalized Databases with Equality Constraints (Extended Abstract) · KR 2014 Transforming Situation Calculus Action Theories for Optimised Reasoning · KR 2014 First-Order Strong Progression for Local-Effect Basic Action Theories · KR 2008 |
Human-AI interaction
conversational agents |
0.4 | 1 | 2019 | Transformation through Provocation? · CHI 2019 |
Design research and methods
participatory design |
0.4 | 1 | 2019 | Transformation through Provocation? · CHI 2019 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
reasoning about action and change |
0.3 | 3 | 2013 | A Classification of First-Order Progressable Action Theories in Situation Calculus · IJCAI 2013 On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture · AAAI 2008 Progression of Situation Calculus Action Theories with Incomplete Information · IJCAI 2007 |
Database theory
database update |
0.2 | 1 | 2013 | How to progress a database III · Artif. Intell. 2013 |
Logic in computer science › knowledge representation and reasoning
description logic |
0.2 | 1 | 2013 | A Classification of First-Order Progressable Action Theories in Situation Calculus · IJCAI 2013 |
Data models and query languages › multidimensional database
array DBMS |
0.1 | 1 | 2012 | TELEIOS: A Database-Powered Virtual Earth Observatory · Proc. VLDB Endow. 2012 |
Knowledge graphs
semantic web |
0.1 | 1 | 2012 | TELEIOS: A Database-Powered Virtual Earth Observatory · Proc. VLDB Endow. 2012 |
Human-robot interaction › affective interaction
emotional engagement |
0.1 | 1 | 2019 | Transformation through Provocation? · CHI 2019 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
action and change |
0.1 | 1 | 2008 | First-Order Strong Progression for Local-Effect Basic Action Theories · KR 2008 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › reasoning about action and change › reasoning about actions
basic action theory |
0.1 | 1 | 2008 | First-Order Strong Progression for Local-Effect Basic Action Theories · KR 2008 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › reasoning about action and change
reasoning about actions |
0.1 | 1 | 2008 | First-Order Strong Progression for Local-Effect Basic Action Theories · KR 2008 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › uncertainty management
imperfect information |
0.1 | 1 | 2007 | Progression of Situation Calculus Action Theories with Incomplete Information · IJCAI 2007 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
uncertainty reasoning |
0.1 | 1 | 2007 | Progression of Situation Calculus Action Theories with Incomplete Information · IJCAI 2007 |
Methods — techniques the papers use, named apart from their topics
participatory design · 0.4iterative evaluation · 0.4stSPARQL · 0.3stRDF · 0.3SciQL · 0.3column-store · 0.1column store · 0.1situation calculus · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Still All Greeklish to Me: Greeklish to Greek TransliterationabstractModern Greek is normally written in the Greek alphabet. In informal online messages, however, Greek is often written using characters available on Latin-character keyboards, a form known as Greeklish. Originally used to bypass the lack of support for the Greek alphabet in older computers, Greeklish is now also used to avoid switching languages on multilingual keyboards, hide spelling mistakes, or as a form of slang. There is no consensus mapping, hence the same Greek word can be written in numerous different ways in Greeklish. Even native Greek speakers may struggle to understand (or be annoyed by) Greeklish, which requires paying careful attention to context to decipher. Greeklish may also be a problem for NLP models trained on Greek datasets written in the Greek alphabet. Experimenting with a range of statistical and deep learning models on both artificial and real-life Greeklish data, we find that: (i) prompting large language models (e.g., GPT-4) performs impressively well with few- or even zero-shot training, outperforming several fine-tuned encoder-decoder models; however (ii) a twenty years old statistical Greeklish transliteration model is still very competitive; and (iii) the problem is still far from having been solved; (iv) nevertheless, downstream Greek NLP systems that need to cope with Greeklish, such as moderation classifiers, can benefit significantly even with the current non-perfect transliteration systems. We make all our code, models, and data available and suggest future improvements, based on an analysis of our experimental results. Anastasios Toumazatos, John Pavlopoulos, Ion Androutsopoulos, Stavros Vassos |
LREC/COLING | 4 |
| 2019 | Transformation through Provocation?abstractCan a chatbot enable us to change our conceptions, to be critically reflective? To what extent can interaction with a technologically 'minimal' medium such as a chatbot evoke emotional engagement in ways that can challenge us to act on the world? In this paper, we discuss the design of a provocative bot, a 'bot of conviction', aimed at triggering conversations on complex topics (e.g. death, wealth distribution, gender equality, privacy) and, ultimately, soliciting specific actions from the user it converses with. We instantiate our design with a use case in the cultural sector, specifically a Neolithic archaeological site that acts as a stage of conversation on such hard themes. Our larger contributions include an interaction framework for bots of conviction, insights gained from an iterative process of participatory design and evaluation, and a vision for bot interaction mechanisms that can apply to the HCI community more widely. Maria Roussou, Sara Perry, Akrivi Katifori, Stavros Vassos, Angeliki Tzouganatou, Sierra McKinney |
CHI | 4 |
| 2016 | Art-Bots: Toward Chat-Based Conversational Experiences in Museums
Stavros Vassos, Eirini Malliaraki, Federica dal Falco, Jessica Di Maggio, Manlio Massimetti, Maria Giulia Nocentini, Angela Testa |
ICIDS | 1 |
| 2015 | Optimizing Long-Running Action Histories in the Situation Calculus Through Search
Christopher James Ewin, Adrian R. Pearce, Stavros Vassos |
PRIMA | 3 |
| 2015 | Touching Notes: A Gesture-Based Game for Teaching Music to ChildrenabstractIn this work we present some findings on how gesture-based interfaces can stimulate and motivate children into learning the basics of music notation. We report on a serious game we developed that relies on a hand detection interface using motion-sensing camera technology. Our initial experiments indicate the accuracy, effectiveness, and user acceptance of the gesture-based interface among children, thereby validating the idea that such interfaces can be used to facilitate the teaching of music concepts. Manuela Renzi, Stavros Vassos, Tiziana Catarci, Stephen Kimani |
TEI | 2 |
| 2014 | LTL Verification of Online Executions with Sensing in Bounded Situation CalculusabstractWe look at agents reasoning about actions from a first-person perspective. The agent has a representation of world as situation calculus action theory. It can perform sensing actions to acquire information. The agent acts “online”, i.e., it performs an action only if it is certain that the action can be executed, and collects sensing results from the actual world. When the agent reasons about its future actions, it indeed considers that it is acting online; however only possible sensing values are available. The kind of reasoning about actions we consider for the agent is verifying a first-order (FO) variant (without quantification across situations) of linear time temporal logic (LTL) . We mainly focus on bounded action theories, where the number of facts that are true in any situation is bounded. The main results of this paper are: (i) possible sensing values can be based on consistency if the initial situation description is FO; (ii) for bounded action theories, progression over histories that include sensing results is always FO; (iii) for bounded theories, verifying our FO LTL against online executions with sensing is decidable. Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos |
ECAI | 4 |
| 2014 | Action Theories over Generalized Databases with Equality Constraints
Fabio Patrizi, Stavros Vassos |
JELIA | 2 |
| 2014 | Transforming Situation Calculus Action Theories for Optimised Reasoning
Christopher James Ewin, Adrian R. Pearce, Stavros Vassos |
KR | 3 |
| 2014 | Action Theories over Generalized Databases with Equality Constraints (Extended Abstract)
Fabio Patrizi, Stavros Vassos |
KR | 2 |
| 2013 | Combining deliberation and reactive behavior for AI players in the Mini-Tichu card-game
Martha Vlachou-Konchylaki, Stavros Vassos |
FDG | 2 |
| 2013 | A Classification of First-Order Progressable Action Theories in Situation Calculus
Stavros Vassos, Fabio Patrizi |
IJCAI | 1 |
| 2013 | Planning with a task modeling framework in manufacturing roboticsabstractIn this paper we present the idea that by using AI planning in concert with formal task modeling, the overhead associated with plan creation for complex tasks can be reduced. The proposed approach uses a SysML taxonomy to model the system capabilities and the process specification, and the PDDL planning language to determine acceptable objective solutions. This idea is applied to the manufacturing domain, and examples are shown modeling a multi-robot system in an automobile manufacturing environment. A discussion is given regarding the merits of the demonstrated approach. Jacob Huckaby, Stavros Vassos, Henrik I. Christensen |
IROS | 2 |
| 2013 | How to progress a database III
Stavros Vassos, Hector J. Levesque |
Artif. Intell. | 1 |
| 2012 | TELEIOS: A Database-Powered Virtual Earth ObservatoryabstractTELEIOS is a recent European project that addresses the need for scalable access to petabytes of Earth Observation data and the discovery and exploitation of knowledge that is hidden in them. TELEIOS builds on scientific database technologies (array databases, SciQL, data vaults) and Semantic Web technologies (stRDF and stSPARQL) implemented on top of a state of the art column store database system (MonetDB). We demonstrate a first prototype of the TELEIOS Virtual Earth Observatory (VEO) architecture, using a forest fire monitoring application as example. Manolis Koubarakis, Kostis Kyzirakos, Manos Karpathiotakis, Charalampos Nikolaou, Stavros Vassos, George Garbis, Michael Sioutis, Konstantina Bereta, Dimitrios Michail 0001, Charalambos Kontoes, Ioannis Papoutsis, Themos Herekakis, Stefan Manegold, Martin L. Kersten, Milena Ivanova, Holger Pirk, Ying Zhang 0027, Mihai Datcu, Gottfried Schwarz, Corneliu Octavian Dumitru, Daniela Espinoza-Molina, Katrin Molch, Ugo Di Giammatteo, Manuela Sagona, Sergio Perelli, Thorsten Reitz, Eva Klien, Robert Gregor |
Proc. VLDB Endow. | 5 |
| 2008 | On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture
Stavros Vassos, Hector J. Levesque |
AAAI | 1 |
| 2008 | First-Order Strong Progression for Local-Effect Basic Action Theories
Stavros Vassos, Gerhard Lakemeyer, Hector J. Levesque |
KR | 1 |
| 2007 | Progression of Situation Calculus Action Theories with Incomplete Information
Stavros Vassos, Hector J. Levesque |
IJCAI | 1 |