| 2001 | System Description: The DLV | Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres |
| 2001 | aspps - An Implementation of Answer-Set Programming with Propositional Schemata. | Deborah East, Miroslaw Truszczynski |
| 2001 | A Computational Logic Approach to Heterogenous Agent Systems. | Jrgen Dix |
| 2001 | System Description: DLV. | Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, Gerald Pfeifer |
| 2001 | plp: A Generic Compiler for Ordered Logic Programs. | James P. Delgrande, Torsten Schaub, Hans Tompits |
| 2001 | Antitonic Logic Programs. | Carlos Viegas Damsio, Lus Moniz Pereira |
| 2001 | On the Relationship between Defeasible Logic and Well-Founded Semantics. | Gerhard Brewka |
| 2001 | Prototypes for Reasoning with Infinite Stable Models and Function Symbols. | Piero A. Bonatti |
| 2001 | Reasoning with Open Logic Programs. | Piero A. Bonatti |
| 2001 | Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto. | Robert Baumgartner, Sergio Flesca, Georg Gottlob |
| 2001 | Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming. | Chitta Baral, Cenk Uyan |
| 2001 | The USA-Advisor: A Case Study in Answer Set Planning. | Marcello Balduccini, Michael Gelfond, Richard Watson, Monica L. Nogueira |
| 2001 | Algorithms for Computing X-Minimal Models. | Chen Avin, Rachel Ben-Eliyahu-Zohary |
| 2001 | NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics. | Christian Anger, Kathrin Konczak, Thomas Linke |
| 1999 | On the Role of Negation in Choice Logic Programs. | Marina De Vos, Dirk Vermeir |
| 1999 | Extending the Stable Model Semantics with More Expressive Rules. | Patrik Simons |
| 1999 | Linear Tabulated Resolutions for the Well-Founded Semantics. | Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou |
| 1999 | Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning. | Jn Sefrnek |
| 1999 | Updating Extended Logic Programs through Abduction. | Chiaki Sakama, Katsumi Inoue |
| 1999 | Towards First-Order Nonmonotonic Reasoning. | Riccardo Rosati |
| 1999 | Stable Model Semantics of Weight Constraint Rules. | Ilkka Niemel, Patrik Simons, Timo Soininen |
| 1999 | Practical Nonmonotonic Reasoning: Extending Inheritance Techniques to Solve Real-World Problems. | Leora Morgenstern |
| 1999 | World-Modeling vs. World-Axiomatizing. | David A. McAllester |
| 1999 | Extending Disjunctive Logic Programming by T-norms. | Cristinel Mateis |
| 1999 | Annotated Revision Programs. | V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski |