Digital Learning Strategies: How do I assign and assess 21st century work? (ASCD Arias)

Ditch the Daily Lesson Plan: How do I plan for meaningful student learning? (ASCD Arias)

An Introduction to Practical Formal Methods Using Temporal Logic

Summer of Our Innocence

Upgrade Your Curriculum: Practical Ways to Transform Units and Engage Students

Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines

Computational Logic in Multi-Agent Systems: 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers

Computational Logic in Multi-Agent Systems: 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers

Computational Logic in Multi-Agent Systems: 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings

Logics in Artificial Intelligence: 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings

Foundations and Applications of Multi-Agent Systems: UKMAS Workshop 1996-2000, Selected Papers