| 1999 | Many-Valued Disjunctive Logic Programs with Probabilistic Semantics. | Thomas Lukasiewicz |
| 1999 | From Causal Theories to Logic Programs (Sometimes). | Fangzhen Lin, Kewen Wang |
| 1999 | Default Reasoning via Blocking Sets. | Thomas Linke, Torsten Schaub |
| 1999 | Representing Transition Systems by Logic Programs. | Vladimir Lifschitz, Hudson Turner |
| 1999 | Answer Set Planning (Abstract). | Vladimir Lifschitz |
| 1999 | An Argumentation Framework of Reasoning about Actions and Change. | Antonis C. Kakas, Rob Miller, Francesca Toni |
| 1999 | Classifying Semi-Normal Default Logic on the Basis of its Expressive Power. | Tomi Janhunen |
| 1999 | Characterizations of Classes of Programs by Three-Valued Operators. | Pascal Hitzler, Anthony Karel Seda |
| 1999 | Minimal Founded Semantics for Disjunctive Logic Programming. | Sergio Greco |
| 1999 | Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning. | Georg Gottlob, Francesco Scarcello, Martha Sideri |
| 1999 | Pushing Goal Derivation in DLP Computations. | Wolfgang Faber, Nicola Leone, Gerald Pfeifer |
| 1999 | Transformations of Logic Programs Related to Causality and Planning. | Esra Erdem, Vladimir Lifschitz |
| 1999 | Monotone Expansion of Updates in Logical Databases. | Michael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey M. Dudakov, Nicolas Spyratos |
| 1999 | Coherent Well-founded Annotated Logic Programs. | Carlos Viegas Damsio, Lus Moniz Pereira, Terrance Swift |
| 1999 | A Case Study in Using Preference Logic Grammars for Knowledge Representations. | Baoqiu Cui, Terrance Swift, David Scott Warren |
| 1999 | Locally Determined Logic Programs. | Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt |
| 1999 | Using LPNMR for Problem Specification and Code Generation. | Marco Cadoli |
| 1999 | A Comparison of Sceptical NAF-Free Logic Programming Approaches. | Grigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori |
| 1999 | LUPS - A Language for Updating Logic Programs. | Jos Jlio Alferes, Lus Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski |
| 1997 | Improving the Alternating Fixpoint: The Transformation Approach. | Ulrich Zukowski, Burkhard Freitag, Stefan Brass |
| 1997 | Power Defaults. | Guo-Qiang Zhang, William C. Rounds |
| 1997 | Generalized Query Answering in Disjunctive Deductive Databases: Procedural and Non-Monotonic Aspects. | Adnan H. Yahya |
| 1997 | A General Framework for Revising Non-Monotonic Theories. | Cees Witteveen, Wiebe van der Hoek |
| 1997 | Automated Reasoning with Non-Monotonic Logics (Abstract). | Miroslaw Truszczynski |
| 1997 | Affordable Classes of Normal Logic Programs. | J. Seitzer, John S. Schlipf |