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

Full Papers


Please click on the picture to enlarge it.


Sunday, May 22nd, 2005

  09.00 - 10.00    Conceptual Spaces as a Semantics for Nonmontonic Reasoning
  Peter Gärdenfors (Invited Talk)
  10.00 - 10.30  Complex procedures instantiated by their proper parts
  Boris Hennig
  10.30 - 11.00
Coffee Break
  11.00 - 11.30  Iterated Belief Revision, Revised
  Yi Jin, Michael Thielscher
  11.30 - 12.00  On the Logic of Merging: Quota and Gmin Merging Operators
  Olivier Gauwin, Sébastien Konieczny, Pierre Marquis
  12.00 - 12.30  Iterated Belief Merging as Conciliation Operators
  Patricia Everaere, Sébastien Konieczny, Pierre Marquis
  12.30 - 14.30
  14.30 - 15.00  An Argumentation Framework for Merging Conflicting Knowledge Bases: The Prioritized Case  
  Leila Amgoud, Souhila Kaci
  15.00 - 15.30  Modular-E: an Elaboration Tolerant Approach to the Ramification and Qualification Problems    
  Antonis Kakas, Loizos Michael, Rob Miller
  15.30 - 16.00  Causality and Counterfactuals in the Situation Calculus
  Mark Hopkins, Judea Pearl
  16.00 - 16.30
Coffee Break
  16.30 - 17.00  Semantics for a useful fragment of the situation calculus
  Gerhard Lakemeyer, Hector J. Levesque
  17.00 - 17.30  Action Invariants and System Constraints in STRIPS
  Norman Foo, Pavlos Peppas, Yan Zhang

On the Logic of Merging: Quota and Gmin Merging Operators Iterated Belief Merging as Conciliation Operators

Monday, May 23rd, 2005

  09.00 - 10.00    Drosophila, Challenge Problems, and the Furtherance of Formal Commonsense Reasoning      
  Leora Morgenstern (Invited Talk)
  10.00 - 10.30  On the reasoning of real-world agents: Toward a semantics for active logic
  Michael L. Anderson, Walid Gomaa, John Grant, Don Perlis
  10.30 - 11.00
Coffee Break
  11.00 - 11.30  Specifying and Generating Preferred Plans
  Meghyn Bienvenu, Sheila McIlraith
  11.30 - 12.00  A General Framework for Expressing Preferences in Causal Reasoning and Planning
  James P. Delgrande, Torsten Schaub, Hans Tompits
  12.00 - 12.30  A Causal Theory of Abduction
  Alexander Bochman
  12.30 - 14.30
  14.30 - 15.00  Interpreting Golog Programs in Flux
  Stephan Schiffel, Michael Thielscher
  15.00 - 15.30  Representing Flexible Temporal Behaviors in the Situation Calculus
  Alberto Finzi, Fiora Pirri
  15.30 - 16.00  Goal Change
  Steven Shapiro, Yves Lespérance, Hector J. Levesque
  16.00 - 16.30
Coffee Break
  16.30 - 17.00  Knowledge Integration for Description Logics
  Thomas Meyer, Kevin Lee, Richard Booth
  17.00 - 17.30  Updating Description Logics using the AGM Theory
  Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou
  20.30 - 23.00
Symposium Dinner

  John McCarthy (Invited Talk)

Tuesday, May 24th, 2005

  09.00 - 09.30    Encoding Knowledge of Commonsense Psychology
  Jerry R. Hobbs, Andrew S. Gordon
  09.30 - 10.00  Towards an Ontology of Information Structure
  Jerry R. Hobbs
  10.00 - 10.30  Decision-Theoretic Deliberation in Resource Bounded Self-Aware Agents
  Guido Boella, Joris Hulstijn, Leendert van der Torre
  10.30 - 11.00
