Courses on Symbolic Pattern Recognition
This page gives a summary of 70+ courses related to various aspects of
symbolic pattern recognition from more than 60 universities worldwide.
The courses are listed under different topic areas below.
As well as this course list, we have also:
Framework
-
-
- Blackboards
- Decision Trees
- Frames
- Graphs
- Languages, Formal and Informal
- Modal Logic
- Predicate calculus
- Production Rules
- Semantic Nets
- Situation Calculus
-
- Case-based Reasoning
- Grammar Induction
- Graph matching
- Logic Programming
- Parsing
- Planning
- Rule-based System
- Search
- Theorem Proving
-
- Natural Language Processing
- Multi-agent Systems
Details of the content
-
- Fundamentals of
Artificial Intelligence, University of Edinburgh
- Artificial Intelligence, Heriot
Watt University
- Pattern
Recognition, Makerere
University
- Artificial
Intelligence, University of New South Wales
- AI: Notes for
Students,
Oxford University
- Agent
Architectures, Stanford University
- Artificial Intelligence:
Principles & Techniques, Stanford University
- Natural Language
Processing, Stanford University
- Various Symbolic
Systems courses, Stanford University
-
- Blackboards
- Artificial
Intelligence (Lectures:10 & 11), University of
Massachusetts
- Knowledge-based
Applications Systems (Lecture 11), MIT
- Decision Trees
- Decision
Trees - Lesson Plan: 2 x 1 hour lessons, Biz/Ed
- Machine Learning,
(Lecture 8), University of Birmingham
- Healthcare
Decision Support Systems (Lecture 6), University
of Auckland
- Frames
- Theory and
Practice of Knowledge Representation (Week 6),
UMBC
- Knowledge-Based
AI (Lectures 5&6), Georgia
Tech University
- Introduction to Artificial
Intelligence (week 6),
University of Birmingham
- Automated
Reasoning and AI Programming (Lecture 12), University of
Sussex
- Graphs
- Master
Class on Graph Theory and Constraint Programming,
INRIA
- Graph Theory,
ETH Zurich
- Graph Theory ,
London Taught Course Centre (LTCC)
- Languages, Formal and Informal
- Regular Languages and
Finite Automata, University
of Cambridge
- Processing
Natural and Formal Languages, University of Edinburgh
- Notes
on Formal Language Theory and Parsing, National
University of Ireland
- Formal
Languages and Parsing,
University of Waterloo
- Modal Logic
- Modal Logic, University of
Nottingham
- Modal Logic,
Carnegie Mellon University
- Introduction to
Modal Logic, University of Amsterdam
- Predicate calculus
- Logic:
B1a (Lecture 8-16), University of Oxford
- Applied Logic for Computer
Science, University of Western Ontario
- Artificial
Intelligence (Lectures 13 & 14), Clarkson
University
- Introduction to AI (Lectures
10&11), Brown University
- Production Rules
- Artificial
Intelligence (Lecture 3),
University of Manchester
- Artificial
Intelligence (Lecture 4), Imperial College
- Cognition
and Computation (Lecture I4), Rutgers
University
- Semantic Nets
- Artificial
Intelligence (Lectures 18 & 19), IIT Kharagpur
- Artificial
Intelligence (Lecture 2), University of Colorado
- Artificial Intelligence (Part
4), Queen Mary University of London
- Situation Calculus
- Reasoning about Action and High-Level Programs (Lectures
1-6),
York University
- Cognitive
Robotics (Lecture1),
University of New South Wales
-
- Case-based Reasoning
- Case-based
Reasoning, Robert Gordon University
- Knowledge
Management for E-Commerce (Lectures 2&5), University of
Calgary
- Machine Learning and
Case-Based Reasoning (Lectures 9-12), Norwegian University of
Science and Technology (NTNU)
- Case-based
Reasoning, University of Sofia St. Kliment
Ohridski
- Graph matching
- Discrete
Mathematics (Lecture 24), Princeton University
- Learning Graph Maching,
Australian National University
- Graph Maching
Algorithm, National ICT Australia
(NICTA)
- Grammar Induction
- Lectures on
Grammatical Inference, Nantes University
- Viewgraphs
of the PhD course: Grammatical Inference, Universidad
Politecnica de Valencia (UPV)
- Grammatical
Inference: formal and heuristic methods, Catholic University of
Leuven
- Courses and
Tutorials on Grammatical Inference, Grammatical Induction
Community
- Logic Programming
- Logic
Programming, University of Edinburgh
- Logic Programming,
Cornegie Mellon University
- Introduction
to Logic Programming, Research Institute for Symbolic
Computation (RISC)
- Parsing
- Compiler Principles and
Techniques, University of Utah
- Formal Languages
and Parsing, University of Waterloo
- Planning
- Planning,
Execution, and Learning Schedule, Carnegie Mellon
University
- Automated
Planning, University of Edinburgh
- Artificial Intelligence
Planning, University of Southern California
- Planning and
Learning, Arizona State University
- Planning Under
Uncertainty (stochastic planning), Duke
University
- Rule-based systems
- Knowledge
Based Systems, University of New South Wales
- Knowledge Based
Systems, Worcester Polytechnic Institute
- Expert
Systems (Lectures 2 & 3), University of the West
Indies
- Knowledge
Representation and Modelling (Lecture 4), Norwegian University
of Science and Technology
- Search
- Artificial
Intelligence (Lectures 3 to 5: Informaed& Uninformed Search),
University of Otago
- Introduction to Artificial
Intelligence (Lectures 2 &3: Informaed& Uninformed Search),
Brown University
- Search
Algorithms, University of Paderborn
- Analysis
of Algorithms (Lectures 7-10), Stony Brook University
- Search Problems
and Algorithms, Helsinki University of Technology
- Theorem Proving
- Automated Theorem
Proving,
Carnegie Mellon University
- Theorem
Proving - Principles, Techniques, Applications, University of
New South Wales
- Automated
Reasoning,
Princeton University
-
- Natural Language Processing
- Empirical
Methods in Natural Language Processing, University of
Edinburgh
- Natural
Language Generation, University of Edinburgh
- Semantics
and Pragmatics of Natural Language Processing, University of
Edinburgh
- Natural Language
Processing, Stanford University
- Information Retrieval
and Web Search, Stanford University
- Multi-agent Systems
- Agent-based
Systems, University of Edinburgh
- Agent-based
Software Engineering, University of Calgary
- Autonomous
Agents and Multiagent Systems,
Yourk University
- Autonomous
Multiagent Systems, New York
University
Return to Educator Courses Resource
page
© 2010 Robert Fisher