1. Introduction: Logic programming, non-monotonicreasoning and reasoning about actions

   • Chitta Baral
   • Vladik Kreinovich
   • Vladimir Lifschitz

   OriginalPaper Pages: 129 - 129

2. Relating logic programming theories of actions and partial order planning

   • Chitta Baral

   OriginalPaper Pages: 131 - 151

3. A continuum of discrete systems

   • Howard A. Blair
   • Jagan Chidella
   • Polar Humenn

   OriginalPaper Pages: 153 - 186

4. A procedural semantics for stratified database updates

   • Weidong Chen
   • Julie Yu-Chih Liu

   OriginalPaper Pages: 187 - 220

5. Logic programming and software maintenance

   • Daniel Cooke
   • Luqi

   OriginalPaper Pages: 221 - 229

6. Fixed point theorems in logic programming

   • Mohamed A. Khamsi
   • Driss Misane

   OriginalPaper Pages: 231 - 243

7. Representing and reasoning about concurrent actions with abductive logic programs

   • Renwei Li
   • Luís Moniz Pereira

   OriginalPaper Pages: 245 - 303

8. Two components of an action language

   • Vladimir Lifschitz

   OriginalPaper Pages: 305 - 320

9. An ordering on subgoals for planning

   • Fangzhen Lin

   OriginalPaper Pages: 321 - 342

10. Representation theory for default logic

    • V. Wiktor Marek
    • Jan Treur
    • Mirosław Truszczyński

    OriginalPaper Pages: 343 - 358

11. Parallel symbolic computation in ACE

    • Enrico Pontelli
    • Gopal Gupta

    OriginalPaper Pages: 359 - 395

12. Scheduling in the situation calculus: A case study

    • Ray Reiter
    • Zheng Yuhua

    OriginalPaper Pages: 397 - 421