期刊名称：THEORY AND PRACTICE OF LOGIC PROGRAMMING
 期刊简介(About the journal)
投稿须知(Instructions to Authors)
编辑部信息(Editorial Board)
About the journal
ISSN: 1471-0684 EISSN: 1475-3081
Frequency: 6 Issue(s) per year
Theory and Practice of Logic Programming
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 and is fundamental to all of them. 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 are featured, and cases of elegant and efficient logic programs, which appear in the Logic Programming Pearls section.
Impact Factor
Impact Factor*: 0.288
Relative ranking within Categories: COMPUTER SCIENCE, SOFTWARE ENGINEERING 97/105 COMPUTER SCIENCE, THEORY & METHODS 91/100 LOGIC 17/19
*2012 Journal Citation Reports®, Thomson Reuters
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).
Instructions to Authors
tlp_ifc.pdf
Editorial Board
Editor-in-Chief
Professor I Niemelä
Aalto University School of Science
Department of Information and Computer Science
P.O. Box 15400
FI-00076 AALTO
Finland
Ilkka.Niemela@aalto.fi
Area Editor (Constraints)
Peter J. Stuckey
Department of Computer Science and Software Engineering
University of Melbourne
Parkville
Victoria 3010
Australia
pjs@cs.mu.oz.au
Area Editor (Inductive Logic Programming and Multi-Relational Data Mining)
Luc De Raedt
Katholieke Universiteit Leuven
Celestjnenlaan 200A
B-3001 Heverlee
Belgium
luc.deraedt@cs.kuleuven.be
Area Editor (Databases and Semantic Web Reasoning)
T Eiter
Knowledge Based Systems Group - E184/3
Institute of Information Systems
Computer Science Department
Vienna University of Technology
Favoritenstrasse 11, A-1040 Vienna
Austria
eiter@kr.tuwien.ac.at
Area Editor (Design, Analysis and Implementation of Languages)
Maria Garcia de la Banda
Caulfield School of Information Technology
Monash University
VIC 3145
Australia
Maria.GarciadelaBanda@infotech.monash.edu.au
Area Editor (Knowledge Representation and Nonmonotonic Reasoning)
Michael Gelfond
Texas Technical University
Department of Computer Science
College of Engineering Box 43104
Lubbock TX 79409-3104
USA
Michael.Gelfond@ttu.edu
Area Editor (Logic Programming Methodology and Applications)
G Gupta
University of Texas at Dallas
Department of Computer Science
Mail Station EC 31 Box 830688
Richardson TX 75083-0688
USA
gupta@utdallas.edu
Area Editor (Specification, Analysis and Verification of Systems)
Michael Leuschel
Institut für Informatik
Heinrich-Heine-Universität Düsseldorf
Universitätsstr. 1
D-40225 Düsseldorf
Germany
leuschel@cs.uni-duesseldorf.de
Area Editor (Theory)
Michael Maher
School of Engineering and Information Technology
University of New South Wales, Canberra
P.O. Box 7916
Canberra, ACT 2610
Australia
Michael.Maher@unsw.edu.au
Area Editor (Technical Notes and Rapid Communications)
John Gallagher
Roskilde University
CBIT, Building 43.2
Universitetsvej 1
DK-4000 Roskilde
Denmark
jpg@ruc.dk
Area Editor (Book Reviews)
Krzysztof R. Apt
CWI
Science Park 123
1098 XG Amsterdam
Netherlands
K.R.Apt@cwi.nl
Editorial Advisors
C Baral
Arizona State University, USA
Maurice Bruynooghe
Katholieke Universiteit Leuven, Belgium
M Carlsson
Swedish Institute of Computer Science, Sweden
A Colmerauer
Université d'Aix-Marseille II, France
V Dahl
Simon Fraser University, Canada
D De Schreye
Katholieke Universiteit Leuven, Belgium
Bart Demoen
Katholieke Universiteit Leuven, Belgium
J Dix
Clausthal University of Technology, Germany
P M Dung
Asian Institute of Technology, Thailand
P A Flach
University of Bristol, UK
M Gabbrielli
University of Bologna, Italy
Manuel Hermenegildo
Universidad Politecnica de Madrid, Spain
K Inoue
National Institute of Informatics, Tokyo, Japan
Joxan Jaffar
National University of Singapore, Singapore
A C Kakas
University of Cyprus, Cyprus
A King
University of Kent, UK
R A Kowalski
Imperial College London, UK
L Libkin
University of Edinburgh, UK
V Lifschitz
University of Texas at Austin, USA
D Miller
INRIA and Ecole Polytechnique, France
S Muggleton
Imperial College London, UK
G Nadathur
University of Minnesota, USA
R O'Keefe
University of Otago, New Zealand
F Pereira
University of Pennsylvania, USA
L M Pereira
Universidade Nova de Lisboa, Portugal
J A Robinson
Highland Institute, USA
F Rossi
Universita' di Padova, Italy
K Sagonas
Uppsala University, Sweden
T Sato
Tokyo Institute of Technology, Japan
Z Somogyi
University of Melbourne, Australia
M Truszczynski
University of Kentucky, USA
Kazunori Ueda
Waseda University, Japan
J D Ullman
Stanford University, USA
M Wallace
Monash University, Australia
D S Warren
SUNY at Stony Brook, USA
| 
刊名字顺( Alphabetical List of Journals):
返回页首 