• 17 - 18   Invited Talk
Answer Set Planning
V. Lifschitz
• 19 -       Conference Banquet (Jointly organized with ICLP'99 in Las Cruces, New Mexico.)

• 9.30 - 9.40 LPNMR'99 Opening

 
• 9.40 - 11.10 Section: Complexity and Expressiveness
• Fixed parameter complexity in AI and nonmonotonic reasoning
        G. Gottlob , F. Scarcello, M. Sideri
• Classifying Semi-Normal Default Logic on the Basis of its Expressive Power
        T. Janhunen
• Locally Determined Nonmonotonic Rule Systems
        D. Cenzer, J.B. Remmel, A. Vanderbilt
 
• 11.10 - 11.30 coffee break

 
• 11.30 - 13.00 Section: Revisions and Changes
• Annotated revision programs

V. Marek, I. Pivkina, M. Truszczynski
• Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning

J. Sefranek
• An Argumentation Framework for Reasoning about Actions and Changes
          A. Kakas, R. Miller, F. Toni
 
• 13.00 - 14.45 lunch

 
• 14.45 - 15.45 Invited talk
World-Modeling vs. World-Axiomatizing
D. Mc Allester
 
• 15.45 - 17.15 Section: Planning
• Representing transition systems by logic programs

V. Lifschitz, H. Turner
• Transformations of Logic Programs Related to Causality and Planning

E. Erdem, V. Lifschitz
• From Causal Theories to Logic Programs (Sometimes)

F. Lin, K. Wang

• 9 - 10.30 Section: Updates
• Monotone Expansion of Updates in Logical Databases

M. Dekhtyar, A. Dikovsky, S. Dudakov, N. Spyratos
• Updating Extended Logic Programs through Abduction

C. Sakama, K. Inoue
• LUPS - a language for updating logic programs
          J. J. Alferes, L. M. Pereira, H. Przymusinska, T. Przymusinski
 
• 10.30 - 11.15 coffee break

 
• 11.15 - 12.45 Section: Computation and Applications
• Pushing Goal Derivation in DLP Computations

W. Faber, N. Leone, G. Pfeifer
• Linear Tabulated Resolution for Well Founded Semantics

Y.D. Shen, L.Y. Yuan, J.H. You
• A Case Study in Using Preference Logic Grammars for Knowledge Representation
          B. Cui, T. Swift, D.S. Warren
 
• 12.45 - 14.45 lunch

 
• 14.45 - 15.45 Invited Talk
Practical Nonmonotonic Reasoning: Extended Inheritance Techniques to Solve Real-World Problems
L.Morgenstern
 
• 15.45 - 17.15 Section: Semantics
• Minimal Founded Semantics for Disjunctive Logic Programming

S. Greco
• On the role of negation in choice logic programs

M. De Vos, D. Vermeir
• Approximating Reiter`s Default Logic

T. Linke, T. Schaub

• 9 -10.30 Section: Multi-Valued Semantics
• Coherent Well-founded Annotated Logic Programs

C. V. Damasio, L. M. Pereira, T. Swift
• Many-Valued Disjunctive Logic Programs with Probabilistic Semantics

T. Lukasiewicz
• Extending Disjunctive Logic Programming by T-norms
          C. Mateis
 
• 10.30 -11.15 coffee break

 
• 11.15 -12.45 Section: Extensions
• Extending the Stable Model Semantics with More Expressive Rules

P. Simons
• Stable Model Semantics for Weight Constraint Rules

I. Niemelä, P. Simons, T. Soininen
• Towards first-order nonmonotonic reasoning
          R. Rosati
 
• 12.45 - 14.45 lunch

 
• 14.45 - 15.45 Invited Talk
Using LPNMR for Problem Specification and Code Generation
          M. Cadoli
 
• 15.45 - 16.45 Section: Comparisons
• Comparison of Sceptical NAF-Free Logic Programming Approaches

G. Antoniou, M.J. Maher, D. Billington, G. Governatori
• Characterizations of Classes of Programs by Three-Valued Operators

P. Hitzler, A.K. Seda

back to LPNMR'99