Seminars for Summer 2008 have not yet been scheduled. See Spring 2008 schedule

Seminars On-Line Representation and reasoning with time and resources in the planning community Seminar given on September 21st, 2007 by Yuanlin Zhang. Slides (). A survey of goals and goal selection Seminar given on August 24th, 2007 by Justin Blount. Slides (PowerPoint). Belief, Desire, Intention (BDI) model of agents Seminar given on June 15th, 2007 by Justin Blount. Slides (PowerPoint). Dissertation Proposal: Integrating ASP and CLP solvers: Computing Answer Sets from Partially Ground Programs Seminar given on May 24th, 2007 by Veena Mellarkod. Slides (). A Fast SAT-based Answer Set Solver (at Department of Computer Science, Angelo State University) Seminar given on March 6th, 2006 by Hector Hernandez. Slides (). A Fast SAT-based Answer Set Solver (at Department of Computing and Mathematical Sciences, Texas A&M University at Corpus Christi) Seminar given on March 22nd, 2006 by Hector Hernandez. Slides (). Relational Bayesian Networks Seminar given on April 21st, 2006 by Weijun Zhu. Slides (). Solving Difference Constraints Incrementally Seminar given on February 17th, 2006 by Veena Mellarkod. Slides (). An overview of ID-logic Seminar given on January 13th, 2006 by Joost Vennekens. Slides (). Extending the role of causality in probabilistic modeling Seminar given on December 9th, 2005 by Joost Vennekens. Slides (). Decomposing the disjunction-based free choice items in Korean Seminar given on November 4th, 2005 by Min-Joo Kim. Slides (PowerPoint). Answer Set Based Design of Autonomous, Rational Agents Seminar given on October 7th, 2005 by Marcello Balduccini. Slides (). Agent-Based Modeling and Simulation Seminar given on September 23rd, 2005 by Veena Mellarkod. Slides (PowerPoint). Non-monotonic causal theories Seminar given on June 24th, 2005 by Weijun Zhu. Slides (). Consistent Query Answering under Inclusion Dependencies Seminar given on April 1st, 2005 by Zhijun Lin. Slides (PowerPoint). Identifying deterministic action descriptions Seminar given on February 25th, 2005 by Marcello Balduccini. Slides (). Natural actions, concurrency and Time in situation calculus Seminar given on April 9th, 2004 by Sandeep Chintabathina. Slides (, ). Probabilistic Reasoning with Answer Sets Seminar given on January 23rd, 2004 by Nelson Rushton. Slides (). The Symbolic Model Checking Algorithm Seminar given on October 24th, 2003 by Gregory Gelfond. Slides (). Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs Seminar given on August 1st, 2003 by Marcello Balduccini. Slides (, ). Conclusions (, ). Logic Programs with Consistency-Restoring Rules Seminar given on February 28th, 2003 by Marcello Balduccini. Slides (, ). Kripke Structures and the Temporal Logic CTL* Seminar given on February 7th, 2003 by Gregory Gelfond. Slides (). Developing an Inference Engine for ASET-PROLOG Seminar given on January 24th, 2003 by Veena Mellarkod. Slides (, ). Reasoning About Actions in Prioritized Default Theory Seminar given on November 8th, 2002 by Marcello Balduccini. Slides (, ). Connections between Object Orientation, Predicate Logic and Natural Language Semantics Seminar given on September 13th, 2002 by Nelson Rushton. Slides (PowerPoint). A neural network-based approach for the computation of the answer sets of logic programs Seminar given on February 1st, 2002 by Marcello Balduccini. Slides (, ). Nested Expressions in Logic Programs Seminar given on November 9th, 2001 by Gregory Gelfond. Slides (, ). Specifying and verifying correctness of triggers using declarative logic programming -- a first step Seminar given on October 15th, 2001 by Chitta Baral. Slides (, ). Logic Programs with Preferences Seminar given on October 18th, 2000 by Marcello Balduccini. Slides (HTML, StarOffice, , ). Conclusions (HTML, , ).

Back to KRLab Home