| 2014 | AAAI | Large-Scale Analogical Reasoning. | Vinay K. Chaudhri, Stijn Heymans, Adam Overholtzer, Aaron Spaulding, Michael A. Wessel |
| 2014 | FOIS | Conceptual Models of Energy Transfer and Regulation. | Vinay K. Chaudhri, Nikhil Dinesh, Stijn Heymans |
| 2014 | FOIS | Representing Roles in a Biology Textbook. | Vinay K. Chaudhri, Nikhil Dinesh, Stijn Heymans |
| 2010 | ECAI | Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics. | Stijn Heymans, Thomas Eiter, Guohui Xiao |
| 2009 | LFCS | Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm. | Uwe Keller, Stijn Heymans |
| 2009 | LPNMR | Complexity of the Stable Model Semantics for Queries on Incomplete Databases. | Jos de Bruijn, Stijn Heymans |
| 2008 | ICLP | Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories. | Jeroen Janssen, Stijn Heymans, Dirk Vermeir, Martine De Cock |
| 2007 | WEBIST | Spinning a Corporate Semantic Web for Product Engineering. | Uwe Keller, Stijn Heymans, Alois Reitbauer, Michael Neswal |
| 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 |
| 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 |
| 2002 | CoopIS | A Defeasible Ontology Language. | Stijn Heymans, Dirk Vermeir |