[Prev][Next][Index][Thread]

CADE-15 Workshop on Integrating Forward and Backward Chaining

[An important aspect of the integration of forward and backward
chaining for inference systems is the proof-theoretic foundations of
the combination of the two approaches.  This workshop is concerned,
inter alia, with semantic characterizations of mixed strategies, as
well as languages for the description and analsyes of such strategies,
for which type-theoretic methods have proved successful in the past.]


                    CADE-15

The 15th International Conference on Automated Deduction

         July 5-10, 1998, Lindau, Germany

WORKSHOP ON INTEGRATING FORWARD AND BACKWARD CHAINING

              Call for Participation

The aim of this workshop is to identify, consolidate and promulgate
the need to have, and techniques for achieving, varying degrees of
integration of top-down and bottom-up inference techniques. We aim to
consider both foundational theories and applications.  Such a
technology would allow the development of hybrid systems which can
thus follow either pre-planned strategies (top-down) or data-driven
ones (bottom-up) or, crucially in substantial applications, mixtures
of the two tailored to the application at hand.  Application areas
include (but need not be limited to) agent-oriented programming,
active databases, logic programming systems, deductive databases and
genetic algorithms.


Topics of interest include, but need not be limited to,  

	o top-down versus bottom-up for specific applications ---
	  e.g., logic programming, databases, agent models;

	o theoretical analysis of top-down versus bottom-up; 

	o execution techniques;  

	o strategies for combining top-down and bottom-up; 

	o semantic characterizations of mixed top-down/bottom-up strategies
	  --- e.g., model- and proof-theoretic approaches; 
	
	o examples of the use of mixed strategies; 

	o languages for implementing mixed strategies; 

	o applications to resource-sensitive logics --- e.g., linear
	  and other relevant logics, which encapsulate dynamic aspects of
	  behaviour --- e.g., the execution model can influence, and be
	  influenced by, the current context.  </ul>


Submission deadline:		April 30th, 1998
Notification of acceptance:	May 15th, 1998 
Camera-ready copy due:		June 7th, 1998 
Workshop date:			July 5th or 6th, 1998

Organizers:

James Harland			David Pym 
Department of Computer Science	Department of Computer Science 
RMIT				Queen Mary and Westfield College
GPO Box 2476V			University of London
Melbourne, 3001			Mile End Road 
Australia			London E1 4NS 
				England, UK

jah@cs.rmit.edu.au		pym@dcs.qmw.ac.uk
Phone: +61 (0) 3 9925 2045	+44 (0) 171 975 5237 
Fax: +61 (0) 3 9662 1617	+44 (0) 181 980 6533

Submissions on any aspect of the topic above are solicited, including
position papers and descriptions of work in progress, as well as more
mature work. Such papers may deal with the theory, design and/or
application of integrated systems, as well as case
studies. Participants interested in presenting their work are invited
to submit a Postscript file containing an extended abstract of up to
10 pages via email to jah@cs.rmit.edu.au (please copy all submissions
to pym@dcs.qmw.ac.uk) by 30th April.  Participants interested in
attending the workshop without giving a presentation should send a
position paper of up to 2 pages describing their interest in the
topics of the workshop.

Attendance is by invitation only. Workshop registration is to be done
as part of registration for CADE-15.

WORKSHOP Web Site --- http://www.cs.rmit.edu.au/~jah/cade-workshop.html

CADE-15 Web Site --- http://www.th-darmstadt.de/cade-15







\documentstyle{article}

%%%%%% Setting of the various dimensions
\setlength{\textwidth}{17.1cm}
\setlength{\textheight}{27cm}
\setlength{\hoffset}{-3cm}
\setlength{\voffset}{-3.7cm}

%%%%%% definition of the macros: this should not be edited
\newenvironment{Presentation}{\noindent
			% For general presentation:
			\newline}{~\newline}
\newenvironment{Topics}{\noindent
                        %For description of topics:
		        \newline}{~\newline}
\newenvironment{Submissions}{\noindent
                        %For how to submit:
		        \newline}{~\newline}


\begin{document}
\thispagestyle{empty}
\begin{center}
                       {\Huge\bf CADE-15}
\\[.6cm]
{\LARGE The 15th International Conference on Automated Deduction}\\[.4cm]
{\Large\it July 5-10, 1998, Lindau, Germany}\\[6mm]

                  {\Large\bf INTEGRATING FORWARD AND BACKWARD CHAINING}
\\[.6cm]
{\LARGE Call for Participation}
\end{center}

\begin{Presentation}

	% Workshop presentation: Describe here in a few lines the general
	% purpose of your workshop 
	% adjust \vspace{1cm} according to the size of your description.

