"Programming in Temporal and Non Classical Logics".
Please post and/or forward to all interested colleagues,
P.S. We apologize if you receive this message more than once.
-----------------------------------------------------------------------------
CALL FOR PARTICIPATION
Workshop on Programming in Temporal and Non Classical Logics
to be held as part of
15th International Joint Conference on Artificial Intelligence
(IJCAI-97)
Nagoya, Japan,
25 August 1997
Temporal logics originating in philosophy and formal linguistics have
been intensively investigated within both AI and traditional Computer
Science. A variety of different approaches and formalisms have been
developed, some of them admitting and supporting automated reasoning
techniques and having strong similarities to those which have evolved
in the context of classical logic. Executable fragments of these
logics have been proposed in order to provide more appropriate logical
techniques for dealing with change in time.
Basically, two different approaches to execution of the temporal logic
formalism have evolved. The first, which is compatible with the
classical logic programming paradigm, is aimed towards a logical basis
for temporal databases and knowledge based systems for reasoning about
time and, to be more general, a robust basis for the development of
advanced AI systems. Its execution is based on deduction in tractable
fragments of suitable temporal logics. The second approach is more
motivated by a classical computer science problem, namely to define
and develop a uniform framework for programming and verification of
computer programs, especially those relying on imperative and reactive
behavior. Execution within this second approach corresponds to model
construction of the formulae in question and is based on the so called
imperative future approach. A renewed interest on programming
paradigms based on non classical logics has also been stimulated
recently by new issues in the context of concurrent constraint logic
programming, (temporal) deductive databases, programming of reactive
systems, embedded AI systems and multi-agent systems.
WORKSHOPS AIMS:
The aim of this workshop is to provide a forum both for the exchange
of ideas and for the identification of the potential roles and nature
of the emerging paradigm of Executable Temporal and Non Classical
Logics. Our intention is to bring together researchers in this area,
to identify common ground, relevant experiences, applications, open
problems and possible future developments. In particular, we wish to
encourage cross-fertilization between different approaches and to
improve the understanding of (tractable) execution of temporal
logics. Special emphasis will be given to the study of computation
models in the context of Artificial Intelligence, and to new
approaches to programming in the context of programming of reactive
and embedded AI systems.
AREAS OF INTEREST:
This workshop will build upon the 1993 Workshop on Executable Modal
and Temporal Logics that was organized as part of IJCAI-93, and the
1995 Workshop on Executable Temporal Logics organized as part
of IJCAI-95. Topics of interest include, but are not limited to,
- theoretical issues in executable temporal logics
- relationship between execution and temporal theorem-proving
- relationship of executable temporal logics to (temporal) databases
- design of executable temporal logics
- operational models and implementation techniques
- programming support and environments
- comparative studies of languages
- applications and case studies
WORKSHOP PARTICIPATION:
To encourage informal interaction and the exchange of ideas,
attendance will be limited to approximately 30 invited participants.
Those wishing to attend without presenting papers are encouraged to submit
a statement of interest consisting of a single page description
of research interests and current work, to be used to demonstrate
the ability of the non-presenting participants to contribute to
the discussions by May 20th 1997
to either of the programme chair below.
Christoph Brzoska Email: brzoska@ira.uka.de
Department of Computer Science Tel: (+49) 721 608 35 64
University of Karlsruhe Fax: (+49) 721 60 77 21
P.O. Box 69 80
D-76128 Karlsruhe, Germany
Michael Fisher Email: M.Fisher@doc.mmu.ac.uk
Department of Computing Tel: (+44) 161 247 1488
Manchester Metropolitan University Fax: (+44) 161 247 1483
Chester Street
Manchester M1 5GD, United Kingdom
WORKSHOP PROGRAMME COMMITTE:
Marianne Baudinet (Free University of Brussels, Belgium)
Christoph Brzoska (Karlsruhe University, Germany)
Thom Fruehwirth (Ludwig Maximilians University, Germany)
Michael Fisher (Manchester Metropolitan University, UK)
Rajeev Gore (Australian National University, Australia)
Vineet Gupta (Xerox Palo Alto Research Center, USA)
Shinji Kono (University of the Ryukyus, Japan)
Stephan Merz (Ludwig Maximilians University, Germany)
Ben Moszkowski (Newcastle University, UK)
Vijay Saraswat (AT \& T Research Labs, USA)
Karl Sch\"afer (Karlsruhe University, Germany)
Mehmet Orgun (Macquarie University, Australia)
COSTS:
All workshop participants will be required to be registered to the
main IJCAI'97 conference. An additional fee of \$ US $50$ will be charged
to cover costs of the workshop.
ADDITIONAL INFORMATION:
Information about IJCAI'97 can be accessed via the IJCAI home page:
http://www.ijcai.org/ijcai-97/
Information about the workshop, including the workshop programme, will
be available via
http://iseran.ira.uka.de/~brzoska/ijcai97tlp.html.
-------------------------in latex format--------------------------------------
\documentstyle[11pt]{article}
\begin{document}
\begin{center}
{\bf CALL FOR PARTICIPATION }
\\
\vspace{2\baselineskip}
{\bf Workshop on Programming in Temporal and Non Classical
Logics }
\vspace{2\baselineskip}
to be held as part of \\
15th International Joint Conference on Artificial Intelligence \\
(IJCAI-97) \\
\vspace{\baselineskip}
Nagoya, Japan, \\
25 August 1997 \\
\end{center}
Temporal logics originating in philosophy and formal linguistics have
been intensively investigated within both AI and traditional Computer
Science. A variety of different approaches and formalisms have been
developed, some of them admitting and supporting automated reasoning
techniques and having strong similarities to those which have evolved
in the context of classical logic. Executable fragments of these
logics have been proposed in order to provide more appropriate logical
techniques for dealing with change in time.
Basically, two different approaches to execution of the temporal logic
formalism have evolved. The first, which is compatible with the
classical logic programming paradigm, is aimed towards a logical basis
for temporal databases and knowledge based systems for reasoning about
time and, to be more general, a robust basis for the development of
advanced AI systems. Its execution is based on deduction in tractable
fragments of suitable temporal logics. The second approach is more
motivated by a classical computer science problem, namely to define
and develop a uniform framework for programming and verification of
computer programs, especially those relying on imperative and reactive
behavior. Execution within this second approach corresponds to model
construction of the formulae in question and is based on the so called
imperative future approach. A renewed interest on programming
paradigms based on non classical logics has also been stimulated
recently by new issues in the context of concurrent constraint logic
programming, (temporal) deductive databases, programming of reactive
systems, embedded AI systems and multi-agent systems.
\vspace{2\baselineskip}
{\bf WORKSHOPS AIMS:}
The aim of this workshop is to provide a forum both for the exchange
of ideas and for the identification of the potential roles and nature
of the emerging paradigm of Executable Temporal and Non Classical
Logics. Our intention is to bring together researchers in this area,
to identify common ground, relevant experiences, applications, open
problems and possible future developments. In particular, we wish to
encourage cross-fertilization between different approaches and to
improve the understanding of (tractable) execution of temporal
logics. Special emphasis will be given to the study of computation
models in the context of Artificial Intelligence, and to new
approaches to programming in the context of programming of reactive
and embedded AI systems.
\vspace{\baselineskip}
{\bf AREAS OF INTEREST:}
This workshop will build upon the 1993 Workshop on Executable Modal
and Temporal Logics that was organized as part of IJCAI-93, and the
1995 Workshop on Executable Temporal Logics organized as part
of IJCAI-95. Topics of interest include, but are not limited to,
\begin{itemize}
\item theoretical issues in executable temporal logics
\item relationship between execution and temporal theorem-proving
\item relationship of executable temporal logics to (temporal) databases
\item design of executable temporal logics
\item operational models and implementation techniques
\item programming support and environments
\item comparative studies of languages
\item applications and case studies
\end{itemize}
\vspace{\baselineskip}
{\bf WORKSHOP PARTICIPATION:}
To encourage informal interaction and the exchange of ideas,
attendance will be limited to approximately 30 invited participants.
Those wishing to attend without presenting papers are encouraged to submit
\begin{quote}
a statement of interest consisting of a single page description
of research interests and current work, to be used to demonstrate
the ability of the non-presenting participants to contribute to
the discussions by May 20th 1997
\end{quote}
\noindent
to either of the programme chair below.
\begin{center}
\begin{tabular}{ll}
Christoph Brzoska & Email:
brzoska@ira.uka.de \\
Department of Computer Science & Tel: (+49) 721 608 35
64 \\
University of Karlsruhe & Fax: (+49) 721 60 77
21 \\
P.O. Box 69 80 \\
D-76128 Karlsruhe, Germany \\ \\
Michael Fisher & Email: M.Fisher@doc.mmu.ac.uk\\
Department of Computing & Tel: (+44) 161 247 1488\\
Manchester Metropolitan University & Fax: (+44) 161 247
1483 \\
Chester Street \\
Manchester M1 5GD, United Kingdom \\
\end{tabular}
\end{center}
\vspace{\baselineskip}
\noindent
{\bf WORKSHOP PROGRAMME COMMITTE:}
\vspace{\baselineskip}
\begin{tabular}{ll}
Marianne Baudinet & (Free University of Brussels, Belgium)\\
Christoph Brzoska [co-chair] & (Karlsruhe University, Germany)\\
Thom Fruehwirth & (Ludwig Maximilians University, Germany) \\
Michael Fisher [co-chair] & (Manchester Metropolitan University, UK) \\
Rajeev Gore & (Australian National University, Australia) \\
Vineet Gupta & (Xerox Palo Alto Research Center, USA)\\
Shinji Kono & (University of the Ryukyus, Japan)\\
Stephan Merz & (Ludwig Maximilians University, Germany) \\
Ben Moszkowski & (Newcastle University, UK) \\
Vijay Saraswat & (AT \& T Research Labs, USA) \\
Karl Sch\"afer & (Karlsruhe University, Germany)\\
Mehmet Orgun & (Macquarie University, Australia)
\end{tabular}
\vspace{\baselineskip}
{\bf COSTS:}
All workshop participants will be required to be registered to the
main IJCAI'97 conference. An additional fee of \$ US $50$ will be charged
to cover costs of the workshop.
\vspace{\baselineskip}
{\bf ADDITIONAL INFORMATION:}
Information about IJCAI'97 can be accessed via the IJCAI home page:
\begin{center}
http://www.ijcai.org/ijcai-97/
\end{center}
Information about the workshop, including the workshop programme, will
be available via
\begin{center}
http://iseran.ira.uka.de/\~{}brzoska/ijcai97tlp.html.
\end{center}
\end{document}
-- ------------------------------------------------------------------------------- Christoph Brzoska Institute for logic, complexity, and deductive systems University of Karlsruhe Phone: + 49 721 608 35 64 P.O.Box 69 80 Fax: + 49 721 60 77 21 D - 76128 Karlsruhe, Germany E-mail: brzoska@ira.uka.de URL: iseran.ira.uka.de/~brzoska -------------------------------------------------------------------------------------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community.
Requests to get on or off dbworld should go to listproc@cs.wisc.edu.
to subscribe send subscribe dbworld Your Full Name
to unsubscribe send unsubscribe dbworld
to change your address send an unsubscribe request from the old address send a subscribe request from the new address
to find out more options send help ------------------------------------------------------------------------FOOTER-