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 |