A Defeasible Ontology Language. - Stijn Heymans; Dirk Vermeir (OTM, 2002)

Using Preference Order in Ontologies. - Stijn Heymans; Dirk Vermeir (DEXA Workshops, 2002)

Integrating Semantic Web Reasoning and Answer Set Programming. - Stijn Heymans; Dirk Vermeir (Answer Set Programming, 2003)

Integrating Ontology Languages and Answer Set Programming. - Stijn Heymans; Dirk Vermeir (DEXA Workshops, 2003)

Integrating Description Logics and Answer Set Programming. - Stijn Heymans; Dirk Vermeir (PPSWR, 2003)

On Programs with Linearly Ordered Multiple Preferences. - Davy Van Nieuwenborgh; Stijn Heymans; Dirk Vermeir (ICLP, 2004)

Hierarchical Decision Making by Autonomous Agents. - Stijn Heymans; Davy Van Nieuwenborgh; Dirk Vermeir (JELIA, 2004)

Weighted Answer Sets and Applications in Intelligence Analysis. - Davy Van Nieuwenborgh; Stijn Heymans; Dirk Vermeir (LPAR, 2004)

Semantic Web Reasoning with Conceptual Logic Programs. - Stijn Heymans; Davy Van Nieuwenborgh; Dirk Vermeir (RuleML, 2004)

Extending Conceptual Logic Programs with Arbitrary Rules. - Stijn Heymans; Davy Van Nieuwenborgh; Dirk Vermeir (Answer Set Programming, 2005)

Intelligence Analysis Using Quantitative Preferences. - Davy Van Nieuwenborgh; Stijn Heymans; Dirk Vermeir (Answer Set Programming, 2005)

Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs. - Stijn Heymans; Davy Van Nieuwenborgh; Dirk Vermeir (ESWC, 2005)

Synthesis from Temporal Specifications Using Preferred Answer Set Programming. - Stijn Heymans; Davy Van Nieuwenborgh; Dirk Vermeir (ICTCS, 2005)

Guarded Open Answer Set Programming. - Stijn Heymans; Davy Van Nieuwenborgh; Dirk Vermeir (LPNMR, 2005)

An Ordered Logic Program Solver. - Davy Van Nieuwenborgh; Stijn Heymans; Dirk Vermeir (PADL, 2005)

Preferential Reasoning on a Web of Trust. - Stijn Heymans; Davy Van Nieuwenborgh; Dirk Vermeir (ISWC, 2005)

Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming. - Davy Van Nieuwenborgh; Marina De Vos; Stijn Heymans; Dirk Vermeir (CLIMA, 2006)

Approximating Extended Answer Sets. - Davy Van Nieuwenborgh; Stijn Heymans; Dirk Vermeir (ECAI, 2006)

Unsatisfiability Reasoning in ORM Conceptual Schemes. - Mustafa Jarrar; Stijn Heymans (EDBT Workshops, 2006)

Guarded Open Answer Set Programming with Generalized Literals. - Stijn Heymans; Davy Van Nieuwenborgh; Dirk Vermeir (FoIKS, 2006)

Cooperating Answer Set Programming. - Davy Van Nieuwenborgh; Stijn Heymans; Dirk Vermeir (ICLP, 2006)

Translating Ontologies from Predicate-based to Frame-based Languages. - Jos de Bruijn; Stijn Heymans (RuleML, 2006)

A Semantically Enabled Service Oriented Architecture. - Darko Anicic; Michael L. Brodie; Jos de Bruijn; Dieter Fensel; Thomas Haselwanter; Martin Hepp; Stijn Heymans; Jörg Hoffmann 001; Mick Kerrigan; Jacek Kopecký; Reto Krummenacher; Holger Lausen; et al. (WImBI, 2006)

Conceptual logic programs. - Stijn Heymans; Davy Van Nieuwenborgh; Dirk Vermeir (Ann. Math. Artif. Intell., 2006)

RDF and Logic: Reasoning and Extension. - Jos de Bruijn; Stijn Heymans (DEXA Workshops, 2007)

Semantic Business Process Repository. - Zhilei Ma; Branimir Wetzstein; Darko Anicic; Stijn Heymans; Frank Leymann (SBPM, 2007)

Two-Phase Web Service Discovery Based on Rich Functional Descriptions. - Michael Stollberg; Uwe Keller; Holger Lausen; Stijn Heymans (ESWC, 2007)

A Semantic Framework for Language Layering in WSML. - Jos de Bruijn; Stijn Heymans (RR, 2007)

Logical Foundations of (e)RDF(S): Complexity and Reasoning. - Jos de Bruijn; Stijn Heymans (ISWC/ASWC, 2007)

Spinning a Corporate Semantic Web for Product Engineering. - Uwe Keller; Stijn Heymans; Alois Reitbauer; Michael Neswal (WEBIST (3), 2007)

Open answer set programming for the semantic web. - Stijn Heymans; Davy Van Nieuwenborgh; Dirk Vermeir (J. Appl. Log., 2007)

The SAT-Tableau Calculus. - Uwe Keller; Stijn Heymans (Description Logics, 2008)

Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories. - Jeroen Janssen; Stijn Heymans; Dirk Vermeir; Martine De Cock (ICLP, 2008)

