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 |
| 16:20-17:10 |
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 |
