The kernel strategy and its use for the study of combinatory logic Larry Wos OriginalPaper Pages: 287 - 343
Interpreting disjunctive logic programs based on a strong sense of disjunction James J. LuMonica D. BarbackLawrence J. Henschen OriginalPaper Pages: 345 - 370
Completeness issues in RUE-NRF deduction: The undecidability of viability James J. LuV. S. Subrahmanian OriginalPaper Pages: 371 - 388
Dualities between alternative semantics for logic programming and nonmonotonic reasoning Chitta R. BaralV. S. Subrahmanian OriginalPaper Pages: 399 - 420