Theory and Practice of Logic Programming
Association For Logic Programming TPLP
Call for papers Editorial board
Scope of the journal Advisory board
Submission information Relevant addresses
TPLP Contents





New: call for papers

Special Issue on Programming in Databases: From Datalog to Semantic Web Rules




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 appears as of January 2001. For subscription information please consult this page.
TPLP is the sole official journal of the Association for Logic Programming (ALP, http://www.cs.kuleuven.be/~dtai/projects/ALP) and is offered to its members at a preferential rate ($50 in 2006).

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://arxiv.org/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.

back


Scope of the journal

Theory and Practice of Logic Programming is an international journal that publishes refereed papers covering 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 covered are AI applications that use logic programming, logic programming methodologies, specification, analysis and verification of systems, inductive logic programming, multi-relational data mining, natural language processing, knowledge representation, nonmonotonic reasoning, semantic web 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.
back


Submission information

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. Instructions for contributors are available at the TPLP instructions web page.

Technical Notes are short and self contained papers of journal quality which should not exceed 5000 words in length, excluding tables, figures, and the bibliography. They are given a quick turnaround and should be submitted, preferably, to the technical Notes Editor (with cc to Editor-in-Chief). Submissions should include an abstract and a reasonably accurate word count for the paper (excluding tables, figures, and the bibliography).
It is strongly recommended to use the style files that Cambridge University Press has prepared. Style files and guidelines can be downloaded from this directory.
back


Editorial board

Editor-in-Chief

Annalisa Bossi
bossi@dsi.unive.it

Founding Editor

Jack Minker
minker@cs.umd.edu

Area Editors

Krzysztof R. Apt
K.R.Apt@cwi.nl		 Book Reviews
Bart Demoen
Bart.Demoen at cs.kuleuven.be		 Programming Pearls
Luc De Raedt
deraedt@informatik.uni-freiburg.de		 Inductive Logic Programming and Multi-relational Data Mining
Michael Gelfond
mgelfond@cs.ttu.edu		 Knowledge Representation and Nonmonotonic Reasoning
Gopal Gupta
gupta@utdallas.edu		 Logic Programming Methodology & Applications
Michael Kifer
kifer@cs.sunysb.edu		 Databases and Semantic Web Reasoning
Michael Leuschel
leuschel@cs.uni-duesseldorf.de		 Specification, Analysis and Verification of Systems
Giorgio Levi
levi@di.unipi.it		 Theory
Lee Naish
lee@cs.mu.oz.au		 Programming Pearls
Catuscia Palamidessi
firstname@lix.polytechnique.fr (replace firstname by catuscia)		 Technical Notes
Peter J. Stuckey
pjs@cs.mu.oz.au		 Constraints
David S. Warren
warren@cs.sunysb.edu		 Design, Analysis and Implementation of Languages
back


Advisory board

M. Bruynooghe
M. Carlsson
A. Colmerauer
V. Dahl
D. De Schreye
S.K. Debray
K. Furukawa
G. Gottlob
S. Haridi
M. Hermenegildo
J. Jaffar
D. Kapur
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
F. Pereira
L.M. Pereira
T.C. Przymusinski
R. Ramakrishnan
J.A. Robinson
Y. Sagiv
V. Saraswat
T. Sato
G. Smolka
L. Sterling
V.S. Subrahmanian
P. Szeredi
K. Ueda
J.D. Ullman
P. Van Hentenryck
C. Zaniolo
back


Relevant addresses

Annalisa Bossi
Universita Ca' Foscari di Venezia
Dipartimento di Informatica
Via Torino 155
I-30172 Mestre-Venezia
Italy

Jack Minker, Professor Emeritus
Department of Computer Science and
Institute for Advanced Computer Studies
University of Maryland
College Park, Maryland 20742
USA

Maurice Bruynooghe
Katholieke Universiteit Leuven
Deparment of Computer Science
Celestijnenlaan 200A
B 3001 Heverlee
Belgium

Krzysztof R. Apt
CWI
Kruislaan 413
1098 SJ Amsterdam
The Netherlands

Bart Demoen
Katholieke Universiteit Leuven
Deparment of Computer Science
Celestijnenlaan 200A
B 3001 Heverlee
Belgium

Luc De Raedt
Katholieke Universiteit Leuven
Deparment of Computer Science
Celestijnenlaan 200A
B 3001 Heverlee
Belgium

Michael Gelfond
Dept. of Computer Science
College of Engineering
Box 43104
Texas Tech. University
Lubbock, TX 79409-3104
USA

Gopal Gupta
Department of Computer Science,
University of Texas at Dallas
USA

Michael Kifer
Department of Computer Science
SUNY at Stony Brook
Stony Brook, NY 11794-4400
USA

Michael Leuschel
School of Electronics and Computer Science,
Building 59, Level 3
University of Southampton,
Southampton SO17 1BJ
U.K.

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
Victoria, 3010
Australia

Catuscia Palamidessi
INRIA Futurs Saclay and LIX
Ecole Polytechnique, Rue de Saclay,
91128 Palaiseau Cedex
FRANCE

Peter J. Stuckey
Department of Computer Science
and Software Engineering
University of Melbourne
Victoria, 3010
Australia

David S. Warren
Department of Computer Science
State University of New York at Stony Brook
Stony Brook, NY 11794-4400
USA

back
To ALP home page