IAPR

Book lists for symbolic pattern recognition


  1. General

  2. Representations for Symbolic Reasoning

    1. Blackboards
    2. Decision Trees
    3. Frames
    4. Graphs
    5. Languages, Formal and Informal
    6. Modal Logic
    7. Predicate calculus
    8. Production Rules
    9. Semantic Nets
    10. Situation Calculus

  3. Methods for Symbolic Reasoning

    1. Case-based Reasoning
    2. Grammar Induction
    3. Graph matching
    4. Logic Programming
    5. Parsing
    6. Planning
    7. Rule matching
    8. Search
    9. Theorem Proving

  4. Applications

    1. Natural Language Processing

Details of the content

  1. General

    1. Artificial Intelligence: A Modern Approach, Russell and Norvig, (support site, some chapters available online)
    2. Machine Learning, Tom Mitchell (support site)
    3. Foundations of Constraint Satisfaction, E.P.K. Tsang
    4. Free Artificial Intelligence Books, FreeTechBooks

  2. Representations for Symbolic Reasoning

    1. Blackboards
      1. Blackboard Systems, I. Craig (support site)
    2. Decision Trees
      1. Machine Learning, Tom Mitchell, Decision Tree Learning chapter (support site)
      2. Ethnographic Decision Tree Modeling, Christina H. Gladwin (support site)
    3. Frames
    4. Graphs
      1. Free Graph Theory Books, FreeTechBooks
    5. Languages, Formal and Informal
      1. Grammars, chapter from Natural Language Processing in Prolog/Pop11/Lisp
      2. Finite State Techniques, chapter from Natural Language Processing in Prolog/Pop11/Lisp
    6. Modal Logic
      1. Handbook of Modal Logic, Patrick Blackburn, Johan van Benthem, and Frank Wolter
      2. Modal Logic, Patrick Blackburn, Maarten de Rijke, and Yde Venema
    7. Predicate calculus
      1. Mathematical Logic for Computer Science, Mordechai Ben-Ari (support site), Google books site
    8. Production Rules
      1. The Cambridge Handbook of Thinking and Reasoning, Chapter 17, page 401, Marsha C. Lovett and John R. Anderson
    9. Semantic Nets
      1. Systems of Knowledge Organization for Digital Libraries: Beyond Traditional Authority Files, Gail Hodge, (full view online)
    10. Situation Calculus

  3. Methods for Symbolic Reasoning

    1. Case-based Reasoning
      1. Case-Based Reasoning: Experiences, Lessons, and Future Directions, David Leake, Editor. First chapter freely available online
      2. Case-Based Reasoning Resources, David W. Aha
      3. Machine Learning, Tom Mitchell, Instance-based Learning chapter (support site)
    2. Grammar Induction
      1. Grammar Inference, Automata Induction, and Language Acquisition, Rajesh Parekh and Vasant Honavar, chapter from Handbook of Natural Language Processing
    3. Graph matching
      1. Graph Matching: Filtering Databases of Graphs Using Machine Learning Techniques, Christophe-Andre Mario Irniger (support site)
      2. The Graph Matching Problem, chapter from Inexact Graph Matching Using Estimation of Distribution Algorithms, Endika Bengoetxea PhD Thesis
    4. Logic Programming
      1. Logic, Programming and Prolog, Ulf Nilsson and Jan Maluszynski
      2. Free Logic Programming Books, FreeTechBooks
    5. Parsing
      1. Parsing Techniques - A Practical Guide, Dick Grune and Ceriel J.H. Jacobs
      2. Parsing, search and ambiguity, chapter from Natural Language Processing in Prolog/Pop11/Lisp
    6. Planning
      1. Planning, chapter from Artificial Intelligence: A Modern Approach, Russell and Norvig
    7. Rule matching
    8. Search
      1. Search, chapter from Practical Artificial Intelligence Programming in Java, Mark Watson
    9. Theorem Proving
      1. Automated Theorem Proving, Frank Pfenning
      2. Tutorial on rewrite-based theorem proving, 10th International Conference on Automated Deduction, SpringerLink subscription required

  4. Applications

    1. Natural Language Processing
      1. COMPUTATIONAL LINGUISTICS: Models, Resources, Applications, Igor A. Bolshakov and Alexander Gelbukh
      2. Natural Language Processing in Prolog/Pop11/Lisp, Gerald Gazdar and Chris Mellish
      3. Introduction to Information Retrieval, Christopher D. Manning, Prabhakar Raghavan and Hinrich Schutze

Return to Student/Researcher Resource page


Valid HTML 4.01!

© 2008 Robert Fisher