期刊名称: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
|