http://www.mlnet.org/ - The Machine Learning Network Online Information Service; has a "Training" section where the main concepts in machine learning are explained
http://www.cs.waikato.ac.nz/~ml/index.html - WEKA Project: machine learning for the New Zealand Agriculture. Java software downloadable for neural networks, Bayes naive and SVM. In the Publications section some interesting papers are present, also on feature extraction
http://www.neurocolt.com/ - Neural networks and Computational Learning Theory project, with online papers
http://www.rci.rutgers.edu/~cfs/ - Material for courses "Computation and cognition" and "Cognition". With theory of learning, subjective probability...
http://www.ai.mit.edu/projects/cbcl/courses/course9.520/ - Tommaso Poggio's course on learning
http://www.boosting.org/ - Boosting methods; Structured like kernel-machines.org
http://www.bmva.ac.uk/bmvc/ - British Machine Vision Conferences. With online proceedings from 1996 to date
http://www.kernel-machines.org - Resources for kernel-based learning methods. Aims to be *the* kernel machines homepage, and has many resources: Papers, software, a discussion forum...
http://svm.research.bell-labs.com/ - SVM homepage at Bell Labs; a lot of downloadable papers, among which the fundamental Burges' tutorial on SVM for pattern recognition
http://www.support-vector.net/ - The home page of Cristianini and Shawe-Taylor's book "Support Vector Machines and other Kernel-Based Learning Methods". The site collects links to software and papers. The "Further readings" sections of each chapter are available on the site for download
http://www.support-vector.ws/ - The home page of the book "Learning and Soft Computing", where SVM, neural networks and fuzzy logic are put in a unified framework. No downloadable stuff, but the book seems interesting
http://www.isis.ecs.soton.ac.uk/resources/svminfo/ - The University of Southhampton SVM site. Tutorials, info and a Matlab toolbox
http://cgm.cs.mcgill.ca/~luc/ - The homepage of Luc Devroye, (co)author of "A probabilistic theory of pattern recognition", a fundamental book in the field. With papers - a great resource on Bayesian regularization, with FAQ, examples, tutorials...
http://www.inference.phy.cam.ac.uk/mackay/ - The hompage of David MacKay. He worked on Bayesian methods for neural network training, and he developed the Bayesian regularization training algorithm. With all his papers.
http://www.research.att.com/info/vlad - Homepage for Vladimir Vapnik, without much information
http://axiom.anu.edu.au/~smola/ - Homepage for Alexander Smola, with papers
http://www.research.microsoft.com/~bsc/ - Home page for Bernhard Schölkopf, with papers
http://tiger.technion.ac.il/~eladyt/Classification_toolbox.html - A Matlab toolbox for classification
http://www.ph.tn.tudelft.nl/~bob/PRTOOLS.html - Another Matlab toolbox for classification
http://www.csie.ntu.edu.tw/~cjlin/libsvm - libsvm, on which osusvm is based
http://www-formal.stanford.edu/jmc/index.html - Homepage for McCarthy. Known as the LISP language father, he puts online his papers (good lad!). A lot of interesting stuff on: Formalizing context, "self consciousness" and reflection...
ftp://publications.ai.mit.edu/ - The archive of the AI MIT lab memos, not complete (if you have a copy of an unlisted paper, think about contribuing). You can search for a specific memo at http://www.ai.mit.edu
http://www.cs.cofc.edu/~manaris/ai-education-repository/ - AI education repository; Resources (tutorials, etc) on several AI topics
http://robustai.net/ - Notable for the Mentography section
http://wings.buffalo.edu/philosophy/ontology/ - A site on ontology; With reference to computer-related applications
http://www.ontoknowledge.org/ - Searching ontologies on the web. Definition of OIL, extending RDF and RDFSchema (w3c standard)
http://www.semanticweb.org/ - Resources for a semantic web
http://www-ksl.stanford.edu/kst/what-is-an-ontology.html - What is an ontology?
http://www.cs.man.ac.uk/~franconi/ontology.html - Links on projects, people, etc
http://www.ei.sanken.osaka-u.ac.jp/ - Mizoguchi lab; A lot of work on knowledge representation. Must see!
http://crl.nmsu.edu/Research/Projects/mikro/htmls/ontology-htmls/onto.index.html - Mikrokosmos Ontology; a non-free ontology, but with a good introductive paper on knowledge-level representation
http://ontolingua.stanford.edu - Knowledge Sharing Public Library from Stanford University. A public ontology navigator is available: Log in anonymously for a read-only access. The ontology is expressed in KIF (Knowledge Interchange Format)
http://www.bestweb.net/~sowa/direct/index.htm - Homepage for John Sowa: Very good, with tutorials on logic, knowledge representation, etc
http://www.cs.umd.edu/~hendler/ - Homepage for Hendler, who wrote the semantic web introduction on Scientific American
http://www.cs.umd.edu/projects/plus/SHOE/ - SHOE is an HTML extention to enrich with ontological info your HTML documents
http://www.geometry.net - The Online Learning Center, mainly mathematics
http://www.math.hawaii.edu/LatThy/ - The Lattice Theory Homepage. Errata to B. Davey and H. Priestley's "Lattices and orders", links to topics and applications-applets for lattice and universal algebra calculators
http://www.princeton.edu/~ppollack/notes/ - Analytic and Combinatorial Number Theory Course Notes
http://mizar.uwb.edu.pl/ - The Mizar Project is an attempt to reconstruct the mathematical vernacular in a language where proofs can be automatically checked. It is not very known, but a rather relevant corpus of knowledge has been written in its language
http://www-unix.mcs.anl.gov/qed/ - The QED Project aims at building "a single, distributed, computerized repository that rigorously represents all important, established mathematical knowledge". Seemingly defunct.
http://www.qedeq.org/ -Principia Mathematica II is a set of Java classes. In the words of the author: "(Pathetic) goal is the transformation of current mathematical knowledge into a formal (logical) correct (checked by a proof verifier) form (using a first order predicate calculus language), to build a browserable web wide mathematical knowledge base."
http://www.math.usf.edu/~mccolm/ - McColm is a researcher on game-theoretical issues in mathematics and mathematical logic. Look under math stuff/mathematical games for an introduction on the topic, with many links to bisimulation, semantics, quantification theory
http://www.probability.net/ - Extensive tutorials on measure and probability theory
http://www.let.uu.nl/esslli/Courses/barr-wells.html - Introduction to category theory, a course at ESSLLI'99
http://www.birkhauser.ch/journals/1200/1200_tit.htm - Algebra Universalis, a journal for universal algebra and category theory
http://thoralf.uwaterloo.ca/ - Homepage for Stanley Burris, with "A course on universal algebra", an online book on universal algebra and (rewriting?) logic for computer science
http://www-cse.ucsd.edu/users/goguen/index.html - Joseph Goguen homepage. Links on hidden universal algebra; Years ago he planned a book titled "Theorem proving and Algebra" on these topics. Seems promising, so we wait... we wait...
http://www.cs.ucsd.edu/groups/tatami/handdemos/doc/haidx.htm - Hidden Algebra Tutorial (not great)
http://www.geometry.net/cg/index.html - Categoric geometry homepage. Also some books online, thanks to Zhaohua Luo and his good will
http://rewriting.loria.fr/ - Rewriting home page
http://www.kindsoftware.com/products/opensource/ - The OBJ languages are broad spectrum algebraic programming and specification languages, based on order sorted equational logic, possibly enriched with other logics, such as rewriting logic or hidden equational logic
http://www.cs.ucsd.edu/users/goguen/sys/obj.html - A presentation of the languages in the OBJ Family (OBJ3, CafeOBJ, Maude, Kumo, FOOPS, Eqlog), with comparisons and references
http://www4.informatik.tu-muenchen.de/~nipkow/TRaAT/ - Term Rewriting and All That: A book on term rewriting (with universal algebra, unification, etc)
See also "Universal algebra" and "Equational logic" on the foldoc
http://www.aslonline.org/ - Association for symbolic logic; Publishes the "Journal of Symbolic Logic"
http://www-2.cs.cmu.edu/~fp/courses/logic/ - Constructive Logic Course
http://www.mcs.vuw.ac.nz/~rob - Goldblatt homepage
http://www.cc.utah.edu/~nahaj/logic/ - A classification of several modal logics
http://www.mlbook.org/ - The site of Blackburn, de Rijke and Venema's "Modal Logic" book. A modern persepective on modal logic, exposed with great clarity, this book is a must, both for the beginner and for the advanced reader. The site has lost much of its interest when the book went into print, as its main chapters are no more downloadable.
See also the Stanford Encyclopedia of Philosophy under "modal logic".
http://www.phil.mq.edu.au/isl/ - The site of Restall's book "An Introduction to Substructural Logic". Almost nothing to download, alas
http://www.phil.mq.edu.au/staff/grestall/index.html - Greg Restall homepage, with links and some stuff
http://iml.univ-mrs.fr/~lafont/ - Yves Lafont homepage
http://iml.univ-mrs.fr/~lafont/linear/ - Some stuff from Yves Lafont; This page is not reachable from his homepage
http://iml.univ-mrs.fr/LINEAR/ - Linear Logic in Computer Science is a project of the EU Training and Mobility for Researchers initiative
See also Wadler's homepage, you will find some stuff and his tutorial "A taste of linear logic"
TBD; see also the Stanford Encyclopedia of Philosophy
http://logica.rug.ac.be/WoPaLo/ - Workshop on Paraconsistent Logic. Not much, but there are some links to other events
See the "Paraconsistent logic" entry at the Stanford Encyclopedia of Philosophy.
http://www.di.ens.fr/users/longo/ - Giuseppe Longo homepage. With downloadable publications, particularly the book "Categories, types and structures: An introduction to category theory for the working computer scientist"
http://www.cs.umaine.edu/~chaitin/ - Gregory Chaitin invented Algorithmic Information Theory, gived a definition of randomness basing on Gödel theorem, and more. Papers available, notably the whole books "The Unknowable" and "The limits of mathematics"
http://www.earlham.edu/~peters/hometoc.htm - The homepage of Peter Suber, professor at Earlham. Many notes for his courses of logic and philosophy. See under "Courses", particularly the courses on Logical Systems (with a BIG bibliography on nonstandard logics and a remark on Lowenheim-Skolem theorem), Symbolic Logic, Metaphilosophy
http://le.cs.unibo.it/~asperti/ - Andrea Asperti, works on several topics in theoretical computer science
http://axiom.anu.edu.au/~okeefe/ - Greg O'Keefe is a PhD student working on philosophy, mathematics and programming languages (on his ancient site there wase, if I remember well, more stuff and a programming language he wrote, now only few papers)
http://www.elsevier.nl/ - Elsevier; Online library available, but you must pay for access. Useful anyways for abstracts of LNCS
http://www.elsevier.com/gej-ng/31/29/23/show/Products/notes/index.htt - Electronic Notes in Theoretical Computer Science. A series from Elsevier which is freely downloadable
http://www.edpsciences.com/docinfos/ITA/ - Theoretical Informatics and Applications, a journal
http://www.jetcafe.org/~jim/ - A lambda calculus tutorial, A paper on how to do low and high level (exceptions...) things in C
http://www.cs.utah.edu/classes/cs5520/ - A university course on languages, with a good lambda calculus tutorial
http://www.diku.dk/topps/activities/pgmtrans/ - a course on advanced program transformations. Big bibliography, many downloadable papers
http://recoder.sourceforge.net/ - Recoder is a metaprogramming tool for Java
See also Tarmo Uustalu below in "People".
http://theory.stanford.edu/people/jcm/ - John Mitchell Home Page
http://www.cs.man.ac.uk/~petera/Types_course/types_resources.html - Some resources for the Types course, MT4592-MT5592
http://www.cs.kun.nl/~bart/LOOP/ - The LOOP project: Formal methods for object-oriented systems. A rich bibliography on coalgebras, see under subprojects/theory of coalgebras
http://www.cwi.nl/~kurz/cml-esslli01.html - A course on coalgebras and modal logic at ESSLLI 2001 (with some equational logic)
http://www.cwi.nl/~janr/ - Jan Rutten is a researcher on coalgebras. Papers and links
http://www.iti.cs.tu-bs.de/~coalgebras/ - The algebraic and coalgebraic methods for computer science mailing list
http://www.cs.auckland.ac.nz/CDMTCS/chaitin/inv.html - Talk and course on algorithmic information theory, from Chaitin. Great!
http://web.comlab.ox.ac.uk/oucl/work/samson.abramsky/ - Homepage of Samson Abramsky. Many interesting articles on game-theoretic semantics, realizability via Curry-Howard isomorphism, interaction and GOI for distributed programming and quantum computing. Look at the course on game-theoretic semantics: There is a lot of interesting material, also very (VERY!) understandable slides on category theory!
http://www.cs.kun.nl/~henk/ - Home page for Henk Barendregt. In his "lambda calculus" section you can find the very good "Introduction to Lambda Calculus" and "Lambda Calculi with Types" papers. OK for a comprehensive view, I used the first to teach myself lambda calculus, the second has "holes" (missing paragraphs) in it
http://www.luca.demon.co.uk/ - Home page for Luca Cardelli. A lot of things on language theory and distributed computing theory
http://syyk11.is.noda.sut.ac.jp/~shinya/index_e.html - Shinya Sato's homepage; language and compiler researcher, Linear Chemical Abstract Machine stuff
http://www.cs.ioc.ee/~tarmo/ - Tarmo Uustalu works on type theory and language theory, but also on knowledge representation and reasoning, modal logic, philosophy of language and theory of knowledge. With papers and link to resources
http://www.cl.cam.ac.uk/users/rm135/ - Robin Milner's minimalistic page. Pointers to documents mainly on π-calculus, Action calculi and control structures, do not expect stuff on ML or on the Hindley-Milner type system
http://www.disi.unige.it/person/MoggiE/ - Eugenio Moggi works on categorical semantics for programming languages. He first envisioned the use of monads in functional languages to express interaction with impure (non-lazy) constructs. Many papers on monads, metaprogramming and formal semantics
http://www.cs.kun.nl/~bart/ - Bart Jacobs works (see LOOP project above) on formal methods for secure oo programming languages. He made research on coalgebras and types
http://www.dcs.ed.ac.uk/home/gdp/ - Plotkin's homepage. Only papers (also available its fundamental paper on structural operational semantics)
http://fpl.cs.depaul.edu/ajeffrey/ - Alan Jeffrey works on foundations of programming languages and process calculi
Updated: 2004-01-22 21:04 UTC