M6 – Automated Reasoning
 data |
 bibtex |
course of the deck
used in the lectures
same deck in other editions
reference publication
Description Logics (book chapter, 2008) — Franz Baader, Ian Horrocks, Ulrike Sattler Rewrite-based Equational Theorem Proving with Selection and Simplification (article in journal, 1994) — Leo Bachmair, Harald Ganzinger Bounded Model Checking (article in journal, 2003) — Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Ofer Strichman, Yunshan Zhu On subsumption in distributed derivations (article in journal, 1994) — Maria Paola Bonacina, Jieh Hsiang Automated reasoning (article in journal, 2006) — Maria Paola Bonacina, Alberto Martelli Basic Modal Logic (book chapter, 1984) — Robert Bull, Krister Segerberg Automated Model Building (book, 2004) — Ricardo Caferra, Alexander Leitsch, Nicholas Peltier Negation as Failure (book chapter, 1978) — Keith L. Clark Model Checking (book, 1999) — Edmund M. Clarke, Orna Grumberg, Doron Peleg A machine program for theorem-proving (article in journal, 1962) — Martin Davis, George Logemann, Donald Loveland Temporal and Modal Logic (book chapter, 1990) — E. Allen Emerson A History of Satisfiability (book chapter, 2009) — John Franco, John Martin Answer Sets (book chapter, 2008) — Michael Gelfond Default Reasoning, Nonmonotonic Logics, and the Frame Problem (paper in proceedings, 1986) — Steve Hanks, Drew McDermott The Semantic Web: Webizing Knowledge Representation (book chapter, 2008) — Jim Hendler, Frank van Harmelen Automatic inductive theorem proving using Prolog (article in journal, 1987) — Jieh Hsiang, Mandayam Srivas Abductive Logic Programming (article in journal, 1992) — Antonis C. Kakas, Robert A. Kowalski, Francesca Toni “Sometime” is sometimes “not never”: on the temporal logic of programs (paper in proceedings, 1980) — Leslie Lamport What Is Answer Set Programming? (paper in proceedings, 2008) — Vladimir Lifschitz Some Philosophical Problems from the Standpoint of Artificial Intelligence (book chapter, 1969) — John McCarthy, Patrick J. Hayes Methods for Automated Theorem Proving in Nonclassical Logics (article in journal, 1976) — Charles G. Morgan Event Calculus (book chapter, 2008) — Erik T. Mueller Paramodulation-Based Theorem Proving (book chapter, 2001) — Robert Nieuwenhuis, Albert Rubio Logic-based Web services composition: from service description to process model (paper in proceedings, 2004) — Jinghai Rao, Peep Kungas, Mihhail Matskin A Machine-Oriented Logic Based on the Resolution Principle (article in journal, 1965) — John Alan Robinson Automated Theorem Proving in Software Engineering (book, 2001) — Johann M. Schumann Introduction to the Fluent Calculus (article in journal, 1998) — Michael Thielscher Multi-Agent Systems (book chapter, 2008) — Wiebe van der Hoek, Michael Wooldridge Reasoning about Rational Agents (book, 2000) — Michael Wooldridge
English
