Knowledge Representation Lab: Seminars
Fall 2011 KR seminars will be held on Friday at 11:15 a.m. in the CS conference room ENGCTR 206.
Seminar Schedule
Date  Topic  Speaker  Notes 
12/02/11  A First Order Forward Chaining Approach for Answer Set Computing (paper presentation)  Amanda Videtich  Amanda Videtich will give a talk for the KR seminar on Friday, Dec. 2, at 11:15 am in the CS conference room (ENGCTR 206). Amanda will be presenting a 2009 paper on the algorithm used by a new ASP solver developed in France called ASPeRiX that grounds only as needed. The paper is entitled "A First Order Forward Chaining Approach for Answer Set Computing" by Claire Lefèvre and Pascal Nicolas. The paper is available for download here. Additionally, a paper by the same authors introducing ASPeRiX is available for download here. 
11/18/11  The ANML Language (paper presentation)  Richard Watson  Dr. Watson will be presenting a 2008 paper on a planning language developed (in part) and used at NASA. The language is called ANML  for Action Notation Modeling Language. The paper is entitled "The ANML Language" by David E. Smith, Jeremy Frank, and William Cushing. The paper is available for download here. 
11/11/11  An Axiomatic Basis for Computer Programming (continued)  Josh Archer  The talk will be a presentation of an ACM journal paper from the late 1960s entitled "An Axiomatic Basis for Computer Programming" by C.A.R. Hoare. The paper is available for download here. 
11/04/11  An Axiomatic Basis for Computer Programming  Josh Archer  The talk will be a presentation of an ACM journal paper from the late 1960s entitled "An Axiomatic Basis for Computer Programming" by C.A.R. Hoare. The paper is available for download here. 
10/28/11  Representing Rational Numbers and the Relationship Between Repeating Decimals and Infinite Series  Patrick Kahl  
10/14/11  Reasoning about agent's intentions  Justin Blount  
10/07/11  On the Semantics of STRIPS  Forrest Bao  Forrest will be presenting Dr. Vladimir Lifschitz's 1987 paper "On the Semantics of STRIPS". The paper is available here 
09/30/11  Improving the Efficiency of SAT Solvers Through Common Subexpression Elimination  Yuanlin Zhang  
09/23/11  Current Stage of Modular Action Language ALM  Daniela Inclezan  Action language ALM extends language AL by providing it with a modular structure and the ability to separate the definition of classes of objects of the domain from the definition of instances of these classes. Daniela's talk will describe how ALM evolved since her last presentation in the seminar. She will focus on the challenges she is currently encountering and on possible solutions that she envisions. 
09/16/11  Type Safety  Jarred Blount  The property of type safety will be defined, and the "syntactic approach" for proving
type safety of functional languages (Wright, Felleisen 1994) will be presented. It
will then be shown how to use this method to prove type safety of the DamasMilner
type system (Damas, Milner 1982). Alternative approaches to proving type safety (Milner
1978, Pierce 2002) will be discussed if time permits. References: Pierce, Benjamin C. (2002). Types and Programming Languages. Wright, Andrew K.; Matthias Felleisen (1994). "A Syntactic Approach to Type Soundness” Damas, Luis; Milner, Robin (1982), "Principal typeschemes for functional programs" Milner, Robin (1978), "A Theory of Type Polymorphism in Programming" 
09/09/11  My research here and there  Zhizheng Zhang  
09/02/11  How to Do Good Research  Michael Gelfond  Location: small conference room on the 3rd floor of the CS building 
Seminars OnLine
On the Semantics of STRIPS
 Seminar given on October 7th, 2011 by Forrest Bao.
 Slides (PDF).
Reasoning about agent's intentions
 Seminar given on October 14th, 2011 by Justin Blount.
 Slides (PDF).
My research here and there
 Seminar given on September 9th, 2011 by Zhizheng Zhang.
 Slides (PowerPoint).
A New Definition of Epistemic Specifications
 Seminar given on May 2nd, 2011 by Michael Gelfond.
 Slides (PDF).
Converting Expressive Temporal Planning Problem into ACC
 Seminar given on December 1st, 2010 by Forrest Bao.
 Slides (PDF).
Issues in Reasoning about Interaction Networks in Cells: Necessity of Event Ordering Knowledge (paper presentation)
 Seminar given on November 3rd, 2010 by Daniela Inclezan.
 Slides (PDF).
A Theory of Timed Automata...Kaboom!
 Seminar given on March 4th, 2010 by Sandeep Chintabathina.
 Slides (PDF).
Modular Action Language ALM (Biology Examples)
 Seminar given on February 11th, 2010 by Daniela Inclezan.
 Slides (PDF).
Reasoning about muddy children
 Seminar given on July 17th, 2009 by Gregory Gelfond.
 Slides (PDF).
Abstract Answer Set Solver
 Seminar given on February 6th, 2009 by Yuanlin Zhang.
 Slides (PDF, PowerPoint).
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 Overview of goals and goal selection
 Seminar given on August 24th, 2007 by Justin Blount.
 Slides (PowerPoint).
Belief, Desire, Intention (BDI) 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 (PDF).
A Fast SATbased Answer Set Solver (at Department of Computer Science, Angelo State University)
 Seminar given on March 6th, 2006 by Hector Hernandez.
 Slides (PDF).
A Fast SATbased 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 and Random Relational Structure Models
 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 IDlogic
 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 disjunctionbased free choice items in Korean
 Seminar given on November 4th, 2005 by MinJoo Kim.
 Slides (PowerPoint).
Answer Set Based Design of Autonomous, Rational Agents
 Seminar given on October 7th, 2005 by Marcello Balduccini.
 Slides (PDF).
AgentBased Modeling and Simulation
 Seminar given on September 23rd, 2005 by Veena Mellarkod.
 Slides (PowerPoint).
Nonmonotonic 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.
 Slides (PowerPoint).
Identifying deterministic action descriptions: a Sufficient Condition
 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 (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
Logic Programs with ConsistencyRestoring Rules
 Seminar given on February 28th, 2003 by Marcello Balduccini.
 Slides (PDF).
Kripke Structures and the Temporal Logic CTL*
 Seminar given on February 7th, 2003 by Gregory Gelfond.
 Slides (PDF).
Developing an Inference Engine for ASETPROLOG
 Seminar given on January 24th, 2003 by Veena Mellarkod.
 Slides (PDF).
Reasoning About Actions in Prioritized Default Theory
 Seminar given on November 8th, 2002 by Marcello Balduccini.
 Slides (PDF).
Connections between Object Orientation, Predicate Logic and Natural Language Semantics
 Seminar given on September 13th, 2002 by Nelson Rushton.
A neural networkbased approach for the computation of the answer sets of logic programs
 Seminar given on February 1st, 2002 by Marcello Balduccini.
 Slides (PDF).
Nested Expressions in Logic Programs
 Seminar given on November 9th, 2001 by Gregory Gelfond.
 Slides (PDF).
Specifying and verifying correctness of triggers using declarative logic programming  a first step
 Seminar given on October 15th, 2001 by Chitta Baral.
 Slides (PDF).
Logic Programs with Preferences
Department of Computer Science

Address
Texas Tech University, Box 43104  Lubbock, TX 794093104 
Phone
806.742.3527 
Email
webmaster.coe@ttu.edu