A|B|C|D|E|F|G|H|I|J|K|L|M|N|O|P|Q|R|S|T|U|V|W|X|Y|Z|ALL

  检 索： 期刊名称 ISSN         高级检索

期刊名称：ACM TRANSACTIONS ON COMPUTATIONAL LOGIC ISSN： 1529-3785 出版频率： Quarterly 出版社： ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701   出版社网址： http://www.acm.org/ 期刊网址： http://www.acm.org/pubs/tocl/ 影响因子： 0.625 主题范畴： COMPUTER SCIENCE, THEORY & METHODS;    Logic 期刊简介(About the journal)    投稿须知(Instructions to Authors)    编辑部信息(Editorial Board)    About the journal Scope of the Journal For the purposes of TOCL, the field of computational logic consists of all uses of logic in computer science. This area has a great tradition in computer science. Several researchers who earned the ACM Turing award have also contributed to this field, namely Edgar Codd (relational database systems), Stephen Cook (complexity of logical theories), Edsger W. Dijkstra, Robert W. Floyd, Tony Hoare, Amir Pnueli, and Dana Scott (program logics, program derivation and verification, programming languages semantics), Robin Milner (interactive theorem proving, concurrency calculi, and functional programming), and John McCarthy (functional programming and logics in AI). Logic continues to play an important role in computer science and has permeated several of its areas, including artificial intelligence, computational complexity, database systems, and programming languages. The Editorial Board of this journal seeks and hopes to attract high-quality submissions in all the above-mentioned areas of computational logic so that TOCL becomes the standard reference in the field. Both theoretical and applied papers are sought. Submissions showing novel use of logic in computer science are especially welcome. The following areas are currently covered by the members of the Editorial Board. They may change as the field evolves. In particular, submissions on the semantic aspects of the mentioned topics are welcome. Automated Deduction Automata and Temporal Logic Automated Verification Concurrency Calculi and Tools Constraint Programming Finite Model Theory and Complexity of Logical Theories Functional Programming and Lambda Calculus Nonmonotonic Reasoning and Answer Sets Logical Aspects of Computational Complexity Logical Aspects of Databases Logical Aspects of Knowledge Representation, Logic of Geometry, Physics, and Other Commonsense Domains Logic and Machine Learning Logic Programming Logics of Uncertainty Modal Logic, Epistemic Logic, Dynamic Logic, Logic and Games Model Checking Program Development and Verification Program Specification Proof Theory Term Rewriting Systems Type Theory and Logical Frameworks Instructions to Authors Submission Information Submissions, refereeing, and all correspondence will be conducted by email. Submissions longer than 50 pages in the ACM style file format are discouraged for the simple reason that TOCL publishes only 800 pages per year. The authors of such submissions, if they are accepted, will be asked to put part of the material in an electronic appendix. The preferred form of submission is by posting the paper first at the Computing Research Repository (CoRR) and subsequently sending the archive identifier by email to the appropriate area editor with a copy to acm-tocl@cs.utexas.edu (see Submission via CoRR for the benefits of this form of submission). The submissions to CoRR are publically available one day after the posting. The Postscript files are stored in CoRR as gzipped files. So, unless your browser is reconfigured appropriately, to download papers posted in CoRR you need to save each Postscript file as a .gz file and then gunzip it. An alternative form of submission consists of 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 or PDF file. Both emails should be sent to the appropriate area editor with a copy to acm-tocl@cs.utexas.edu. Paper submissions instead of the second email (five copies, 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, published, 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 ACM. To ensure timely processing of the submissions, whenever a paper needs to be revised, the authors will be asked to prepare the revised version within six months of receiving the reviews. Editorial Board Editorial Board Editor-in-Chief Vladimir Lifschitz Department of Computer Sciences University of Texas at Austin University Station C0500, TX 78712-0233 USA tel +1 (512) 471-9564 fax +1 (512) 471-8885 vl@cs.utexas.edu Editorial Assistant Yuliya Lierler Department of Computer Sciences University of Texas at Austin University Station C0500, TX 78712-0233 USA yuliya@cs.utexas.edu Area Editors Krzysztof R. Apt (Program Development and Verification) CWI Kruislaan 413 1098 SJ Amsterdam The Netherlands k.r.apt@cwi.nl Chitta Baral (Nonmonotonic Reasoning and Answer Sets) Department of Computer Science and Engineering Ira A. Fulton School of Engineering Brickyard Suite 572, 699 S. Mill Avenue Tempe, AZ 85281-8809 USA chitta@asu.edu Johan van Benthem (Modal Logic, Epistemic Logic, Dynamic Logic, Logic and Games) Institute for Logic, Language and Computation (ILLC) University of Amsterdam Plantage Muidergracht 24, 1018 TV Amsterdam The Netherlands johan@science.uva.nl Samuel R. Buss (Logical Aspects of Computational Complexity) Department of Mathematics University of California, San Diego La Jolla, CA 92093-0112 USA sbuss@ucsd.edu Ernest Davis (Logical Aspects of Knowledge Representation; Logic of Geometry, Physics, and Other Commonsense Domains) Department of Computer Science New York University 251 Mercer St. New York, NY 10012 USA davise@courant.nyu.edu E. Allen Emerson (Model Checking) Department of Computer Sciences Taylor Hall 2.124 University of Texas at Austin Austin, TX 78712-1188 USA emerson@cs.utexas.edu Dale Miller (Proof Theory) Dale Miller Laboratoire d'Informatique, LIX Ecole Polytechnique F-91128 PALAISEAU Cedex France dale@lix.polytechnique.fr John C. Mitchell (Computer Security) Department of Computer Science Stanford University Stanford CA 94305-9045 USA mitchell@cs.stanford.edu Carroll Morgan (Program Specification) Department of Computer Science and Engineering, K17 The University of New South Wales Sydney, NSW 2052 Australia carrollm@cse.unsw.edu.au Stephen Muggleton (Logic and Machine Learning) Department of Computing Imperial College of Science, Technology and Medicine 180 Queen's Gate London SW7 2BZ United Kingdom s.muggleton@doc.ic.ac.uk Tobias Nipkow (Automated Verification) Institut für Informatik Technische Universität München 80290 München Germany nipkow@in.tum.de Leszek Pacholski (Finite Model Theory and Complexity of Logical Theories) Instytut Informatyki Uniwersytet Wroclawski Przesmyckiego 20 51-151 Wroclaw Poland pacholsk@tcs.uni.wroc.pl David A. Plaisted (Automated Deduction and Term Rewriting Systems) Department of Computer Science CB# 3175, 352 Sitterson Hall University of North Carolina at Chapel Hill Chapel Hill, North Carolina 27599-3175 USA plaisted@cs.unc.edu Gordon D. Plotkin (Type Theory and Logical Frameworks) Division of Informatics University of Edinburgh James Clerk Maxwell Building King's Buildings Edinburgh, EH9 3JZ United Kingdom gdp@inf.ed.ac.uk Henri Prade (Logics of Uncertainty) Institut de Recherche en Informatique de Toulouse (IRIT) Universite Paul Sabatier Bat. 1R3 118 route de Narbonne 31062 Toulouse Cedex 4 France Henri.Prade@irit.fr Simona Ronchi Della Rocca (Functional Programming and Lambda Calculus) Department of Computer Science University of Torino Corso Svizzera 185 10149 Torino Italy ronchi@di.unito.it Danny De Schreye (Logic Programming) Department Of Computer Science Katholieke Universiteit Leuven Celestijnenlaan 200 A 3001 Heverlee Belgium Danny.DeSchreye@cs.kuleuven.ac.be Scott A. Smolka (Concurrency Calculi and Tools) Department of Computer Science State University of New York at Stony Brook Stony Brook, NY 11794-4400 USA sas@cs.sunysb.edu Wolfgang Thomas (Automata and Temporal Logic) RWTH Aachen Lehrstuhl für Informatik VII Ahornstr. 55 D-52056 Aachen Germany thomas@informatik.rwth-aachen.de Pascal Van Hentenryck (Constraint Programming) Department of Computer Science Brown University, P.O. Box 1910 Providence, RI 02912 USA pvh@cs.brown.edu Victor Vianu (Logical Aspects of Databases) CSE 0114 U.C. San Diego La Jolla, CA 92093-0114 USA vianu@cs.ucsd.edu Information Director Marco Aiello Institute of Mathematics and Computing Science Rijksuniversiteit Groningen Blauwborgje 3 9747 AC Groningen The Netherlands aiellom@acm.org ACM Headquarters Journals Staff Mark Mandelbaum, Director of Publications Jono Hardjowirogo, Associate Director of Publications Roma Simon, Managing Editor, ACM Journals Irma Strolia, Editorial Assistant