The University of Texas at El Paso

Shell Oil Symposium Series

First Symposium

Theories of Logic Programming, Non-Monotonic Reasoning, and their application to reasoning about Actions:
- A Symposium in honor of Michael Gelfond 's 50th birthday (Nov 5th 1995)

Location: University of Texas at El Paso (UTEP),
Computer Science Department,
Room COMP 308

8:30 - 9:00 AM

Session I: 9:00 - 10:15 (3 talks; 25 minutes each)

Fangzhen Lin (U. Toronto, Canada)
"Rules as Actions - a situation calculus semantics for logic programs" (the topic of the talk is also partially contained in the following paper)

Hudson Turner (UT Austin)
"Representing Actions in Default Logic: A Situation Calculus Approach"

Norm McCain (UT Austin)
"Indefiniteness and Nondeterminism in Action Description Languages"

Session II: 10:35 - 12:15 (4 talks; 25 minutes each)

Chitta Baral (UTEP)
"Relating logic programming theories of actions and partial order planning"

Jussi Rintanen (Finland, visiting with UT Austin)
"A Tableau-Based Proof System for Concurrent Actions and Events"

Gopal Gupta (New Mexico State U.)
"Is there a theory of logic programming implementation?"

Enrico Pontelli (New Mexico State U.)
"ACE: an and-or parallel implementation of Prolog"

Lunch: 12:15 - 1:45


Session III: 1:45 - 3:25 (4 talks; 25 minutes each)

Mohamed Amine Khamsi (UTEP)
"Fixed point theorems in Logic programming"

Howard Blair (Syracuse U.)
"A Continuum of Discrete Systems"

Weidong Chen (Southern Methodist U.)
"Computation of stable models and nonmonotonic reasoning"

Vladik Kreinovich (UTEP) and Hung Nguyen (New Mexico State U.)
"Using Gelfond's epistemic specifications to justify heiristic methods of intelligent control and expert systems" (the topic of the talk is also partially contained in the following paper)

Session IV: 3:45 - 5:25 (4 talks; 25 minutes each)

Grigori Mints (Stanford U.)
"Natural deduction in linear logic"

Dan Cooke (UTEP)
"The potential impact of nonmonotonic logic on software engineering"

Mikhail Auguston (New Mexico State U.)
"Program behavior models, assertion languages and debugging automation"

Alfredo Gabaldon(UTEP)
"Formalizing narratives using nested circumsciption"

Banquet at La Hacienda:

7:00 - 8:00 PM
Banquet talk:
Vladimir Lifschitz (UT Austin)

Banquet 8:00 - 9:00 PM
Choice: Fajita plate or vegetarian plate (enchiladas?)

Congratulations 9:00 - 9:30 PM

Informal Coffee at La Dolce Vita 10:00 PM

for anyone interested


For information, please contact local organizers: Chitta Baral and Vladik Kreinovich.