[mercury-users] new logic programming journal

K.R.Apt at cwi.nl K.R.Apt at cwi.nl
Tue Jan 11 00:56:27 AEDT 2000


                        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 at cs.umd.edu

AREA EDITORS

Krzysztof R. Apt          Book Section Editor
k.r.apt at cwi.nl

Veronica Dahl             Natural Language, Logic Programming Methodology
veronica at cs.sfu.ca        & Applications

Michael Gelfond           Knowledge Representation and Nonmonotonic Reasoning
mgelfond at cs.utep.edu

Georg Gottlob             Complexity, Databases
gottlob at dbai.tuwien.ac.at

Manuel Hermenegildo       Implementation and Architectures
herme at fi.upm.es

Joxan Jaffar              Constraints
joxan at comp.nus.edu.sg

Giorgio Levi              Theory
levi at di.unipi.it

Lee Naish                 Logic Programming Pearls Section
lee at cs.mu.oz.au

Peter J. Stuckey          Technical Notes
pjs at cs.mu.oz.au

Kazunori Ueda             Design and Analysis of Languages and Systems
ueda at 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
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the users mailing list