Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Stavros Vassos

dblp:07/2215 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Knowledge, reasoning and agents › Knowledge representation and reasoning › reasoning about action and change › reasoning about actions
situation calculus
0.542014
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.532014
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.412019
Transformation through Provocation? · CHI 2019
Design research and methods
participatory design
0.412019
Transformation through Provocation? · CHI 2019
Knowledge, reasoning and agents › Knowledge representation and reasoning
reasoning about action and change
0.332013
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.212013
How to progress a database III · Artif. Intell. 2013
Logic in computer science › knowledge representation and reasoning
description logic
0.212013
A Classification of First-Order Progressable Action Theories in Situation Calculus · IJCAI 2013
Data models and query languages › multidimensional database
array DBMS
0.112012
TELEIOS: A Database-Powered Virtual Earth Observatory · Proc. VLDB Endow. 2012
Knowledge graphs
semantic web
0.112012
TELEIOS: A Database-Powered Virtual Earth Observatory · Proc. VLDB Endow. 2012
Human-robot interaction › affective interaction
emotional engagement
0.112019
Transformation through Provocation? · CHI 2019
Knowledge, reasoning and agents › Knowledge representation and reasoning
action and change
0.112008
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.112008
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.112008
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.112007
Progression of Situation Calculus Action Theories with Incomplete Information · IJCAI 2007
Knowledge, reasoning and agents › Knowledge representation and reasoning
uncertainty reasoning
0.112007
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
YearPublicationVenuePosition
2024 Still All Greeklish to Me: Greeklish to Greek Transliteration
abstract
Modern 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/COLING4
2019 Transformation through Provocation?
abstract
Can 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
CHI4
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
ICIDS1
2015 Optimizing Long-Running Action Histories in the Situation Calculus Through Search
Christopher James Ewin, Adrian R. Pearce, Stavros Vassos
PRIMA3
2015 Touching Notes: A Gesture-Based Game for Teaching Music to Children
abstract
In 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
TEI2
2014 LTL Verification of Online Executions with Sensing in Bounded Situation Calculus
abstract
We 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
ECAI4
2014 Action Theories over Generalized Databases with Equality Constraints
Fabio Patrizi, Stavros Vassos
JELIA2
2014 Transforming Situation Calculus Action Theories for Optimised Reasoning
Christopher James Ewin, Adrian R. Pearce, Stavros Vassos
KR3
2014 Action Theories over Generalized Databases with Equality Constraints (Extended Abstract)
Fabio Patrizi, Stavros Vassos
KR2
2013 Combining deliberation and reactive behavior for AI players in the Mini-Tichu card-game
Martha Vlachou-Konchylaki, Stavros Vassos
FDG2
2013 A Classification of First-Order Progressable Action Theories in Situation Calculus
Stavros Vassos, Fabio Patrizi
IJCAI1
2013 Planning with a task modeling framework in manufacturing robotics
abstract
In 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
IROS2
2013 How to progress a database III
Stavros Vassos, Hector J. Levesque
Artif. Intell.1
2012 TELEIOS: A Database-Powered Virtual Earth Observatory
abstract
TELEIOS 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
AAAI1
2008 First-Order Strong Progression for Local-Effect Basic Action Theories
Stavros Vassos, Gerhard Lakemeyer, Hector J. Levesque
KR1
2007 Progression of Situation Calculus Action Theories with Incomplete Information
Stavros Vassos, Hector J. Levesque
IJCAI1