Past Seminars
Date Speaker Title
Dec. 13, 2002
Eric Evangelista
Abstract State Machines continued
Dec. 6, 2002
Robert Ballantyne
Abstract State Machines
Nov. 22, 2002
Glendon Holst
A Sketch of Abstraction
Nov. 15, 2002
Jim Delgrande
Recent Developments in Conditional Reasoning
Nov. 08, 2002
Jim Delgrande
Weak Conditional Logics for Default Reasoning
Nov. 01, 2002
Eugenia Ternovska
Non-Monotone Inductive Definitions
Oct. 25, 2002
Aaron Hunter
How Big Are My Models? 50 Years of Spectra
Oct. 18, 2002
Torsten Schaub, Postdam
What's your preference? And how to express and implement it in logic programming
Oct. 11, 2002
Oliver Schulte
Belief Revision and Belief Contraction
Oct. 04, 2002
Uwe Glaesser
On an Abstract Operational Semantics for Asynchronous Communication Architectures
Sept. 19, 2002
Hans Tompits, Vienna
Encodings of Nested Logic Programs
Aug 23, 2002
Eugenia Ternovska, Sarah Pouryousefi
Gotlob, Gradel, Veith's paper `Datalog LITE: A Deductive
Query Language with Linear Time Model Checking
Aug 13, 2002
Gerd Brewka, Leipzig
Answer Sets and Qualitative Decision Making
July 25, 2002
Michael Thielscher, Dresden
The Art and Science of Programming Reasoning Agents
July 5, 2002
Jim Delgrande
Nonmonotonic Causal Theories (Texas Action Group)
June 28, 2002
Oliver Schulte
Reasoning with Cause and Effect (conclusion)
June 14, 2002
Oliver Schulte and Jim Delgrande
Reasoning with Cause and Effect (Judea Pearl)
June 14, 2002
Henning Christiansen
Revising Databases with Integrity Constraints
June 6, 2002
Jens Happe
Recent Progress on Modal Logic Theorem Proving
May 31, 2002
Aaron Hunter
The Cutting Planes Proof System
May 24, 2002
Mayu Ishida
Inductive Situation Calculus and mu-Calculus: Comparison of Expressive Power
May 17, 2002
Rob Ballantyne
Word Models, Regular Languages and Sigma^1_1 (Followed by CL Barbeque!!)
May 10, 2002
Sareh Pouryousefi
Decidability of modal logics and two-variable First order logic (FO^2).
March 22, 2002
Jim Delgrande
Classes of Belief Change Operators
March 8, 2002
Oliver Schulte
Representing Game Trees in the Situation Calculus
Feb 29, 2002
David Mitchell
Length vs Width for Resolution
Feb 15, 2002
David Mitchell
Introduction to Resolution Complexity
February 8, 2002
Eugenia Ternovska
Logic of Inductive Definitions
February 1, 2002
Eugenia Ternovska
Intro to Fixpoints for Non-monotone Operators
January 18, 2002
Oliver Schulte
A Crash Course in Game Theory
November 22, 2001
David Mitchell
How long is a proof of P (and why would I care)?
November 8, 2001
Marc Denecker
(KU Leuven)
The Approximation Theory and its Unifying Role in Monmonotonic Reasoning
October 11, 2001
Jim Delgrande
Modelling Belief Change Operators via Ordinal Conditional Functions
September 27, 2001
Oliver Schulte
Minimal Belief Change and the Pareto Principle
June 4, 2001
Jens Happe
How to Make Reasoning Faster: Subsumption Detection in Tableau-Based
Automated Theorem Proving.
February 20, 2001
Antonina Kolokolova
Bounded arithmetic and descriptive complexity: Two views of polynomial time.
November 16th, 2000
Marc Denecker
(KU Leuven)
What is in a model? Epistemological foundations of Logic Programming