%%\vspace{1cm}


The aim of this workshop is to identify, consolidate and promulgate
the need to have, and techniques for achieving, varying degrees of
integration of top-down and bottom-up inference techniques. We aim to
consider both foundational theories and applications.  Such a
technology would allow the development of hybrid systems which can
thus follow either pre-planned strategies (top-down) or data-driven
ones (bottom-up) or, crucially in substantial applications, mixtures
of the two tailored to the application at hand.  Application areas
include (but need not be limited to) agent-oriented programming,
active databases, logic programming systems, deductive databases and
genetic algorithms.


\end{Presentation}
~~\\[3mm]


\noindent
\begin{minipage}{5.5cm}
\begin{tabbing}
xxxxxxxxxx \= \kill
{\bf Submission deadline:}\\
April 30th, 1998\\
{\bf Notification of acceptance:}\\
May 15th, 1998\\
{\bf Camera-ready copy due:} \\
June 7th, 1998\\
{\bf Workshop date:} \\
July 5th or 6th, 1998	% <<<<<<<<<< This should be determined in
                        % <<<<<<<<<< agreement with the conference
                        % <<<<<<<<<< chair. Please specify also
                        % <<<<<<<<<< morning, afternoon or full day
\end{tabbing}
\vspace{40mm}
%
\begin{minipage}{4.5cm} % To be completed of course
{\small
{\bf Organizers:}\\[.2cm]

James Harland and David Pym \\
C/O Computer Science Dept. \\
RMIT \\
GPO Box 2476V \\
Melbourne, 3001 \\
Australia \\

 \begin{tabbing}
 00000000\=\kill
 Phone:  +61 (0) 3 9925 2045 (voice) \\
 FAX:    +61 (0) 3 9662 1617 (fax)    \\
 E-mail: jah@cs.rmit.edu.au
 \end{tabbing}


% Name1 Name2 ...\\
% Address\\
% Address\\
% Address\\
% Address\\
% COUNTRY
% \begin{tabbing}
% 00000000\=\kill
% Phone:  \+xx 1 11 11 11 11\\
% FAX:    \+xx 1 11 11 11 11 \\
% E-mail: \workshop@workshop.ct
% \end{tabbing}

}
\end{minipage}
%

\end{minipage}
\begin{minipage}{11.7cm}
\begin{center}
                  {\bf Topics}
\end{center}

%%%%%% Description of the topics
   \begin{Topics}

	% Workshop topics: Describe here the general topics of your workshop 
	% adjust \vspace{5cm} according to the size of your description.
%%     \vspace{5cm}

Topics of interest include, but need not be limited to,  
top-down versus bottom-up for specific applications
--- {\em e.g.}, logic programming, databases, agent models; 
theoretical analysis of top-down versus bottom-up; 
execution techniques;  
 strategies for combining top-down and bottom-up; 
 semantic characterizations of mixed top-down/bottom-up strategies
--- {\em e.g.}, model- and proof-theoretic approaches; 
 examples of the use of mixed strategies; 
 languages for implementing mixed strategies; 
 applications to resource-sensitive logics --- {\em e.g.}, linear 
and other relevant logics, which encapsulate dynamic aspects of 
 behaviour --- {\em e.g.}, the execution model can influence, and 
 be influenced by, the current context.   


   \end{Topics}

   \medskip
   \begin{center}
                 {\bf Submissions}
   \end{center}

%%%%%% Description the submission format and conditions
   \begin{Submissions} Submissions on any aspect of the topic above
are solicited, including position papers and descriptions of work in
progress, as well as more mature work. Such papers may deal with the
theory, design and/or application of integrated systems, as well as
case studies. Participants interested in presenting their work are
invited to submit a Postscript file containing an extended abstract of
up to 10 pages via email to {\tt jah@cs.rmit.edu.au} (please copy all 
submissions to {\tt pym@dcs.qmw.ac.uk}) by 30th April.
Participants interested in attending the workshop
without giving a presentation should send a position paper of up to 2
pages describing their interest in the topics of the workshop.\\
\quad\\
Attendance is by invitation only. Workshop registration is to be done
as part of registration for CADE-15.

	% About submission: 
        % adjust \vspace{5cm} according to the size of your description
%      \vspace{5cm}

   \end{Submissions}

\end{minipage}

% \vspace{.3cm}
\begin{center}

\vspace{.5cm}
\fbox{\bf WORKSHOP Web Site --- \tt http://www.cs.rmit.edu.au/$\sim$jah/cade-wo
rkshop.html}

\vspace{.5cm}
\fbox{\bf CADE-15 Web Site --- \tt http://www.th-darmstadt.de/cade-15}

\end{center}
\end{document}