Coffee Break
  11.00 - 11.30  A First-Order Axiomatization of the Surprise Birthday Present Problem
  Leora Morgenstern
  11.30 - 12.00  A Framework for Commonsense Knowledge Retrieval
  Phil Oertel, Eyal Amir
  12.00 - 12.30  A novel approach for updates based on the notion of minimal generalized answer sets                
  Fernando Zacarías, Mauricio Osorio, Juan Carlos Acosta Guadarrama, Jürgen Dix
  12.30 - 14.30
  14.30 - 15.00  First Order Logical Filtering
  Afsaneh Shirazi, Eyal Amir
  15.00 - 15.30  Forgetting literals with varying propositional symbols
  Yves Moinard
  15.30 - 16.00  DR-Prolog: A System for Reasoning with Rules and Ontologies on the Semantic Web
  Grigoris Antoniou, Antonis Bikakis
  16.00 - 16.30
Coffee Break
  16.30 - 17.00  Tractable Reasoning with Incomplete Knowledge in Dynamic Systems
  Yongmei Liu, Hector J. Levesque
  17.00 - 17.30  Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information
  Yongmei Liu, Hector J. Levesque

Invited Speakers

Peter Gärdenfors
University of Lund

Title: Conceptual Spaces as a Semantics for Nonmontonic Reasoning

Abstract: First I will argue that nonmonotonic reasoning is mainly about the nomonotonicy of concepts, rather than the nomonotonicity of sentences. Then I shall present conceptual spaces as a tool for representing concepts. The central part of the talk will be to show that many aspects of nonmontonic reasoning can be explained if grounded in a conceptual space semantics.

Pat Hayes (Unable to Attend)
University of West Florida

Title: Uncommon Sense

Abstract: Using logic to formalize common sense was the topic of one of the first AI documents ever written (McCarthy 1959), and we now have over 45 years of progress to look back on. The view is not encouraging. We are still struggling to handle problems which young children find so trivial as to be below the horizon of conscious effort; and yet computers now routinely play superb chess, recognize faces, control spacecraft and solve challenging industrial-scale problems. AI is doing well, but "logical common sense" is stuck, I suggest, in a dead end, where progress is essentially stymied by old problems that should have been treated as warnings rather than as posing research goals to be solved. This paper attempts to diagnose what went wrong, and suggest some alternative ways in which the field might make better progress.

Additional Information

John McCarthy
Stanford University

Title: Simple Deterministic Free Will

Leora Morgenstern
IBM Watson Research

Title: Drosophila, Challenge Problems, and the Furtherance of Formal Commonsense Reasoning

Call for Papers

Additional Information

Important Dates

Paper Submission Deadline: February 8, 2005
Paper Notification: March 14, 2005
Camera Ready Papers Due: March 28, 2005
Symposium: May 22 - 24, 2005

Accommodation and Travel

Special rates are available for the participants of CommonSense-05 at the following hotels in Corfu, both of which are a pleasant 10min walk from the symposium venue. You can make a reservation by contacting the hotel directly and quoting "CommonSense-05" to get the special rates.

Corfu is a popular destination in May and there are only limited rooms available, so please make your reservation as soon as possible. The following prices are valid only for bookings made before 22 April 2005.

HotelCategorySingle RoomDouble RoomTelephoneemail
Cavalieri Hotel4 Stars75€90€
Bella Venezia Hotel3 Stars60€72€

Regarding accommodation, apart from Cavalieri Hotel, there is an even better hotel (5 stars) called Corfu Palace Hotel, which is also about 15 minutes walk from the conference venue.

Corfu (or "Kerkyra") is one of the most beautiful Greek islands, located approximately 400km northwest of Athens. The capital of the island, where the Symposium will be held, is also called Corfu, while a number of pictorial villages are spread throughout the island. The day before our symposium starts, i.e. on the 21st of May, Corfu celebrates its unification with the rest of Greece (it took place in 1864) and there will be a lot of (mostly traditional) festivities that day.

One can reach the island by plane, or by boat:

Flying to Corfu

