zoukankan      html  css  js  c++  java
  • 逻辑的应用领域与分支

    从 Journal of Applied Logic 的编委会名单可以大致了解逻辑的应用领域和分支有哪些。这大概是我见过最长的编委会名单了,也是我见过的分类最细的编委会名单。大概也只有 Gabbay 这样的大牛才能聚齐这么多人。从这个名单来看,逻辑仿佛成了一个相当宏伟的领域和事业。逻辑的应用范围从数学、物理学、计算机科学到哲学、认知科学、语言学乃至法律学,几乎无所不包。值得注意的是,“逻辑与范畴论”被单独作为一个子类列出来。 以下内容转引自:http://www.elsevier.com/wps/find/journaleditorialboard.cws_home/672712/editorialboard

    Philosophical Logic

    Johan van Benthem: Universiteit van Amsterdam (UvA), Amsterdam, Netherlands

    Lou Goble: 16 N. Madison St., Eugene, 97402, USA

    Stefano Predelli: University of Nottingham, Nottingham, UK

    Gabriel Sandu: University of Helsinki, Helsinki, Finland

    New Applied Logics

    Walter Carnielli: Centre for Logic, Epistemology & the History Sci., Campinas, SP, Brazil

    David Makinson: London School of Economics, London, UK

    Robin Milner: † 2010

    Heinrich Wansing: Ruhr-University Bochum, Bochum, Germany

    Modal and Temporal Logic

    Carols Areces: INRIA Nancy Grant Est, Villers les Nancy, France

    Melvin Fitting: City University of New York (CUNY), Bronx, NY, USA

    Victor Marek: University of Kentucky, Lexington, KY, USA

    Mark Reynolds: University of Western Australia, Perth, WA, Australia

    Frank Wolter: University of Liverpool, Liverpool, England, UK

    Michael Zakharyaschev: Birkbeck College, University of London, London, England, UK

    Logic and Software Engineering

    Manfred Broy: Technische Universität München (TUM), Garching bei München, Germany

    John Fitzgerald: Newcastle University, Newcastle Upon Tyne, UK

    Kung-Kiu Lau: University of Manchester, Manchester, England, UK

    Tom Maibaum: King's College London, London, UK

    German Puebla: Universidad Politécnica de Madrid (UPM), Madrid, Spain

    Formal Methods: Specifications and Verification

    Howard Barringer: University of Manchester, Manchester, England, UK

    David Basin: Eidgenössische Technische Hochschule (ETH) Zürich, Zürich, Switzerland

    Dines Björner: Danmarks Tekniske Universitet (DTU), Lyngby, Denmark

    Kokichi Futatsugi: Japan Advanced Institute of Science and Technology, Ishikawa, Japan

    Yuri Gurevich: Microsoft Research, Redmond, WA, USA

    Amir Pnueli: Weizmann Institute of Science, Rehovot, Israel

    Logic and Constraint Logic Programming

    Manuel Hermenegildo: Universidad Politécnica de Madrid (UPM), Madrid, Spain

    Antonis Kakas: University of Cyprus, Nicosia, Cyprus

    Francesca Rossi: Università degli Studi di Padova, Padova, Italy

    Gert Smolka: Universität des Saarlandes, Saarbrücken, Germany

    Logic and Databases

    Jan Chomicki: State University of New York (SUNY) at Buffalo, Buffalo, NY, USA

    Enrico Franconi: Libera Università de Bolzano, Bozen-Bolzano, Italy

    Georg Gottlob: University of Oxford, Oxford, England, UK

    Leonid Libkin: University of Toronto, Toronto, Canada

    Franz Wotawa: Technische Universität Graz, Graz, Austria

    Logic and Multi-Agent Systems

    Michael Fisher: University of Liverpool, Liverpool, England, UK

    Nick Jennings: University of Southampton, Southampton, UK

    Michael Wooldridge: University of Liverpool, Liverpool, England, UK

    Logic and Algebraic Programming

    Jan Bergstra: Universiteit van Amsterdam (UvA), Amsterdam, Netherlands

    John Tucker: Swansea University, Swansea, UK

    Logic and Natural Language Processing

    Wojciech Buszkowski: Adam Mickiewicz University of Poznan, Poznan, Poland

    Hans Kamp: Universität Stuttgart, Stuttgart, Germany

    Marcus Kracht: University of California at Los Angeles (UCLA), Los Angeles, CA, USA

    Johanna Moore: University of Edinburgh, Edinburgh, UK

    Michael Moortgat: Universiteit Utrecht, Utrecht, Netherlands

    Manfred Pinkal: Universität des Saarlandes, Saarbrücken, Germany

    Hans Uszkoreit: Universität des Saarlandes, Saarbrücken, Germany

    Automated Inference Systems and Model Checking

    Ed Clarke: Carnegie Mellon University, Pittsburgh, PA, USA

    Ulrich Furbach: Universität Koblenz-Landau, Koblenz, Germany

    Hans Juergen Ohlbach: Technische Universität München (TUM), Garching bei München, Germany

    Volker Sorge: University of Birmingham, Birmingham, UK

    Andrei Voronkov: Uppsala Universitet, Uppsala, Sweden

    Toby Walsh: University of York, York, UK

    Logic and Rewriting

    Claude Kirchner: Loria, Villers-lès-Nancy, France

    José Meseguer: Thomas M. Siebel Center for Computer Science, Urbana, IL, USA

    Tactical Theorem Proving and Proof Planning

    Alan Bundy: University of Edinburgh, Edinburgh, UK

    Amy Felty: University of Ottawa, Ottawa, ON, Canada

    Jacques Fleuriot: University of Edinburgh, Edinburgh, UK

    Dieter Hutter: DFKI GmbH, Saarbrücken, Germany

    Manfred Kerber: University of Birmingham, Birmingham, UK

    Christopher Kreitz: Cornell University, Ithaca, NY, USA

    Logic in Mechanical and Electrical Engineering

    Rudolf Kruse: Otto-von-Guericke-Universität Magdeburg, Magdeburg, Germany

    Ebrahaim Mamdani: Imperial College London, Kensington, London, UK

    Logic for Knowledge Representation and Semantic Web

    Franz Baader: Technische Universität Dresden, Dresden, Germany

    Anthony Cohn: University of Leeds, England, UK

    Pat Hayes: University of West Florida, Pensacola, USA

    Ian Horrocks: University of Manchester, Manchester, England, UK

    Maurizio Lenzerini: Università di Roma "La Sapienza", Roma, Italy

    Bernhard Nebel: Albert-Ludwigs-Universität Freiburg, Freiburg, Germany

    Mathematical Logic

    Wilfrid A. Hodges: Okehampton, England, UK

    Janos Makowsky: Technion - Israel Institute of Technology, Haifa, Israel

    Proof Theory Sam Buss: University of California at San Diego (UCSD), San Diego, La Jolla, CA, USA

    Wolfram Pohlers: Westfälische Wilhelms-Universität Münster, Münster, Germany

    Algebraic Methods in Logic

    Miklos Ferenczi: Technical University of Budapest, Budapest, Hungary

    Rob Goldblatt: Victoria University of Wellington, Wellington, New Zealand

    Robin Hirsch: University College London (UCL), London, England, UK

    Ildikó Sain: Hungarian Academy of Sciences, Budapest, Hungary

    Applied Non-classical Logic

    Luis Fariñas del Cerro: Université Paul Sabatier (Toulouse), Toulouse Cedex, France

    Nicola Olivetti: Université Paul Cézanne, Marseille Cedex 20, France

    Logic Applied in Mathematics (including e-Learning Tools for Mathematics and Logic)

    Bruno Buchberger: Johannes-Kepler-Universität Linz, Linz, Austria

    Robert L. Constable: Cornell University, Ithaca, NY, USA

    F. Kamareddine: Heriot-Watt University, Edinburgh, UK

    Michael Kohlhase: International University Bremen, Bremen, Germany

    Erica Melis: Universität des Saarlandes, Saarbrücken, Germany

    Logic and Neural Networks

    Artur d'Avila Garcez: City University London, London, UK

    Steffen Holldobler: Technische Universität Dresden, Dresden, Germany

    John G. Taylor: University of London, London, UK

    Non-monotonic Logics and Logics of Change

    Jürgen Dix: University of Manchester, Manchester, England, UK

    Vladimir Lifschitz: University of Texas at Austin, Austin, TX, USA

    Michael J. Maher: University of New South Wales, Sydney, NSW, Australia

    Donald Nute: University of Georgia, Athens, GA, USA

    D. Pearce: Universidad Politécnica de Madrid (UPM), Madrid, Spain

    Type Theory for Theorem Proving Systems

    Peter Andrews: Carnegie Mellon University, Pittsburgh, PA, USA

    Christoph Benzmüller: Universität des Saarlandes, Saarbrücken, Germany

    Chad Brown: Carnegie Mellon University, Pittsburgh, PA, USA

    Dale Miller: Ecole Polytechnique de France, Palaiseau, France

    C. Schürmann: Yale University, New Haven, CT, USA

    Logic and Learning

    Luc de Raedt: Albert-Ludwigs-Universität Freiburg, Freiburg, Germany

    John Lloyd: Australian National University (ANU), Canberra, ACT, Australia

    Stephen H. Muggleton: Imperial College London, London, UK

    Cognitive Robotics: Actions and Causation

    Gerhard Lakemeyer: Rheinisch-Westfälische Technische Hochschule Aachen (RWTH), Aachen Germany Michael Thielscher

    Logic and Planning

    Susanne Biundo: Universität Ulm, Ulm , Germany

    Patrick Doherty: Linköping University, Linköping, Sweden

    Henry Kautz: University of Rochester, Rochester, NY, USA

    Paolo Traverso: Automated Reasoning Systems (SRA) Division ITC/IRS, Trento, Italy

    Logic and Computational Models of Scientific Reasoning

    Lorenzo Magnani: Università degli Studi di Pavia, Pavia, Italy

    Luís Moniz Pereira: Universidade Nova de Lisboa (Lisbon), Monte De Caparica, Caparica, Portugal

    Paul Thagard: University of Waterloo, Waterloo ON, Canada

    Fuzzy Logic, Uncertainty and Probability

    Didier Dubois: Université Paul Sabatier (Toulouse), Toulouse, France

    Petr Hajek: Academy of Sciences of the Czech Republic, Prague 8, Czech Republic

    Jeff B. Paris: University of Manchester, Manchester, UK

    Henri Prade: Université Paul Sabatier (Toulouse), Toulouse, France

    Jon Williamson: University of Kent at Canterbury, Canterbury, UK

    Logic and Law

    José Carmo: SQIG at IT, São João De Deus, Lisboa, Portugal

    Lars Lindahl: Lund University, Lund, Sweden Marek Sergot: Imperial College London, London, UK

    Human Reasoning

    Peter Bruza: Queensland University of Technology, Brisbane, QLD, Australia

    John Woods: University of British Columbia, Vancouver BC, Canada

    Logic and Category Theory

    Samson Abramsky: University of Oxford, Oxford, England, UK

    Joe Goguen: University of California at San Diego (UCSD), La Jolla, CA, USA

    Martin Hyland: University of Cambridge, Cambridge, England, UK

    Jim Lambek: McGill University, Montreal, QC, Canada

    Logic and Physics (space time, relativity and quantum theory)

    Hajnal Andréka: Hungarian Academy of Sciences, Budapest, Realtanoda, Hungary

    Kurt Engesser: King's College London, London, UK

    Daniel Lehmann: Hebrew University of Jerusalem, Jerusalem, Israel

    Istvan Nemeti: Hungarian Academy of Sciences, Budapest, Realtanoda, Hungary

    Victor Pambuccian: Arizona State University West, Phoenix, AZ, USA

    Fuzzy Logic

    George Metcalfe: Vanderbilt University, Nashville, TN, USA

  • 相关阅读:
    【PAT甲级】1043 Is It a Binary Search Tree (25 分)(判断是否为BST的先序遍历并输出后序遍历)
    Educational Codeforces Round 73 (Rated for Div. 2)F(线段树,扫描线)
    【PAT甲级】1042 Shuffling Machine (20 分)
    【PAT甲级】1041 Be Unique (20 分)(多重集)
    【PAT甲级】1040 Longest Symmetric String (25 分)(cin.getline(s,1007))
    【PAT甲级】1039 Course List for Student (25 分)(vector嵌套于map,段错误原因未知)
    Codeforces Round #588 (Div. 2)E(DFS,思维,__gcd,树)
    2017-3-9 SQL server 数据库
    2017-3-8 学生信息展示习题
    2017-3-5 C#基础 函数--递归
  • 原文地址:https://www.cnblogs.com/ilogic/p/2624465.html
Copyright © 2011-2022 走看看