Computer Science 6980:
Algorithmic Techniques for Artificial Intelligence
(Winter 2027)

Instructor	Office	Office Hours	Lectures
Todd Wareham harold@mun.ca	EN-2034 (709) 864-4601	TBA	TR, 14:00-15:15 am Room EN-2040

• Course outline
• Course diary
• Practice Problems

*** IMPORTANT: MUN CS Dept Assistive Technology Policy (here)

• Home pages for previous offerings of this course:
  • COMP 3200 / 6980 (Dave Churchill; 2018-2026)

• On-line resources:
  • Russell and Norvig (2010) Artificial Intelligence: A Modern Approach (3rd Edition)[PDF]
  • Russell and Norvig (2022) Artificial Intelligence: A Modern Approach (4th Edition)[PDF]
  • Recorded lecture on Constraint Satisfaction Problems (CSPs) (follows Russell and Norvig (2010)) (Link)
  • Recorded lectures on Logical Reasoning (follows Russell and Norvig (2010))
    • Propositional Logic (Link)
    • Models and Knowledge Bases (Link)
    • Entailment (Link)
    • Inference and Resolution (Link)
    • Resolution (Link)
    • Forward and Backward Chaining (Link)
    • Knowledge based agents (Link)
    • First-order Logic (FOL) Link)
    • Inference in FOL (Link)
• Recommended reading:
  • CNN - FDA's artificial intelligence is supposed to revolutionize drug approvals. It's making up studies
  • CNN - Are AI models 'woke'? The answer isn't so simple
  • CNN - The latest ChatGPT is supposed to be 'PhD level' smart. It can't even label a map
  • IBM - What is Agentic AI?
  • CNN - The AI vibe shift is upon us
  • CNN - 150 job applications, rescinded offers: Computer science grads are struggling to find work
  • IEEE Spectrum -Why AI Isn't Ready to Be a Real Coder
  • CBC NL News - N.L.'s 10-year education action plan cites sources that don't exist
• Recommended viewing:
  • Rory vs. The Robot
  • Safeguarding Science from AI: An Interview with Olivia Guest and Iris van Rooij (Friday, September 12, 2005)

Notices:

• Oct 21, 3:00pm
  Open for business!

Created: October 21, 2026
Last Modified: November 9, 2026