AIPS Workshop on Planning via Model Checking (Kabanza)

[rao@cotopaxi.eas.asu.edu]

                      Call for Papers

        AIPS 2002 Workshop on Planning via Model Checking

        In conjunction with 6th International Conference on Planning
        and Scheduling (AIPS-2002), Toulouse, France, April 23-27, 2002.

             http://www.csd.auth.gr/~lpis/aips02

----------------------------------------------------------------------------
----

The aim of this one day workshop is to bring together researchers
working on outstanding issues related to planning via model-checking,
with a view to discussing them, comparing their approaches, techniques
or ideas, and letting these researchers take advantage of different
perspectives on these issues. Topics of interest include but are not
limited to:

--More--  * New results in planning via model checking for deterministic
--More-- 
    or non-deterministic domains, concerning for instance:
      . handling search-control knowledge in dynamic environments,
      . handling temporally extended goals in the presence of
        uncertainty and/or partial observation,
      . handling hybrid (i.e. both discrete and continuously changing)
        variables and environments,
      . handling adversarial environments.
  * New model checking techniques for planning, for instance:
      . abstraction techniques,
      . decentralised techniques,
      . hybrid heuristic/symbolic techniques,
        optimization techniques.

   * System architectures that integrate planning via model
     checking with other techniques, for instance:
      . prediction,
      . diagnosis,
      . plan validation,
      . plan recognition.
   * Applications of planning via model checking, for instance, to:
      . Intelligent Tutoring Systems,
      . Robotics,
--More--      . Network Supervision.
--More-- 
        
Submission guidelines

 Researchers wishing to participate in the workshop may submit
 either full papers (max 10    pages) which will be refereed by
 the workshop committee, or short position papers (1-2 pages)
 describing their interest in the workshop topic. Submissions
 should be in AAAI conference format (see AAAI instructions and macros ).
 We encourage the presention of both final results and work in progress.
 We welcome work submitted to the AIPS conference or elsewhere
 (KR, ECAI, AAAI, etc ...), although priority may be given to
 papers not appearing in the AIPS conference.

Important dates

  Forward submissions to Froduald Kabanza (kabanza@cs.uwindsor.ca).
  Electronic submissions in postscript or PDF format are highly preferred.

  Submission: Feb 1, 2002
  Notification: March 8, 2002
  Final copy: March 22, 2002

--More--Organising committee
--More-- 
        
 . Froduald Kabanza (co-chair, University of Windsor, Canada)
 . Sylvie Thiébaux (co-chair, The Australian National University, Australia)
 . Alessandro Cimatti (IRST, Italy)
 . Giuseppe De Giacomo (University of Rome, Italy)
 . Robert Goldman (Honeywell SRC, USA)
 . Patrick Haslüm (University of Linköping, Sweden)
 . Rune Jensen (Carnegie Mellon University, USA)
----------------------------------------------------------------------------
--