| 收稿范围 |
Logic Journal of the IGPL is an online only journal publishing papers in all areas of pure and applied logic, including pure logical systems, proof theory, model theory, recursion theory, type theory, nonclassical logics, nonmonotonic logic, numerical and uncertainty reasoning, logic and AI, foundations of logic programming, logic and computation, logic and language, and logic engineering.
Logic Journal of the IGPL is published under licence from Professor Dov Gabbay as owner of the journal. |
| 编辑信息 |
Founding Editor-in-ChiefD M GabbayEditors-in-Chief:A. AmirIsrael D. M. GabbayUK G. GottlobUK R. de QueirozBrazil J. SiekmannGermany Executive Editors:W. CarnielliBrazil M.J. GabbayUK O. RodriguesUK J. SpurrUK Editorial Board:CognitionAlgorithms in Natural Language ProcessingWalter Daelemans Andrew Kehler Shalom Lappin Michael Moortgat Manfred Pinkal Hans Uszkoreit Johan van Bentham Shuly Wintner Algorithms in Robotics and Cognitive ActorsFrank Kirchner Alan K. Mackworth Bernhard Nebel Michael Thielscher Algorithms in Multi Agent SystemsGuido Boella Helder Coelho Jörg Denzinger Enrico Gerding Matthias Klusch Ryszard Kowalczyk Sascha Ossowski Leon van der Torre Algorithms in Knowledge Representation and the Semantic WebFranz Baader Ian Horrocks Fairouz Kamareddine Michael Kohlhase Maurizio Lenzerini Algorithms and Neural NetworksHoward Blair Artur d’Avila Garcez Barbara Hammer Pascal Hitzler Luis Lamb Raul Rojas Algorithms in Machine LearningJohn Lloyd Stephen Muggleton Oliver Ray Donald Sofge Ed Stabler Gerson Zaverucha InformaticsAlgorithms in Programming Languages and Software EngineeringHoward Barringer Manfred Broy Kokichi Futatsugi Manuel Hermenegildo Antonis Kakas Amr Sabry Franz Wotowa Algorithms in Information Retrieval, Data Bases and the WebPeter Bruza Gerhard Lakemeyer Carsten Schuermann Algorithms in Life Sciences, Computational and Systems BiologyDavid Gilbert Algorithms in Quantum Computing and Nonstandard Models of ComputingSamson Abramsky Hajnal Andreka William Lawless Daniel Lehmann Istvan Nemeti Mladen Pavicic John Tucker Algorithms for Formal Methods and CryptographyWojciech BuszkowskiYoan Pinzon Wolfgang Reisig Algorithms in Visual ComputingXiaotie Deng Richard Hartley Nahum Kiryati Victor Pambuccian Philipp Slusallek Joachim Weickert Jinhui Xu Algorithms in Economics and Game TheoryChristian List Paul Spirakis LogicAlgorithms for Automated ReasoningChristoph Benzmueller Jacques Fleuriot Ulrich Fuhrbach Christoph Kreitz Hans-Juergen Ohlbach Gert Smolka Volker Sorge Geoff Sutcliff Christoph Walther Algorithms in Logic and Decision ProceduresJan Bergstra Sam Buss Robin Hirsch Wilfrid Hodges Henry Kautz Janos Makowsky Grigori Mints Valentin Shehtman Saharon Shelah Algorithms in Spatial Logic and GeographyTony Cohn Christian Freksa Ian Pratt Michael Zakharyaschev Algorithms and UncertaintyDidier Dubois Luis Farinas del Cerro Rudolf Kruse Serafin Moral Henri Prade Jon Williamson Algorithms in the Philosophy of SciencesHans Kamp Paul Thagard John Woods Algorithms and Procedures in LawJose Carmo Luc de Raedt Henry Prakken Marek Sergot Algorithms in Non-monotonic LogicsJuergen DixThomas Eiter Tony Hunter Michael Maher Luis Moniz Pereira Mirek Truszczynski Algorithms in nonclassical, modal, temporal and substructural LogicsWalter Carnielli Melvin Fitting Lou Goble Marcus Kracht Lorenzo Magnani George Metcalfe Nicola Olivetti Mark Reynolds
|
京公网安备 11010802027423号