There are daily domestic flights to Corfu from Athens and Thessalonica. The airport is located 3 kilometres to the south of Corfu-city. During peak season there are also charter flights connecting Corfu directly with various cities in Europe.

Taking a Boat to Corfu

Upon arrival at Athens' airport "Eleftherios Venizelos", one can use the metro to get to the inter-city bus station, and then choose one of the following routes to Corfu:

Apart from Patras and Igoumenitsa, Corfu is also connected by sea with Italy (Brindissi, Bari, Ancona, and Venice).


Symposium Venue - Faliraki

the symposium venue; address: Faliraki, Pyli Agios Nicolaos, Kerkyra (Corfu)

“Faliraki” is the popular name given to the St. Nicholas Baths complex , which was founded in Byzantine times. The Church of St. Nicholas , which was probably built in 1414 , forms part of this group of buildings. Following their renovation in 1995, the offices of the Municipal Development Enterprise (ANEDK) were relocated in the complex, which is also used for events such as conferences, seminars and exhibitions.

Faliraki is a pleasant 5 minutes walk from Spianada square (at the centre of Corfu town). Walking to the north along Kapodistriou Str, (which later becomes Eleftherias Str) you pass through an arch (part of the Palace of Saint Michael and Saint George) and after about two hundred meter you will see to your right the Agios Nikolaos Gate leading to Faliraki (right at the sea front).


We request all participants to pre-register by sending an email with name and affiliation to Pavlos Peppas no later than May, 9th, 2005.

The conference fee is 130 EUR (regular) and 90 EUR (full-time students). The fee includes free use of the conference venue and equipment, conference documentation, and coffee breaks. The regular fee also includes the conference dinner. Students should bring a proof of their status to Corfu.

The preferred method of payment is by money transfer to

Bank: National Bank of Greece
Account Name: Research Committee, University of Patras
Account Number: 229/54000232
Reference Code: B523

Please make sure that the reference code is recorded. Alternatively, the fee can be paid on-site.

Symposium Committee


Sheila McIlraith
Dept of Computer Science
University of Toronto
6 King's College Road
Toronto, ON, Canada M4K 2W1

Pavlos Peppas
Dept of Business Administration
University of Patras
Patras 256 00, Greece

Michael Thielscher
Dept of Computer Science
Dresden University of Technology
01062 Dresden, Germany

Program Committee

Eyal Amir, Uni. of Illinois at Urbana-Champaign, USA
Michael L. Anderson, University of Maryland, USA
Grigoris Antoniou, University of Crete, Greece
Chitta Baral, Arizona State University, USA
Gerd Brewka, University of Leipzig, Germany
Vinay Chaudhri, SRI, USA
Ernest Davis, NYU, USA
Patrick Doherty, University of Linkoping, Sweden
Esra Erdem, Technical University of Wien, Austria
Alfredo Gabaldon, NICTA, Sydney, Australia
Nicola Guarino, ISTC-CNR Trento, Italy
Jerry Hobbs, USC/ISI, USA
Antonis Kakas, University of Cyprus, Cyprus
Lefteris Kirousis, University of Patras and CTI, Greece
Jerome Lang, IRIT, France
Vladimir Lifschitz, UT at Austin, USA
Fangzhen Lin, Hong Kong UST
Yves Martin, Dresden Uni. of Technology, Germany
John-Jules Meyer, University of Utrecht, The Netherlands
Leora Morgenstern, IBM, USA
Don Perlis, University of Maryland, USA
Fiora Pirri, University of Rome La Sapienza, Italy
Murray Shanahan, Imperial College, UK
Stuart Shapiro, SUNY at Buffalo, USA
Son Cao Tran, New Mexico State Uni., USA
Chris Welty, IBM T.J. Watson, USA
Mary-Anne Williams, Uni. of Technology, Sydney, Australia

Collocated Events

4th International Workshop on Efficient and Experimental Algorithms (WEA-05), May 10 -13, Santorini