From dix@mailhost.uni-koblenz.de Thu Feb 10 21:10:18 EST 1994
Article: 5645 of news.announce.conferences
Xref: glinda.oz.cs.cmu.edu news.announce.conferences:5645
Newsgroups: news.announce.conferences
Path: honeydew.srv.cs.cmu.edu!bb3.andrew.cmu.edu!news.sei.cmu.edu!cis.ohio-state.edu!magnus.acs.ohio-state.edu!math.ohio-state.edu!cs.utexas.edu!uunet!sparky!rick
From: dix@mailhost.uni-koblenz.de
Subject: CFP: Non-monotonic Extensions of Logic Programming: Theory, Implementation, and Applications
Message-ID: <1994Feb9.231857.13337@sparky.sterling.com>
Sender: rick@sparky.sterling.com (Richard Ohnemus)
Organization: Sterling Software
Date: Wed, 9 Feb 1994 23:18:57 GMT
Approved: rick@sparky.sterling.com
Expires: Sat, 26 Mar 1994 08:00:00 GMT
Lines: 446
X-Md4-Signature: 1284a19c37f8ffe60bfd86698004a674
[ Latex version follows ASCII version. ]
Call For Papers:
Postconference Workshop
Non-monotonic Extensions of Logic Programming:
Theory, Implementation, and Applications
(in conjunction with ICLP '94, S. Margherita Ligure, Italy)
June 13 -18, 1994
During the last couple of years a significant body of knowledge has been
accumulated providing us with a better understanding of semantic issues in
logic programming and the theory of deductive databases. In particular, the
class of perfect models for (locally) stratified logic programs and two
closely related extensions to normal, non-disjunctive, logic programs were
introduced and extensively investigated: the well-founded models and the
stable models. The problem of extending these approaches and defining a
suitable semantics for the class of disjunctive logic programs and deductive
databases turned out to be a difficult one, as evidenced by a large number
of papers and the recent book of Lobo, Minker and Rajasekar devoted to this
issue.
Logic programs rely on a non-monotonic operator, often referred to as
negation by failure or negation by default. The non-monotonicity of this
operator allows us to view logic programs as special non-monotonic theories
and thus makes it possible to draw from the extensive research in the area
of non-monotonic reasoning and use it as a guidance in the search for a
suitable semantics for logic programs.
Research work aimed at better understanding of the relationships exist-
ing between logic programming (LP) and nonmonotonic formalisms (N- MF) is
mutually beneficial to both areas. NMFs help us to determine suitable
semantics for LP and help us understand how LPs can express and compute
solutions to AI problems. Conversely, the NMFs can utilize the wide body of
knowledge already gathered about LPs and apply the existing implementations
of LPs.
This one-day workshop is the fourth in a series of workshops held in
conjunction with Logic Programming conferences (NACLP '90, ILPS '91, and
ILPS '93) and will be concerned with all of the three aspects of Theory,
Implementation, and Applications. Papers are welcome on all non- monotonic
aspects of logic programming, including, but not limited to:
Abductive Extensions Implementations
Applications to KR Inconsistency Handling
Constructive Negation New Application Domains
Disjunctive LP Semantics
Epistemic Extensions Strong or Explicit Negation
Program Committee
Juergen Dix Germany
Michael Gelfond USA
Jorge Lobo USA
Wiktor Marek USA
Luis Moniz Pereira Portugal
Teodor Przymusinski USA
Organizing Committee
Juergen Dix Luis Moniz Pereira
Dept. of Computer Science Dept. of Computer Science
University of Koblenz Universidade Nova de Lisboa
Rheinau 1 2825 Monte da Caparica
56075 Koblenz, Germany Portugal
dix@informatik.uni-koblenz.de lmp@fct.unl.pt
Teodor Przymusinski
Dept. of Computer Science
University of California
100 Univ. Office Building
Riverside, CA 92521-0304
USA
teodor@cs.ucr.edu
*****************
*Important Dates*
*****************
Deadline: March 25,
Notification: May 10,
Final Version: June 1.
The Program Committee will review extended abstracts rather than complete
papers. Abstracts must be written in English, must not exceed 10 pages
(excluding references and figures), and must contain a cover page including
the following: a 200 word abstract with a list of keywords, postal and
electronic addresses as well as phone and fax numbers of the contact author.
LaTEX article-style (12pt) on 8.5" x 11" or A4 paper is appropriate.
Authors are strongly encouraged to submit their contributions elec-
tronically (by e-mail): if possible, please send compressed and uuencoded
?.dvi or ?.ps-files. Those having no e-mail facilities or those not being
able to prepare a ?.ps-file can also submit hardcopies. Submitted papers
should not have been previously published.
Accepted papers must be presented at the workshop and are required to be
withdrawn from other refereed conferences or workshops. Registration for
the workshop as well as fees (which include a copy of the informal
proceedings) will be handled by the organizers of ICLP '94 in a separate
call. The workshop will take place at the conference site in S. Margherita
Ligure on June 17 or 18 (exact date to be decided by the ICLP organiza-
tion).
Send one (1) copy of your submission by March 25, 1994 to each member of
the organizing committee (addresses as above). Authors will be notified of
the acceptance or rejection of their papers by May 10, 1994. Final versions
of the accepted papers must be received by June 1, 1994. The informal
workshop proceedings will be available at the conference. We are planning
to publish extended versions of the papers in a regular Proceedings volume.
\documentstyle{article} %postscript
\abovedisplayskip = 3mm
\belowdisplayskip = 3mm
\abovedisplayshortskip = 0mm
\belowdisplayshortskip = 2mm
\normalbaselineskip = 10pt
\normalbaselines
\topmargin - 21mm
\oddsidemargin -11mm
\evensidemargin -11mm
\textheight 260mm
\textwidth 180mm
\pagestyle{empty}
\begin{document}
\begin{center}
International Conference on Logic Programming 1994\\
Santa Margherita Ligure, Italy\\
June 13-16, 1994\\
\begin{large}
{\bf Post-Conference Workshops}\\
{\bf June 17-18, 1994}\\
\end{large}
\end{center}
\small
\bigskip
\noindent
{\bf W1: Process-based Parallel Logic Programming}\\
Several process-based parallel logic programming languages
(e.g., Delta-Prolog, CS-Prolog, Multi-Prolog and Shared-Prolog)
have been proposed as an alternative to goal-based (and/or)
parallel execution models for logic programs.
The main features of these languages are explicit process
creation and explicit communication based on channels or
blackboards.
The workshop is aimed at being a forum for discussing the
various topics of process-based parallel LP,
ranging from theory to practice.
\\
{\bf Submission deadline} April 15, 1994
\\
{\bf Organizers} K. De Bosschere,
J.-M. Jacquet, and
A. Brogi
\\
{\bf Contact person} Koen De Bosschere,
ELIS,
St.-Pietersnieuwstraat 41, B-9000 Gent, Belgium.
kdb@elis.rug.ac.be
\\
\bigskip
\noindent
{\bf W2: Verfication and analysis of (concurrent) logic languages}\\
This workshop aims at a discussion of the analysis and correctness of
logic programs and their concurrent (constraint) extensions.
More specifically, we are interested in proof methods
based on abstract interpretation and the applicability
of methods developed in different
programming paradigms, like process algebras, Hoare logics, etc.
The workshop also includes discussion of techniques for the
development of (concurrent) logic programs.
\\
{\bf Submission deadline} April 1, 1994
\\
{\bf Organizers} Frank S. de Boer and Maurizio Gabbrielli
\\
{\bf Contact person} Frank S. de Boer,
Free Univ., de Boelelaan 1081,
1081 HV Amsterdam, The Netherlands.
frankb@cs.vu.nl\\
\bigskip
\noindent
{\bf W3: Logic and Reasoning with Neural Networks}\\
The goal of the workshop is to initiate discussions
and foster interaction between researchers interested
in the use of neural networks and connectionist models
for various aspects of logic and reasoning.
There are a number of domains where the combination
of neural networks and logic opens up interesting perspectives:
methods for reasoning,
knowledge representation,
integration of symbolic and neural components,
implementation techniques.
\\
{\bf Submission deadline} April 1, 1994
\\
{\bf Organizers} Franz Kurfess and Alessandro Sperduti
\\
{\bf Contact person} Franz Kurfess,
Dept. of Neural Inf. Proc.,
D-89069 Ulm, Germany.
kurfess@neuro.informatik.uni-ulm.de
\\
\bigskip
\noindent
{\bf W4: Sixth Workshop on Logic Programming Environments}\\
This workshop will provide a
forum for researchers and logic programming system developers to
exchange ideas and results on all aspects of environments for logic
programming. This includes work related to design issues, new
techniques and tools, and the solution of noteworthy problems arising,
for example, from new logic programming languages or interesting
application areas. Both state-of-the-practice and state-of-the-art
presentations are welcome.
\\
{\bf Submission deadline} March 28, 1994
\\
{\bf Organizers} Markus Fromherz,
Anthony J. Kusalik,
{\O}ysten Nytr{\o}, and
Steven Prestwich
\\
{\bf Contact person}
Anthony J. Kusalik,
Dept. of Comp. Sci.,
Saskatoon, Saskatchewan
S7N 0W0 Canada.
kusalik@cs.usask.ca
\\
\bigskip
\noindent
{\bf W5: Non-monotonic Extensions of Logic Programming:
Theory, Implementation, and Applications}\\
Logic programs rely on a {\em non-monotonic\/} operator, often referred to
as {\em negation by failure\/}. The non-monotonicity of this operator allows
us to view logic programs as special non-monotonic theories and thus makes
it possible to draw from the extensive research in the area of non-monotonic
reasoning. This workshop focusses on {\em non-monotonic\/} extensions of logic
programming and will be concerned with all of the
three aspects of {\em Theory\/}, {\em Implementation\/}, and {\em
Applications\/}.\\
{\bf Submission deadline} March 25, 1994
\\
{\bf Organizers} J\"{u}rgen Dix, Luis Moniz Pereira, and Teodor Przymusinski
\\
{\bf Contact person}
J\"{u}rgen Dix,
Dept. of Comp. Sci.,
Rheinau 1,
56075 Koblenz,
Germany.
dix@informatik.uni-koblenz.de
\\
\bigskip
\noindent
{\bf W6: Parallel and Data-Parallel Execution of Declarative Languages}\\
The workshop will focus on language constructs, implementation technology,
program analysis and practical experiences of declarative programming languages
on parallel computers.
There will be an emphasis on data parallel computation (not restricted to
SIMD computation) and other massively parallel computation models.
It is expected that logic programming languages will be more represented
than, e.g., functional programming languages but we would consider
participation
from these neighbouring fields valuable.
\\
{\bf Submission deadline} April 1, 1994.
\\
{\bf Organizers} Jonas Barklund, Bharat Jayaraman, and Jiro Tanaka
\\
{\bf Contact person}
Jonas Barklund,
Computing Science Dept., Box 311, S-751 05 Uppsala, Sweden.
jonas@csd.uu.se
\\
\bigskip
\noindent
{\bf W7: Applications of Logic Programming to Software Engineering}\\
We will discuss which features
of logic programming are most useful for a software engineer, and
which software engineering applications have been already developed
based on a logic programming approach. Suggested topics are:
Requirement analysis, specification and design based on logic programming,
software engineering environments including rule-based components,
Prolog-based tools,
software process modeling based on logic languages, and
Logic and Object-oriented programming methods.
\\
{\bf Submission deadline} April 2, 1994.
\\
{\bf Organizers} P. Ciancarini and L. Sterling
\\
{\bf Contact person}
Paolo Ciancarini,
Dip. di Matematica,
P. di Porta S. Donato, 5, 40127 Bologna, Italy.
cianca@cs.unibo.it
\\
\bigskip
\noindent
{\bf W8: Integration of Declarative Paradigms}\\
The interest on the integration of declarative paradigms and, in particular,
the integration of functional and logic programming, has been spurred anew,
especially for what concerns efficient implementation. The aim of this
workshop is to bring together researchers from different communities as well
as to give the logic programming community an idea of recent advances in the
area. A non-exhaustive list of topics is: language features, semantics,
execution principles, implementation issues, abstract interpretation of
integrated languages, environments for integrated languages.
\\
{\bf Submission deadline} March 28, 1994
\\
{\bf Organizers} Hassan A\"{\i}t-Kaci, Michael Hanus, and
Juan Jos\'e Moreno Navarro
\\
{\bf Contact person}
Juan Jos\'e Moreno Navarro,
Facultad de Inform\'atica, Campus de Montegancedo s/n,
Boadilla del Monte 28660 Madrid, Spain.
jjmoreno@fi.upm.es
\\
\bigskip
\noindent
{\bf W9: Second ICLP-Workshop on Deductive Databases -
Deductive Databases and Logic Programming}\\
New techniques from LP are useful for extending the power and efficiency
of deductive DB systems, and techniques from deductive DBs can be used for
the processing of large logic programs.
Topics of the workshop are: disjunctive DBs; sets, types and aggregation;
abstract interpretations and program transformations; non-deterministic
extensions of logic DB languages; non-monotonic deduction; constraint
reasoning in DBs; subsumption; expressiveness of query languages; query
optimization and evaluation; logics of active DBs; updates and knowledge
acquisition.
\\
{\bf Submission deadline} March 28, 1994
\\
{\bf Organizers}
Natraj Arni,
Ulrich Geske,
Fosca Giannotti,
Els Laenens,
Dietmar Seipel, and
Mark Wallace
\\
{\bf Contact person}
Dietmar Seipel, Tuebingen Univ.,
Sand 13, D - 72076 Tuebingen, Germany.
seipel@informatik.uni-tuebingen.de
\\
\bigskip
\noindent
{\bf W10: Proof-Theoretical Extensions of Logic Programming}\\
The workshop will provide a forum to discuss the use of proof-theoretical
techniques in logic programming as well as the influence of proof theory on
the future development of this field. Topics include proof-theoretical
foundations of logic programming, languages based on proof theory and
applications. Critical and comparative papers are also welcome.
\\
{\bf Submission deadline} March 31, 1994
\\
{\bf Organizers} Roy Dyckhoff, Lars-Henrik Eriksson, Alberto Momigliano, and
Mario Ornaghi
\\
{\bf Contact person}
Alberto Momigliano,
CMU, Pittsburgh, PA 15213-3890, U.S.A.
mobile@lcl.cmu.edu
\\
\bigskip
\noindent
{\bf W11: Logic programming and education}\\
The workshop will focus onto two different aspects of the research
concerned with the
use of logic programming, in particular of Prolog, in education. From one
hand we
consider issues and problems related to the teaching (and learning) of
Prolog: problems
in understanding Prolog, misconceptions of novices, ways of representing
the behaviour of Prolog, problems of supporting program construction and
debugging, etc.
On the other hand we consider the opportunities offered by Prolog as a tool
for the
implementation of classroom products, such as modelling tools, tutoring
systems,
problem solvers etc.
\\
{\bf Submission deadline} April 1, 1994
\\
{\bf Organizers}
Rosa Maria Bottino, Paola Forcheri, and Maria Teresa Molfino
\\
{\bf Contact person}
Rosa Maria Bottino,
IMA, Via De Marini 6,
16149 Genova,
Italy. Bottino@IMAGE.GE.CNR.IT
\\
\bigskip
\noindent
{\bf W12: Legal Application of Logic Programming }\\
The workshop is dedicated to the use of logic programming methodologies in
modelling legal knowledge and legal reasoning.
Main topics are: legal knowledge represention, abductive model of legal
reasoning, metalevel legal reasoning, default reasoning, deontic logic,
arguments construction; beliefs revision; analogical reasoning; case-based
reasoning.
\\
{\bf Submission deadline} March 15, 1994
\\
{\bf Organizers}
Carlo Biagioli,
Giovanni Sartor, and
Daniela Tiscornia
\\
{\bf Contact person}
Daniela Tiscornia,
IDG,
via Panciatichi 56/16,
50127 Firenze, Italy.
daniela@idg.cnr.fi.it
\\
\end{document}