Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

References and Further Information

  • Mandatory Reading:
    • Schöning, U., Logic for Computer Scientists (2nd edition), 2008, Birkhäuser
      • Chapter 1 & 2:Normal Forms, Resolution
      • Chapter 3: Horn Logic, Logic Programming
    • Baader, F. et al., The Description Logic Handbook, 2007, Cambridge University Press
      • Chapter 2: Basic Description Logics
  • Further Reading:
    • Lloyd, J.W. , Foundations of logic programming, 1984, Springer
    • Robinson, A. and Voronkov, A. Handbook of Automated Reasoning, Volume I, 2001, MIT Press
      • Chapter 2: Resolution Theorem Proving
    • Ullman, J. D., Principles of Database and Knowledge-Base Systems, Volume I, 1988, Computer Science Press
      • Chapter 3: Logic as a Data Model (Logic Programming & Datalog)
  • Wikipedia links:
    • http://en.wikipedia.org/wiki/Logic_programming
    • http://en.wikipedia.org/wiki/Description_logic
    • http://en.wikipedia.org/wiki/Theorem_proving

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.