# 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.
- 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 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.
- Slides (PowerPoint).

__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.
- 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 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__