| 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 (Toronto) |
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 |