This page is a historical archive. For the latest information please visit

11th International Symposium on Logical Formalizations of Commonsense Reasoning

Ayia Napa, Cyprus
27-29 May 2013

Final Program
Social Program
Participating Information
Symposium Venue
Travel to Cyprus
Travel to the Workshop
Author Information
Call for Papers
Important Dates
Accepted papers
Local Organization
Program Committee
Commonsense Reasoning
Contact Us
Collocated Event
FireWatch Workshop

Welcome to COMMONSENSE 2013!

Final Program

Sunday, 26 May 2013

20:00 Welcome cocktail and finger food dinner (at the hotel)

Monday, 27 May 2013

8:50-9:00 Welcome
09:00-10:30 Session 1: Mental States

Pavlos Peppas, Costas Koutras and Mary-Anne Williams.
From Infinite to Finite Belief Contraction

Richmond Thomason and Damian Wassel.
Towards a formalization of the formation and practicalization of goals

Charles Ortiz and Luke Hunsberger.
On the revision of dynamic intention structures

10:30-11:00 Coffee Break
11:00-13:00 Session 2: Temporal Reasoning

Christoph Schwering and Gerhard Lakemeyer.
Spatio-Temporal Reasoning about Traffic Scenarios

Rob Miller, Leora Morgenstern and Theodore Patkos.
Reasoning About Knowledge and Action in an Epistemic Event Calculus

Giancarlo Guizzardi and Veruska Zamborlini.
An Ontologically-founded Reification Approach for Representing Temporally Changing Information in OWL

Leora Morgenstern.
Foundations of a Formal Theory of Time Travel

13:30-15:30 Lunch Break
15:30-16:20 Keynote Talk: Robert Kowalski, Imperial College
16:20-17:10 Panel: Mental States And Actions
17:10-17:30 Coffee Break
17:30-19:00 Session 3: Commonsense Knowledge

Niloofar Montazeri, Jerry Hobbs and Eduard Hovy.
How Text Mining Can Help Lexical and Commonsense Knowledgebase Construction

Tanya Berger-Wolf, Dimitrios I. Diochnos, András London, András Pluhár, Robert H. Sloan and György Turán.
Commonsense knowledge bases and network analysis

Stefania Costantini and Giovanni De Gasperis.
Meta-level Constraints for Complex Event Processing in Logical Agents

19:15-20:15 Ancient Greek Drama Readings [Provisional]
20:30 - Social - Free Walk at Protaras (Bus at 20:30 from the hotel)

Tuesday, 28 May 2013

9:00-10:30 Session 4: Natural Language I

Valeria De Paiva.
Contexts for Quantification

Michael Anderson and Susan Leigh Anderson.
GENETH: A General Ethical Dilemma Analyzer

Stellan Ohlsson, Robert Sloan, György Turán and Aaron Urasky.
Verbal IQ of a Four-Year Old Achieved by an AI System

10:30-11:00 Coffee Break
11:00-13:00 Session 5: Natural Language II

Irene-Anna Diakidoy, Antonis Kakas, Loizos Michael and Rob Miller.
Narrative Text Comprehension: From Psychology to AI

Loizos Michael.
Story Understanding... Calculemus!

James F. Allen and Choh Man Teng.
Becoming Different: A Language-Driven Formalism for Commonsense Knowledge

Tommaso D'Odorico and Brandon Bennett.
Automated Reasoning on Vague Concepts using Formal Ontologies, with an Application to Event Detection on Video Data

13:30 -15:30 Lunch Break
15:30-16:20 Keynote Talk: Ido Dagan, Bar-Ilan University

Panel: Commonsense Reasoning and Natural Language Processing

17:10-17:30 Coffee Break
17:30-19:00 Session 6: Cognitive Robotics and Intelligent Agents

Vaishak Belle and Hector Levesque.
Robot Location Estimation in the Situation Calculus

Loizos Michael.
Machines with WebSense

Manfred Eppe and Mehul Bhatt.
Narrative based Postdictive Reasoning for Cognitive Robotics: Application of an Online Answer Set Programming driven Epistemic Action Theory

19:00-20:00 Free Time
20:00 - Conference Dinner (Bus at 20:00 at the hotel)

Wednesday, 29 May 2013

09:00-10:30 Session 7: Nonmonotonic and probabilistic reasoning

Antonis Kakas, Francesca Toni and Paolo Mancarella.
Argumentation for Propositional Logic and Nonmonotonic Reasoning

Claudia Schulz, Marek Sergot and Francesca Toni.
Argumentation-Based Answer Set Justification

Gavin Rens, Thomas Meyer and Gerhard Lakemeyer.
On the Logical Specification of Probabilistic Transition Models

10:30-11:00 Coffee Break
11:00-13:00 Session 8: Reasoning About Actions and States

Emmanuelle-Anna Dietz, Steffen Hölldobler and Marco Ragni.
A Computational Logic Approach to the Abstract and the Social Case of the Selection Task

Paulo E. Santos and Pedro Cabalar.
An investigation of actions, change, space within a hole-loop dichotomy

Alexander Bochman.
Causation in Flux

Haythem Ismail.
Stability in a Commonsense Ontology of States

13:00-14:30 Lunch Break
14:30-16:00 Session 9: Concluding Thoughts

John McCarthy: A retrospective and appreciation

Wrap-up: Prospectus for Logical Commonsense Reasoning

Download all papers in a single zip file here (9.8MB)
Sponsors and Supporters