Theodore Patkos homepage

Profile

I completed my PhD (2010) and MSc (2004) at the Computer Science Department at University of Crete, working with Prof. Dimitris Plexousakis. I received my degree in Computer Science at the Department of Informatics of the Aristotle University of Thessaloniki (2002). I also worked as a Research Assistant for the Information Systems Laboratory at the Institute of Computer Science, FORTH (2003-2010) and as post-doctoral researcher at the Laboratoire Images Signaux and Systèmes Intelligents of the Institute of Technology of Créteil-Vitry et Université Paris Est Créteil (2011-2013). Since May 2013 I returned to ISL-FORTH.

Research Interests and Activities

My current research activities lie in the field of Artificial Intelligence with declarative reasoning approaches, with focus on Action Languages, as well as in the areas of Ambient Intelligence, Argumentation and the Semantic Web.

In 2017 I will co-chaired the RuleML+RR 2017 Doctoral Consortium with Antonis Bikakis (UCL), to be held in London, UK.

In 2015 I co-chaired the Twelfth International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense 2015), with Leora Morgenstern (Leidos) and Robert Sloan (University of Illinois at Chicago).

In 2014 I co-chaired
- the 8th International Rule Challenge, a special track of the RuleML'14 Symposium, with Adam Wyner (University of Aberdeen, UK) and Adrian Giurca (Brandenburg University of Technology Cottbus–Senftenberg, Germany), and
- the Action Languages: Theory & Practice Special Session of the 8th Hellenic Conference of Artificial Intelligence (SETN'14), with Alexander Artikis (NCSR Demokritos, Greece), Marco Montali (Free University of Bozen-Bolzano, Italy) and Stavros Vassos (Sapienza University of Rome, Italy).

I have been involved in projects related to:

Argumentation
Ambient Intelligence
Knowledge Representation and Reasoning
Context-aware Computing
Intelligent Software Agents
Semantic Web Services
Peer-to-peer Systems

It's common sense (isn't it?)

JESS-DECKT Reasoner (latest verion is named Cerbere - Causal and Epistemic Rule Based Event calculus REasoner) is a tool that performs epistemic commonsense reasoning on partially known and uncertain domains. It encompases the Event Calculus and DECKT axiomatizations, in order to derive conclusions about dynamically changing worlds, and the JESS rule engine for efficient inferencing.

JESS-DECKT Reasoner facilitates the design of rational autonomous agents, offering a visual development environment for writing epistemic Event Calculus programs and allowing the execution of run-time reasoning, where new observations and event may arrive on-the-fly. Currently, a new version is being developed and is available for testing.