期刊名称：THEORY AND PRACTICE OF LOGIC PROGRAMMING
 期刊简介(About the journal)
投稿须知(Instructions to Authors)
编辑部信息(Editorial Board)
About the journal
Published for the Association for Logic Programming
Theory and Practice of Logic Programming emphasises both the theory and practice of logic programming. Logic programming applies to all areas of artificial intelligence and computer science. Logic programming is fundamental to all these areas. Among the topics covered are AI applications that use logic programming, natural language processing, knowledge representation, nonmonotic reasoning, databases, implementations and architectures and constraint logic programming. In addition to these topics, reviews of books are featured, and cases of elegant and efficient logic programs, which appear in the Logic Programming Pearls section.
Instructions to Authors
Aims and scope
Theory and Practice of Logic Programming is an international journal thatpublishes refereed papers
covering both the theory and the practice of logic programming. Among the topics to be covered by the
TPLP are AI applications that use logic programming, natural language processing, knowledge
representation, non-monotonic reasoning, databases, implementations and architectures, and constraint
logic programming.
TPLP is the sole official journal of the Association for Logic Programming (ALP,http://www.cwi.nl/projects/alp) and is offered to its members at a preferential rate. It is also endorsed by SPARC, the Scholarly Publishing & Academic Resources Coalition (URL: www.arl.org/sparc).
Submission of manuscripts
Electronic submissions: The preferred form of submission is to send 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 a Postscript file. Both emails should be sent to the appropriate Area Editor with a copy to the
Editor-in -Chief. If in doubt about the most appropriate area, contact the Editor-in-Chief.
Paper submissions: These are also acceptable, but their handling may be delayed (four copies to the
appropriate Area Editor and one copy to the Editor-in-Chief).
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 Cambridge University Press.
Book Reviews
Books for review, or suggestions for reviews, should be sent to the reviews editor Krzysztof R. Apt
(K.R.Apt@cwi.nl)
Logic Programming Pearls
Successful cases of elegant and efficient logic programs will appear in a section called Logic
Programming Pearls. Please submit to the Logic Programming Pearls editor Lee Naish: lee@cs.mu.oz.au
Technical notes
Technical notes should not exceed 5000 words in length, excluding tables, figures, and the bibliography.
They are given quick turnaround and should be submitted, preferably electronically, to the Technical
Notes Editor Peter J. Stuckey: email pjs@cs.mzu.oz.au. Submissions should include an abstract and a
reasonably accurate word count for the paper (excluding tables and figures, and the bibliography).
Editorial Board
Editor-in-Chief
Maurice Bruynooghe
Department of Computer Science
Katholieke Universiteit Leuven
Celestijnenlaan 200A
B-3001 Heverlee
Belgium
Email Maurice.Bruynooghe@cs.kuleuven.ac.be Founding Editor-in-Chief
Professor Jack Minker
Department of Computer Science and Institute for Advanced Computer Studies
University of Maryland
College Park
Maryland 20742
USA
Email minker@cs.umd.edu Area Editor (Logic Pearls)
Bart Demoen
Katholieke Universiteit Leuven
Department of Computer Science
Celestjnenlaan 200A
B-3001 Heverlee
Belgium
Email Bart.Demoen@cs.kleuven.ac.be
Lee Naish
Department of Computer Science and Software Engineering
University of Melbourne
Parkville
Victoria 3010
Australia
Email lee@cs.mu.oz.au Area Editor (Constraints)
Joxan Jaffar
Department of Information Systems & Computer Science
National University of Singapore
Lower Kent Ridge
Singapore 119260
Email joxan@comp.nus.edu.sg Area Editor (Design & Analysis of Languages & Systems)
Kazunori Ueda
Department of Information and Computer Science
Waseda University
4-1, Ohkubo 3-chome
Shinjuku-ku
Tokyo 169
Japan
Email ueda@ueda.info.waseda.ac.jp Area Editor (Implementation & Architectures)
Manuel Hermenegildo
Facultad de Informatica
Universidad Politecnica de Madrid
E-28660 Boadilla del Monte
Spain
Email herme@fi.upm.es Area Editor (Knowledge Representation & Nonmonotonic Reasoning)
Michael Gelfond
Texas Technical University
Department of Computer Science
College of Engineering
Box 43104
Lubbock TX 79409-3104
USA
Email Michael.Gelfond@coe.ttu.edu Area Editor (Natural Language, Logic Programming Methodology and Applications)
Veronica Dahl
Computing Sciences Department
Simon Fraser University
Burnaby
B. C. V5A 1S6
Canada
Email veronica@cs.sfu.ca Area Editor (Theory)
Giorgio Levi
Dipartimento di Informatica
Universit?di Pisa
Corso Italia 40
I-56125 Pisa
Italy
Email levi@di.unipi.it Area Editor (Technical Notes)
Peter J. Stuckey
Department of Computer Science and Software Engineering
University of Melbourne
Parkville
Victoria 3010
Australia
Email pjs@cs.mu.oz.au Area Editor (Book Reviews)
Krzysztof R. Apt
CWI
Kruislaan 413
NL-1098 SJ Amsterdam
The Netherlands
Email K.R.Apt@cwi.nl Advisory Board
A Bossi
Universit?Ca?Foscari di Venezia, Italy
M Carlsson
Swedish Institute of Computer Science, Uppsala, Sweden
A Colmerauer
Universit?d'Aix-Marseille II, France
Email colmer@ia.univ-mrs.fr
D De Schreye
Katholieke Universiteit Leuven, Belgium
S K Debray
University of Arizona, USA
K Furukawa
Keio University, Japan
Georg Gottlob
Technische Universit鋞 Wien, Austria
Email gottlob@dbai.tuwien.ac.at
G Gupta
University of Texas at Dallas, USA
S Haridi
Swedish Institute of Computer Science, Sweden
Email seif@sics.se
D Kapur
SUNY at Albany, USA
Email kapur@albanycs.albany.edu
M Kifer
SUNY at Stony Brook, USA
C Kirchner
INRIA Lorraine & CRIN, France
Email claude.kirchner@loria.fr
R A Kowalski
Imperial College, London, UK
Email rak@doc.ic.ac.uk
V Lifschitz
University of Texas at Austin, USA
J W Lloyd
Australian National University, Australia
M Maher
Griffin University, Australia
J Maluszynski
Link鰌ing University, Sweden
K Marriott
Monash University, Australia
J McCarthy
Stanford University, USA
C S Mellish
University of Edinburgh, UK
Email e.mellish@ed.ac.uk
D Miller
INRIA and Ecole Polytechnique, France
Email dale@cse.psu.edu
U Montanari
Universit?di Pisa, Italy
S Muggleton
University of York, UK
Email steve.muggleton@omlab.ox.ac.uk
C Palamidessi
INRIA/FUTURS, France
L M Pereira
Universidade Nova de Lisboa, Portugal
Email imp@fct.unl.pt
F Pereira
University of Pennsylvania, USA
T C Przymusinski
University of California at Riverside, USA
Email teodor@cs.ucr.edu
R Ramakrishnan
University of Wisconsin-Madison, USA
Email rahu@cs.wisc.edu
J A Robinson
Highland Institute, USA
Y Sagiv
The Hebrew University, Israel
Email sagiv@s.huji.ac.il
V Saraswat
University of Pennsylvania, USA
Email vj@research.att.com
T Sato
Tokyo Institute of Technology, Japan
G Smolka
Universit鋞 des Saarlandes, Germany
L Sterling
University of Melbourne, Australia
V S Subrahmanian
University of Maryland, USA
P Szeredi
IQSOFT, Budapest, Hungary
Email szeredi@iqsoft.hu
J D Ullman
Stanford University, USA
P Van Hentenryck
Brown University, USA
D S Warren
SUNY at Stony Brook, USA
C Zaniolo
University of Califormia at Los Angeles, USA
| 
刊名字顺( Alphabetical List of Journals):
返回页首 