Ranking Services Using Fuzzy HEXPrograms. - Stijn Heymans; Ioan Toma (RR, 2008)

Deciding Fuzzy Description Logics by Type Elimination. - Uwe Keller; Stijn Heymans (URSW, 2008)

Ontology Reasoning with Large Data Repositories. - Stijn Heymans; Li Ma 002; Darko Anicic; Zhilei Ma; Nathalie Steinmetz; Yue Pan; Jing Mei; Achille Fokoue; Aditya Kalyanpur; Aaron Kershenbaum; Edith Schonberg; Kavitha Srinivas; et al. (Ontology Management, 2008)

On the Relationship between Description Logic-based and F-Logic-based Ontologies. - Jos de Bruijn; Stijn Heymans (Fundam. Informaticae, 2008)

Towards Pattern-Based Reasoning for Friendly Ontology Debugging. - Mustafa Jarrar; Stijn Heymans (Int. J. Artif. Intell. Tools, 2008)

Open answer set programming with guarded programs. - Stijn Heymans; Davy Van Nieuwenborgh; Dirk Vermeir (ACM Trans. Comput. Log., 2008)

Guarded hybrid knowledge bases. - Stijn Heymans; Jos de Bruijn; Livia Predoiu; Cristina Feier; Davy Van Nieuwenborgh (Theory Pract. Log. Program., 2008)

Hybrid Reasoning with Forest Logic Programs. - Cristina Feier; Stijn Heymans (ESWC, 2009)

Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm. - Uwe Keller; Stijn Heymans (LFCS, 2009)

Complexity of the Stable Model Semantics for Queries on Incomplete Databases. - Jos de Bruijn; Stijn Heymans (LPNMR, 2009)

A Reasoner for Simple Conceptual Logic Programs. - Stijn Heymans; Cristina Feier; Thomas Eiter (RR, 2009)

Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics. - Stijn Heymans; Thomas Eiter; Guohui Xiao 001 (ECAI, 2010)

Dealing with Inconsistency When Combining Ontologies and Rules Using DL-Programs. - Jörg Pührer; Stijn Heymans; Thomas Eiter (ESWC (1), 2010)

F-Logic#: Loosely Coupling F-Logic Rules and Ontologies. - Stijn Heymans; Roman Korf; Michael Erdmann; Jörg Pührer; Thomas Eiter (Web Intelligence, 2010)

An Optimization for Reasoning with Forest Logic Programs - Cristina Feier; Stijn Heymans (CoRR, 2010)

Logical Foundations of RDF(S) with Datatypes. - Jos de Bruijn; Stijn Heymans (J. Artif. Intell. Res., 2010)

Semantic validation of the use of SNOMED CT in HL7 clinical documents. - Stijn Heymans; Matthew McKennirey; Joshua Phillips (J. Biomed. Semant., 2011)

Semantic Web Services Fundamentals. - Stijn Heymans; Jörg Hoffmann 001; Annapaola Marconi; Joshua Phillips; Ingo Weber (Handbook of Service Description, 2012)

The DReW System for Nonmonotonic DL-Programs. - Guohui Xiao 001; Thomas Eiter; Stijn Heymans (CSWS, 2012)

KB_Bio_101: a repository of graph-structured knowledge. - Vinay K. Chaudhri; Michael A. Wessel; Stijn Heymans (E-LKR, 2012)

"What if there was no oxygen?": responding to hypothetical questions in an intelligent tutoring agent. - Neil Yorke-Smith; Stijn Heymans; Vinay K. Chaudhri (AAMAS, 2013)

Automatic Strengthening of Graph-Structured Knowledge Bases - Or: How to Identify Inherited Content in Concept Graphs. - Vinay K. Chaudhri; Nikhil Dinesh; Stijn Heymans; Michael A. Wessel (GKR, 2013)

KB_Bio_101 : A Challenge for OWL Reasoners. - Vinay K. Chaudhri; Michael A. Wessel; Stijn Heymans (ORE, 2013)

Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP. - Vinay K. Chaudhri; Stijn Heymans; Michael A. Wessel; Tran Cao Son (CoRR, 2013)

Object-Oriented Knowledge Bases in Logic Programming. - Vinay K. Chaudhri; Stijn Heymans; Son Tran; Michael A. Wessel (Theory Pract. Log. Program., 2013)

Reasoning with Forest Logic Programs and f-hybrid knowledge bases. - Cristina Feier; Stijn Heymans (Theory Pract. Log. Program., 2013)

Large-Scale Analogical Reasoning. - Vinay K. Chaudhri; Stijn Heymans; Adam Overholtzer; Aaron Spaulding; Michael A. Wessel (AAAI, 2014)

The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract). - Simon Cruanes; Stijn Heymans; Ian A. Mason; Sam Owre; Natarajan Shankar (Specification, Algebra, and Software, 2014)

Conceptual Models of Energy Transfer and Regulation. - Vinay K. Chaudhri; Nikhil Dinesh; Stijn Heymans (FOIS, 2014)

Representing Roles in a Biology Textbook. - Vinay K. Chaudhri; Nikhil Dinesh; Stijn Heymans (ONTO.COM/ODISE@FOIS, 2014)