9th Nonmonotonic Reasoning, Action, and Change (NRAC-2011)

Jul 16, 2011 - Jul 17, 2011 · Barcelona, Spain

The 9th International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC-2011) will be held as part of the workshop programme of the 2011 International Joint Conference on Artificial Intelligence (IJCAI-2011) at Barcelona, Spain, in July 2011.

NRAC is a well-established forum for researchers interested in sharing their experiences in work in the areas of Nonmonotonic Reasoning, Reasoning about Action, and Belief Revision. An intelligent agent exploring a rich, dynamic world, needs cognitive capabilities in addition to basic functionalities for perception and reaction. The abilities to reason nonmonotonically, to reason about actions, and to change one's beliefs, have been identified as fundamental high-level cognitive functions necessary for common sense. Research in all three areas has made significant progress during the last two decades of the past century. It is, however, crucial to bear in mind the common goal of designing intelligent agents. Researchers should be aware of advances in all three fields since often advances in one field can be translated into advances in another. Many deep relationships have already been established between the three areas and the primary aim of this workshop is to further promote this cross-fertilization.

This workshop will bring together researchers with the aim to:

- Compare and evaluate existing formalisms.
- Report on new developments.
- Identify the most important open problems and research questions.
- Identify possibilities of solution transferral between the areas.
- Identify important challenges for the advancement of the areas.
- Discuss challenges encountered when applying techniques in applications.


Workshop Chairs:
- Sebastian Sardina (RMIT University, Australia)
- Stavros Vassos (National and Kapodistrian University of Athens, Greece)

Programme Committee:
- Xiaoping Chen, University of Science and Technology China, China
- Jim Delgrande, Simon Fraser Unviersity, Canada
- Jérôme Lang, Universite Paul Sabatier, France
- Thomas Meyer, Meraka Institute, South Africa
- Michael Thielscher, University of NSW, Australia
- Sheila McIlraith, University of Toronto, Canada
- Eduardo Fermé University of Madeira, Portugal
- Dongmo Zhang, University of Western Sydney, Australia
- Mehdi Dastani, Utrecht University, The Netherlands
- Giuseppe De Giacomo, Sapienza Universita' di Roma, Italy
- Christian Fritz, PARC (Palo Alto Research Center), USA
- Leora Morgenstern, SAIC Advanced Systems and Concepts, USA
- Pavlos Peppas, University of Patras, Greece
- Sajjad Haider, Institute of Business Administratio, Pakistan
- Alfredo Gabaldon, Universidade Nova de Lisboa, Portugal

Steering Committee:
- Gerhard Brewka, University of Leipzig, Germany
- Michael Thielscher, University of NSW, Australia
- Leora Morgenstern, SAIC Advanced Systems and Concepts, USA
- Maurice Pagnucco, University of NSW, Australia
- Pavlos Peppas, University of Patras, Greece
- Mary-Anne Williams, University of Technology, Sydney, Australia
- Andreas Herzig, Universite Paul Sabatier, France
- Benjamin Johnston, University of Technology, Sydney, Australia

Sessions

Welcome:

Saturday, Jul 16, 2011 (9:00 am - 9:30 am)

09:00 am - 09:30 am
Welcome and Workshop Overview
Sebastian Sardina, RMIT University in Melbourn | Stavros Vassos, Ph.D., M.Sc. , National and Kapodistrian University of Athens

Paper session I: Agent and Planning :

Saturday, Jul 16, 2011 (9:30 am - 11:00 am)

09:30 am - 10:00 am
Agent Supervision in Situation-Determined ConGolog
Christian Muise | Yves Lespérance | Giuseppe De Giacomo
10:00 am - 10:30 am
Decision-Theoretic Planning for Golog Programs with Action Abstraction
Gerhard Lakemeyer | Daniel Beck
10:30 am - 11:00 am
Preferred Explanations: Theory and Generation via Planning
Sheila Mcilraith | Jorge Baier | Shirin Sohrabi

Invited Talk & Paper session II: Belief Revision:

Saturday, Jul 16, 2011 (11:30 am - 1:00 pm)

11:30 am - 12:30 pm
Invited Talk: How to test and compare Multi-agent systems?
Juergen Dix, TU Clausthal University, Germany
12:30 pm - 01:00 pm
Topics in Horn Contraction: Supplementary Postulates, Package Contraction, and Forgetting
Renata Wassermann | James Delgrande

Paper session III: Reasoning about action:

Saturday, Jul 16, 2011 (12:00 pm - 4:00 pm)

12:00 pm - 02:00 pm
Efficient Epistemic Reasoning in Partially Observable Dynamic Domains Using Hidden Causal Dependencies
Dimitris Plexousakis | Theodore Patkos
02:30 pm - 03:00 pm
Default Reasoning about Conditional, Non-Local and Disjunctive Effect Actions
Hannes Strass
03:00 pm - 03:30 pm
A Logic for Specifying Partially Observable Stochastic Domains
Gerhard Lakemeyer | Alexander Ferrein | Thomas Meyer | Gavin Rens
03:30 pm - 04:00 pm
Verifying properties of action theories by bounded model checking
Daniele Theseider Dupre | Alberto Martelli | Laura Giordano

Paper session IV:

Saturday, Jul 16, 2011 (5:00 pm - 6:30 pm)

05:00 pm - 05:30 pm
Tractable Strong Outlier Identification
Luigi Palopoli | Rachel Ben-Eliyahu-Zohary | Fabrizio Angiulli
05:30 pm - 06:00 pm
The Method of ILP+ASP on Psychological Models (Preliminary Report)
Ramon Otero | Jorge Gonzalez | Alberto Illobre | Javier Romero
06:00 pm - 06:30 pm
A Selective Semantics for Logic Programs with Preferences
Alfredo Gabaldon

Invited Talk & Paper session V:

Sunday, Jul 17, 2011 (9:00 am - 11:00 am)

09:00 am - 10:00 am
Invited Talk : Nonmonotonic Reasoning in the Real: Reasoning about Context in Ambient Intelligence Environments
Grigoris Antoniou, University of Crete, Greece
10:00 am - 10:30 am
An Adaptive Logic-based Approach to Abduction in AI (Preliminary Report)
Tjerk Gauderis
10:30 am - 11:00 am
On the Use of Epistemic Ordering Functions as Decision Criteria for Automated and Assisted Belief Revision in SNePS (Preliminary Report)
Stuart Shapiro | Ari Fogel

Panel Discussion & Closing Remarks:

Sunday, Jul 17, 2011 (11:30 am - 1:00 pm)

11:30 am - 12:45 pm
Panel Discussion
Michael Thielscher, University of New South Wales, Australia | Hector Geffner, Universitat Pompeu Fabra, Spain | Grigoris Antoniou, University of Crete, Greece | Juergen Dix, TU Clausthal University, Germany
12:45 pm - 01:00 pm
Closing Remarks
Sebastian Sardina, RMIT University in Melbourn, Australia | Stavros Vassos, Ph.D., M.Sc. , National and Kapodistrian University of Athens
Follow Conference

Followers (3)

Speakers

  • Stavros Vassos

    National and Kapodistrian University of Athens

  • Fabrizio Angiulli

  • Grigoris Antoniou

    University of Crete, Greece

  • Jorge Baier

  • Daniel Beck

  • Rachel Ben-Eliyahu-Zohary

  • Giuseppe De Giacomo

  • James Delgrande

Registration Deadline

Jul 16, 2011

Abstract Submission Deadline

May 16, 2011

Poster Submission Deadline

May 16, 2011

Visit the Website