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 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).
My main research activities revolve around context-aware mobile systems and the application of semantics-based technologies and action theories (Event Calculus mostly). Planning and reasoning about knowledge and causality in dynamic, smart spaces is one of my long-held research intetests.
I have been involved in projects related to:
- 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.