In Fall 2009, KRSeminars will be held on Friday at 1:00pm in CS conference room.

Seminar Schedule
DateTopicSpeakerNotes
11/13/09Deep Analysis for an Interactive Question Answering System (Master's Thesis by Marija Slavkovik)Yana Maximova Todorova 
11/06/09Probabilistic Sequential Decision-making for Visual Processing on a Robot (continued)Mohan Sridharan 
10/30/09Probabilistic Sequential Decision-making for Visual Processing on a Robot Mohan SridharanLocation: Holden Hall 038
10/16/09TBANelson RushtonTime is 12:30
10/02/09"Agent, Bodies, Constraints, Dynamics, and Evolution" by Alan Mackworth from AI magazine Spring 2009 (continued)Justin Blount 
09/25/09"Agent, Bodies, Constraints, Dynamics, and Evolution" by Alan Mackworth from AI magazine Spring 2009Justin Blount 
09/04/09Summary of trip to D.C.Michael Gelfond 

See Summer 2009 schedule

Seminars On-Line

Reasoning about muddy children
  • Seminar given on July 17th, 2009 by Gregory Gelfond.
    • Slides (PDF).
An Abstract Answer Set Solver with Learning
  • Seminar given on February 6th, 2009 by Yuanlin Zhang.
Mathematical Foundations of Answer Set Programming
  • Seminar given on September 26th, 2008 by Yana Maximova Todorova.
    • Slides (PDF).
Representation and reasoning with time and resources in the planning community
  • Seminar given on September 21st, 2007 by Yuanlin Zhang.
    • Slides (PDF).
A survey of goals and goal selection
  • Seminar given on August 24th, 2007 by Justin Blount.
Belief, Desire, Intention (BDI) model of agents
  • Seminar given on June 15th, 2007 by Justin Blount.
Dissertation Proposal: Integrating ASP and CLP solvers: Computing Answer Sets from Partially Ground Programs
  • Seminar given on May 24th, 2007 by Veena Mellarkod.
    • Slides (PDF).
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 (PDF).
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 (PDF).
Relational Bayesian Networks
  • Seminar given on April 21st, 2006 by Weijun Zhu.
    • Slides (PDF).
Solving Difference Constraints Incrementally
  • Seminar given on February 17th, 2006 by Veena Mellarkod.
    • Slides (PDF).
An overview of ID-logic
  • Seminar given on January 13th, 2006 by Joost Vennekens.
    • Slides (PDF).
Extending the role of causality in probabilistic modeling
  • Seminar given on December 9th, 2005 by Joost Vennekens.
    • Slides (PDF).
Decomposing the disjunction-based free choice items in Korean
  • Seminar given on November 4th, 2005 by Min-Joo Kim.
Answer Set Based Design of Autonomous, Rational Agents
  • Seminar given on October 7th, 2005 by Marcello Balduccini.
    • Slides (PDF).
Agent-Based Modeling and Simulation
  • Seminar given on September 23rd, 2005 by Veena Mellarkod.
Non-monotonic causal theories
  • Seminar given on June 24th, 2005 by Weijun Zhu.
    • Slides (PDF).
Consistent Query Answering under Inclusion Dependencies
  • Seminar given on April 1st, 2005 by Zhijun Lin.
Identifying deterministic action descriptions
  • Seminar given on February 25th, 2005 by Marcello Balduccini.
    • Slides (PDF).
Natural actions, concurrency and Time in situation calculus
  • Seminar given on April 9th, 2004 by Sandeep Chintabathina.
    • Slides (Postscript, PDF).
Probabilistic Reasoning with Answer Sets
  • Seminar given on January 23rd, 2004 by Nelson Rushton.
    • Slides (PDF).
The Symbolic Model Checking Algorithm
  • Seminar given on October 24th, 2003 by Gregory Gelfond.
    • Slides (PDF).
Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs
  • Seminar given on August 1st, 2003 by Marcello Balduccini.
    • Slides (Postscript, PDF).
    • Conclusions (Postscript, PDF).
Logic Programs with Consistency-Restoring Rules
  • Seminar given on February 28th, 2003 by Marcello Balduccini.
    • Slides (Postscript, PDF).
Kripke Structures and the Temporal Logic CTL*
  • Seminar given on February 7th, 2003 by Gregory Gelfond.
    • Slides (PDF).
Developing an Inference Engine for ASET-PROLOG
  • Seminar given on January 24th, 2003 by Veena Mellarkod.
    • Slides (Postscript, PDF).
Reasoning About Actions in Prioritized Default Theory
  • Seminar given on November 8th, 2002 by Marcello Balduccini.
    • Slides (Postscript, PDF).
Connections between Object Orientation, Predicate Logic and Natural Language Semantics
  • Seminar given on September 13th, 2002 by Nelson Rushton.
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 (Postscript, PDF).
Nested Expressions in Logic Programs
  • Seminar given on November 9th, 2001 by Gregory Gelfond.
    • Slides (Postscript, PDF).
Specifying and verifying correctness of triggers using declarative logic programming -- a first step
  • Seminar given on October 15th, 2001 by Chitta Baral.
    • Slides (Postscript, PDF).
Logic Programs with Preferences
  • Seminar given on October 18th, 2000 by Marcello Balduccini.

Back to KRLab Home