| 2013 | IJCAI | Towards a Deeper Understanding of Nonmonotonic Reasoning with Degrees. | Marjon Blondeel, Steven Schockaert, Dirk Vermeir, Martine De Cock |
| 2012 | ICTAI | Possible and Necessary Answer Sets of Possibilistic Answer Set Programs. | Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir |
| 2011 | ECSQARU | Fuzzy Autoepistemic Logic: Reflecting about Knowledge of Truth Degrees. | Marjon Blondeel, Steven Schockaert, Martine De Cock, Dirk Vermeir |
| 2011 | LPNMR | Communicating ASP and the Polynomial Hierarchy. | Kim Bauters, Steven Schockaert, Dirk Vermeir, Martine De Cock |
| 2010 | ICLP | Communicating Answer Set Programs. | Kim Bauters, Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock |
| 2010 | ICLP | Efficient Solving of Time-dependent Answer Set Programs. | Timur Fayruzov, Jeroen Janssen, Dirk Vermeir, Chris Cornelis, Martine De Cock |
| 2010 | UAI | Possibilistic Answer Set Programming Revisited. | Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir |
| 2009 | EUSFLAT | Fuzzy Answer Set Programming with Literal Preferences. | Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock |
| 2008 | ICLP | Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories. | Jeroen Janssen, Stijn Heymans, Dirk Vermeir, Martine De Cock |
| 2007 | ICLP | Computing Fuzzy Answer Sets Using dlvhex. | Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir |
| 2007 | LPNMR | Conditional Planning with External Functions. | Davy Van Nieuwenborgh, Thomas Eiter, Dirk Vermeir |
| 2006 | ECAI | Approximating Extended Answer Sets. | Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir |
| 2006 | ICLP | Cooperating Answer Set Programming. | Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir |
| 2006 | JELIA | Fuzzy Answer Set Programming. | Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir |
| 2005 | LPNMR | Guarded Open Answer Set Programming. | Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir |
| 2005 | PADL | An Ordered Logic Program Solver. | Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir |
| 2004 | ICLP | On Programs with Linearly Ordered Multiple Preferences. | Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir |
| 2004 | JELIA | Hierarchical Decision Making by Autonomous Agents. | Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir |
| 2004 | LPAR | Weighted Answer Sets and Applications in Intelligence Analysis. | Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir |
| 2003 | ICLP | Order and Negation as Failure. | Davy Van Nieuwenborgh, Dirk Vermeir |
| 2003 | LPAR | Ordered Diagnosis. | Davy Van Nieuwenborgh, Dirk Vermeir |
| 2002 | CoopIS | A Defeasible Ontology Language. | Stijn Heymans, Dirk Vermeir |
| 2002 | JELIA | Preferred Answer Sets for Ordered Logic Programs. | Davy Van Nieuwenborgh, Dirk Vermeir |
| 2000 | JELIA | A Logic for Modeling Decision Making with Dynamic Preferences. | Marina De Vos, Dirk Vermeir |
| 1999 | CSL | Choice Logic Programs and Nash Equilibria in Strategic Games. | Marina De Vos, Dirk Vermeir |
| 1999 | ICAIL | Dialectic semantics for argumentation frameworks. | Hadassa Jakobovits, Dirk Vermeir |
| 1999 | LPNMR | On the Role of Negation in Choice Logic Programs. | Marina De Vos, Dirk Vermeir |
| 1995 | DS | Default Knowledge in Information Systems. | Terry A. Halpin, Dirk Vermeir |
| 1995 | ECSQARU | Specificity by Default. | P. Geerts, Dirk Vermeir |
| 1993 | LPNMR | A Nonmonotonic Reasoning Formalism Using Implicit Specificity Information. | P. Geerts, Dirk Vermeir |
| 1992 | EDBT | Evolution of Knowledge Bases. | Domenico Sacc, Brigitte Verdonk, Dirk Vermeir |
| 1992 | ICALP | Logic Programming Semantics Made Easy. | Els Laenens, Dirk Vermeir, Carlo Zaniolo |
| 1991 | CaiSE | The KIWIS Knowledge Base Management System. | Matts Ahlsn, Alessandro D'Atri, Paul Johannesson, Els Laenens, Nicola Leone, Pasquale Rullo, P. Rossi, Franois Staes, Laura Tarantino, L. Van Beirendonck, L. Van Cadsand, W. Van Santvliet, Johan Vanslembrouck, Brigitte Verdonk, Dirk Vermeir |
| 1991 | DEXA | Supporting User Interactions with OODB's: A Declarative Approach. | Franois Staes, Laura Tarantino, Brigitte Verdonk, Dirk Vermeir |
| 1991 | KR | Credulous vs. Sceptical Semantics for Ordered Logic Programs. | Dov M. Gabbay, Els Laenens, Dirk Vermeir |
| 1991 | LPNMR | Credulous and Autoepistemic Reasoning Using Ordered Logic. | P. Geerts, Dirk Vermeir |
| 1990 | JELIA | A Logical Basis for Object Oriented Programming. | Els Laenens, Dirk Vermeir |
| 1990 | LPNMR | The LOCO Language: Towards an Integration of Logic and Object-Oriented Programming. | Els Laenens, Brigitte Verdonk, Dirk Vermeir |
| 1990 | SIGMOD | Extending Logic Programming. | Els Laenens, Domenico Sacc, Dirk Vermeir |
| 1989 | CaiSE | A Case Study in Object-Oriented Knowledge-Base Design Using the KIWI System. | Els Laenens, John Snijders, Franois Staes, Dirk Vermeir |
| 1989 | ECOOP | A Customizable Window-Interface to Object-Oriented Databases. | Els Laenens, Franois Staes, Dirk Vermeir |
| 1988 | ECOOP | An Overview of OOPS+, An Object-Oriented Database Programming Language. | Els Laenens, Dirk Vermeir |
| 1979 | ICALP | Extending the Notion of Finite Index. | Grzegorz Rozenberg, Dirk Vermeir |
| 1977 | ICALP | L Systems of Finite Index (Extended Abstract). | Grzegorz Rozenberg, Dirk Vermeir |
| 1977 | MFCS | Acceptors for Iteration Languages. | Grzegorz Rozenberg, Dirk Vermeir |
| 1976 | MFCS | Context-Free Programmed Grammars and ETOL Systems. | Grzegorz Rozenberg, Dirk Vermeir |