Introduction: Logic programming, non-monotonicreasoning and reasoning about actions Chitta BaralVladik KreinovichVladimir Lifschitz OriginalPaper Pages: 129 - 129
Relating logic programming theories of actions and partial order planning Chitta Baral OriginalPaper Pages: 131 - 151
A continuum of discrete systems Howard A. BlairJagan ChidellaPolar Humenn OriginalPaper Pages: 153 - 186
A procedural semantics for stratified database updates Weidong ChenJulie Yu-Chih Liu OriginalPaper Pages: 187 - 220
Fixed point theorems in logic programming Mohamed A. KhamsiDriss Misane OriginalPaper Pages: 231 - 243
Representing and reasoning about concurrent actions with abductive logic programs Renwei LiLuís Moniz Pereira OriginalPaper Pages: 245 - 303
Representation theory for default logic V. Wiktor MarekJan TreurMirosław Truszczyński OriginalPaper Pages: 343 - 358
Scheduling in the situation calculus: A case study Ray ReiterZheng Yuhua OriginalPaper Pages: 397 - 421