Call For Papers - IJCAI'97 Workshop on Model Based Automated Reasoning 
Author Message
 Call For Papers - IJCAI'97 Workshop on Model Based Automated Reasoning

You may possibly receive this message multiple times.
We apologize for the inconvenience.

                           CALL FOR PAPERS

             Workshop on  Model Based Automated Reasoning

            in Connection with the Fif{*filter*}th International
             Joint Conference on Artificial Intelligence

                            Nagoya, Japan,
                      during August 23-25, 1997

Techniques for computing  or  using models  are developed in   various
areas of automated reasoning.
In theorem proving, models can  be used  to make semantic  information
available to the proof procedure. If the  prover has to compute models
there are rather   different  methods  depending on   the   underlying
calculi. Approaches for  resolution based provers focus  on extracting
models  from   the  generated     clause    sets  or   on    computing
non-consequences.  For tableaux based   approaches it is   possible to
restrict the tableaux  such  that the branches correspond  to  partial
In  logic programming and  non-monotonic reasoning one main concern is
to   compute certain,  e.g.  minimal models.  Here  the  problem is to
compute and to compare large numbers of models, in an efficient way.
In  qualitative and diagnostic reasoning, models  can be used to cache
previous computations and thus to make reasoning more efficient.

The  workshop will   therefore   focus on   techniques   for automated
reasoning and its applications that use models. Special attention will
be put on proof procedures and applications instead of semantics.  The
workshop is intended to  bring    together researchers from    various
subdisciplines such  as theorem proving,  logic programming, knowledge
representation and qualitative  and diagnostic reasoning.  The goal is
to evaluate  the  state  of the  art  of  the  field,  explore similar
problems and  possible solutions  in the   various subfields and  find
significant new research issues and  discuss areas where more research
is needed.

For further information visit



Papers are solicited on all aspects of the above mentioned topics.

In addition to technical    papers, we will invite   position  papers.
Authors of position papers will have about 10 minutes to present their
view on the topic of the workshop and then about 10-15 minutes to lead
a discussion on the issues raised in the paper.

Authors wishing  to present a paper  (either  technical or positional)
are invited  to  submit  5   hard-copies  of extended   abstracts  not
exceeding   10  pages. Electronic   (postscript)  submissions  will be
accepted, too.  Position papers are especially welcome.

Participation will be by invitation only.  At least one author of each
accepted paper will be    invited.  People wishing to attend   without
presenting a paper should submit  a  statement of interest  describing
current research related to the  topics of the workshop.  Participants
not presenting a paper will be selected by the organizing committee on
the  basis of their  research  interests and previous accomplishments.
All workshop participants must register for the IJCAI conference.

Send extended abstracts or statements to Ulrich Furbach (address below).


  Deadline for extended abstracts:      March 10, 1997
  Author Notification:                  March 31, 1997
  Camera-ready version of extended
  abstracts:                            April 20, 1997
  Deadline for statements of interest:  April 25, 1997
  Workshop:                             during August 23-25, 1997


The workshop will be a one day workshop. About 2/3 of  the day will be
devoted to panels  organized around presentations of technical papers.
The rest  of the  day will  be devoted  to  discussions  stimulated by
position papers or by members of the organizing committee.



Ulrich Furbach
Universitaet Koblenz, Rheinau 1, D-56075 KOBLENZ, Germany  
Tel.: +49 261 9119-433,  Fax: +49 261 9119-496          

Sat, 03 Jul 1999 03:00:00 GMT  
 [ 1 post ] 

 Relevant Pages 

1. 5th Annual Tcl/Tk Workshop '97 - Call for Papers

2. 5th Annual Tcl/Tk Workshop '97 - Call for Papers

3. 5th Annual Tcl/Tk Workshop '97 - Call for Papers

4. 5th Annual Tcl/Tk Workshop '97 - Call for Papers

5. CFP: IJCAI'97 Workshop on Abduction and Induction in AI

6. 2nd CFP: IJCAI'95 Workshop on Applications and Implementations of Nonmonotonic Reasoning Systems

7. BMAS'97 CFP: International Workshop on Behavioral Modeling and Simulation (Deadline July 10, 1997)

8. BMAS'97 CFP: International Workshop on Behavioral Modeling and Simulation (Deadline July 10, 1997)

9. CFP: ECOOP'97 Workshop on Language Support for Design Patterns and Frameworks (LSDF'97)

10. OOPSLA'97: new Business Object Workshop paper posted

11. TOOLS Asia'97 -- conference announcement and call for papers

12. Call for Papers: RTSPP'97


Powered by phpBB® Forum Software