[Prev][Next][Index][Thread]
new logic programming journal
% This announcement and call for papers may be of interest to types readers
% for 2 reasons:
%
% 1. Types are widely used in logic programming.
% 2. This journal was founded by the editors who collectively resigned
% from the Journal of Logic Programming of Elsevier.
% The issue was the price of the library subscriptions.
% -- Krzysztof R. Apt
ANNOUNCEMENT
The Association for Logic Programming (ALP, http://www.cwi.nl/projects/alp)
is pleased to announce the formation of a new journal
THEORY AND PRACTICE OF LOGIC PROGRAMMING (TPLP),
devoted to logic programming, to be published by the Cambridge
University Press as of January 2001.
TPLP will be served by an Editorial Board which will consist of the
members of the Editorial Board which until the end of 1999 served the
Journal of Logic Programming (JLP). The Board considered it important
that ALP should adopt a new official journal with a different pricing
policy. TPLP will be the sole official journal of the ALP and will be
offered to its members at a preferential rate.
The Founding Editor of the journal is Professor Emeritus Jack Minker
of the University of Maryland.
Krzysztof R. Apt
president of the
Association for Logic Programming
----------------------------------------------------------------------
CALL FOR PAPERS
The Cambridge University Press is pleased to announce a new journal
devoted to logic programming:
Theory and Practice of Logic Programming (TPLP)
TPLP will appear as of January 2001. It will initially be published
bi-monthly in both print and electronic form. The actual extent and
subscription price of TPLP will be announced in the year 2000.
TPLP will be the sole official journal of the Association for Logic
Programming (ALP, http://www.cwi.nl/projects/alp) and will be offered
to its members at a preferential rate.
The CUP allows posting of the submitted and of accepted papers to TPLP
on personal home pages and in the Computing Research Repository (CoRR)
(http://xxx.lanl.gov/archive/cs/intro.html), in the latter case
provided that a clear reference is made that the paper is to appear in
the Journal, or has been published and appears under the Journal
copyright.
The TPLP will emphasize both the theory and the practice of logic
programming. Logic applies to all areas of artificial intelligence
and computer science. Logic programming is fundamental to these
areas. Among the topics to be covered by the TPLP are AI applications
that use logic programming, natural language processing, knowledge
representation, nonmonotonic reasoning, databases, implementations
and architectures, and constraint logic programming. In addition to
these topics, reviews of books will be featured, as will successful
cases of elegant and efficient logic programs, to appear in a
section called Logic Programming Pearls.
The preferred form of submission is by sending two email messages, the
first one with the information containing the title, the author(s),
and the abstract of the submission, and the second one with the
Postscript file. Both emails should be sent to the appropriate Area
Editor with a copy to the Editor-in-Chief.
Paper submissions (four copies to the appropriate Area Editor and one
copy to the Editor-in-Chief) are also acceptable, but their handling
may be delayed. The submitted manuscripts should not be published or
simultaneously submitted to another journal or to a conference. Full
versions of important conference papers are welcome. Upon acceptance
of an article by the journal, the author(s) will be asked to transfer
copyright of the article to the CUP.
EDITOR-in-CHIEF
Jack Minker
minker@cs.umd.edu
AREA EDITORS
Krzysztof R. Apt Book Section Editor
k.r.apt@cwi.nl
Veronica Dahl Natural Language, Logic Programming Methodology
veronica@cs.sfu.ca & Applications
Michael Gelfond Knowledge Representation and Nonmonotonic Reasoning
mgelfond@cs.utep.edu
Georg Gottlob Complexity, Databases
gottlob@dbai.tuwien.ac.at
Manuel Hermenegildo Implementation and Architectures
herme@fi.upm.es
Joxan Jaffar Constraints
joxan@comp.nus.edu.sg
Giorgio Levi Theory
levi@di.unipi.it
Lee Naish Logic Programming Pearls Section
lee@cs.mu.oz.au
Peter J. Stuckey Technical Notes
pjs@cs.mu.oz.au
Kazunori Ueda Design and Analysis of Languages and Systems
ueda@ueda.info.waseda.ac.jp
ADVISORY BOARD
A.Bossi
M. Carlsson
A.Colmerauer
D. De Schreye
S.K. Debray
K. Furukawa
G. Gupta
S. Haridi
D. Kapur
M. Kifer
C. Kirchner
R.A. Kowalski
V. Lifschitz
J.W. Lloyd
M. Maher
J. Maluszynski
K. Marriott
J. McCarthy
C.S. Mellish
D. Miller
U. Montanari
S. Muggleton
C. Palamidessi
F. Pereira
L.M. Pereira
T.C. Przymusinski
R. Ramakrishnan
R. Reiter
Y. Sagiv
V. Saraswat
T. Sato
G. Smolka
L. Sterling
V.S. Subrahmanian
P. Szeredi
P. Van Hentenryck
D.S. Warren
C. Zaniolo
RELEVANT ADDRESSES
Jack Minker, Professor Emeritus
Department of Computer Science and
Institute for Advanced Computer Studies
University of Maryland
College Park, Maryland 20742
USA
Krzysztof R. Apt
CWI
Kruislaan 413
1098 SJ Amsterdam
The Netherlands
Veronica Dahl
Computing Sciences Department
Simon Fraser University
Burnaby, B.C., V5A 1S6, Canada
Michael Gelfond
Department of Computer Science
University of Texas at El Paso
El Paso, TX 79968
USA
Georg Gottlob
Institut fuer Informationssysteme
Technische Universitaet Wien
A-1040 Vienna
Austria
Manuel Hermenegildo
Facultad de Informatica
Universidad Politecnica de Madrid
E-28660 Boadilla del Monte
Spain
Joxan Jaffar
Department of Computer Science
National University of Singapore
3 Science Drive 2
Singapore 117543
Giorgio Levi
Dipartimento di Informatica
Universita di Pisa
Corso Italia 40
I-56125 Pisa, Italy
Lee Naish
Department of Computer Science
and Software Engineering
University of Melbourne
Parkville, Victoria 3010
Australia
Peter J. Stuckey
Department of Computer Science
and Software Engineering
University of Melbourne
Parkville, Victoria 3010
Australia
Kazunori Ueda
Department of Information and Computer Science
Waseda University
4-1, Ohkubo 3-chome, Shinjuku-ku
Tokyo 169
Japan