Texas Tech University

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 Damas-Milner 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 type-schemes 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 On-Line

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.

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.

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.

Belief, Desire, Intention (BDI) 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 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 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.

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.

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

  • Seminar given on August 1st, 2003 by Marcello Balduccini.
    • Slides (PDF).
    • Conclusions (PDF).

Logic Programs with Consistency-Restoring 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 ASET-PROLOG

  • 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 network-based 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

  • Seminar given on October 18th, 2000 by Marcello Balduccini.
    • Slides (PDF).
    • Conclusions (PDF).

Department of Computer Science