Back to bookmarks

Back to index

Bookmarks: Mathematics, Theoretical Computer Science, Inductive Learning, AI

Inductive learning - The Machine Learning Network Online Information Service; has a "Training" section where the main concepts in machine learning are explained - 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 - Neural networks and Computational Learning Theory project, with online papers - Material for courses "Computation and cognition" and "Cognition". With theory of learning, subjective probability... - Tommaso Poggio's course on learning - Boosting methods; Structured like - British Machine Vision Conferences. With online proceedings from 1996 to date

SVM and Kernel Machines - Resources for kernel-based learning methods. Aims to be *the* kernel machines homepage, and has many resources: Papers, software, a discussion forum... - SVM homepage at Bell Labs; a lot of downloadable papers, among which the fundamental Burges' tutorial on SVM for pattern recognition - 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 - 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 - The University of Southhampton SVM site. Tutorials, info and a Matlab toolbox

People - 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... - 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. - Homepage for Vladimir Vapnik, without much information - Homepage for Alexander Smola, with papers - Home page for Bernhard Schölkopf, with papers

Tools - A Matlab toolbox for classification - Another Matlab toolbox for classification - libsvm, on which osusvm is based

AI - 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... - 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 - AI education repository; Resources (tutorials, etc) on several AI topics - Notable for the Mentography section

Knowledge Representation - A site on ontology; With reference to computer-related applications - Searching ontologies on the web. Definition of OIL, extending RDF and RDFSchema (w3c standard) - Resources for a semantic web - What is an ontology? - Links on projects, people, etc - Mizoguchi lab; A lot of work on knowledge representation. Must see! - Mikrokosmos Ontology; a non-free ontology, but with a good introductive paper on knowledge-level representation - 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) - Homepage for John Sowa: Very good, with tutorials on logic, knowledge representation, etc - Homepage for Hendler, who wrote the semantic web introduction on Scientific American - SHOE is an HTML extention to enrich with ontological info your HTML documents

Mathematics - The Online Learning Center, mainly mathematics - 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 - Analytic and Combinatorial Number Theory Course Notes

Mathematical knowledge projects - 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 - The QED Project aims at building "a single, distributed, computerized repository that rigorously represents all important, established mathematical knowledge". Seemingly defunct. -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."

Games - 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

Measure and probability theory - Extensive tutorials on measure and probability theory

Category theory - Introduction to category theory, a course at ESSLLI'99

Universal Algebra, Equational Logic, Term Rewriting, Categoric Geometry - Algebra Universalis, a journal for universal algebra and category theory - Homepage for Stanley Burris, with "A course on universal algebra", an online book on universal algebra and (rewriting?) logic for computer science - 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... - Hidden Algebra Tutorial (not great) - Categoric geometry homepage. Also some books online, thanks to Zhaohua Luo and his good will - Rewriting home page - 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 - A presentation of the languages in the OBJ Family (OBJ3, CafeOBJ, Maude, Kumo, FOOPS, Eqlog), with comparisons and references - 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

Logic - Association for symbolic logic; Publishes the "Journal of Symbolic Logic" - Constructive Logic Course

Modal Logics - Goldblatt homepage - A classification of several modal logics - 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".

Substructural Logics - The site of Restall's book "An Introduction to Substructural Logic". Almost nothing to download, alas - Greg Restall homepage, with links and some stuff

Linear Logics - Yves Lafont homepage - Some stuff from Yves Lafont; This page is not reachable from his homepage - 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"

Relevant, Lambek calculus, et cetera

TBD; see also the Stanford Encyclopedia of Philosophy

Paraconsistent/paracomplete logics - 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.

People - Giuseppe Longo homepage. With downloadable publications, particularly the book "Categories, types and structures: An introduction to category theory for the working computer scientist" - 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" - 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 - Andrea Asperti, works on several topics in theoretical computer science - 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)

Theoretical computer science - Elsevier; Online library available, but you must pay for access. Useful anyways for abstracts of LNCS - Electronic Notes in Theoretical Computer Science. A series from Elsevier which is freely downloadable - Theoretical Informatics and Applications, a journal

Lambda calculus - A lambda calculus tutorial, A paper on how to do low and high level (exceptions...) things in C - A university course on languages, with a good lambda calculus tutorial

Program transformation and metaprogramming - a course on advanced program transformations. Big bibliography, many downloadable papers - Recoder is a metaprogramming tool for Java

See also Tarmo Uustalu below in "People".

Type theory - John Mitchell Home Page - Some resources for the Types course, MT4592-MT5592

Coalgebraic methods - The LOOP project: Formal methods for object-oriented systems. A rich bibliography on coalgebras, see under subprojects/theory of coalgebras - A course on coalgebras and modal logic at ESSLLI 2001 (with some equational logic) - Jan Rutten is a researcher on coalgebras. Papers and links - The algebraic and coalgebraic methods for computer science mailing list

Computability Theory - Talk and course on algorithmic information theory, from Chaitin. Great!

People - 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! - 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 - Home page for Luca Cardelli. A lot of things on language theory and distributed computing theory - Shinya Sato's homepage; language and compiler researcher, Linear Chemical Abstract Machine stuff - 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 - 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 - 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 - Bart Jacobs works (see LOOP project above) on formal methods for secure oo programming languages. He made research on coalgebras and types - Plotkin's homepage. Only papers (also available its fundamental paper on structural operational semantics) - Alan Jeffrey works on foundations of programming languages and process calculi

Valid XHTML 1.0!

Updated: 2004-01-22 21:04 UTC