Stijn Heymans

Cristina Feier, Stijn Heymans: Reasoning with Forest Logic Programs and f-hybrid knowledge bases. TPLP 13(3): 395-463 (2013)

Stijn Heymans, Matthew McKennirey, Joshua Phillips: Semantic validation of the use of SNOMED CT in HL7 clinical documents. J. Biomedical Semantics 2: 2 (2011)

Cristina Feier, Stijn Heymans: Reasoning with Forest Logic Programs and f-hybrid Knowledge Bases. CoRR abs/1110.2773 (2011)

Jos de Bruijn, Stijn Heymans: Logical Foundations of RDF(S) with Datatypes. J. Artif. Intell. Res. (JAIR) 38: 535-568 (2010)

Stijn Heymans, Thomas Eiter, Guohui Xiao: Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics. ECAI 2010: 35-40

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

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

Cristina Feier, Stijn Heymans: An Optimization for Reasoning with Forest Logic Programs. CoRR abs/1011.5894 (2010)

Cristina Feier, Stijn Heymans: Hybrid Reasoning with Forest Logic Programs. ESWC 2009: 338-352

Uwe Keller, Stijn Heymans: Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm. LFCS 2009: 265-279

Jos de Bruijn, Stijn Heymans: Complexity of the Stable Model Semantics for Queries on Incomplete Databases. LPNMR 2009: 101-114

Stijn Heymans, Cristina Feier, Thomas Eiter: A Reasoner for Simple Conceptual Logic Programs. RR 2009: 55-70

Jos de Bruijn, Stijn Heymans: On the Relationship between Description Logic-based and F-Logic-based Ontologies. Fundam. Inform. 82(3): 213-236 (2008)

Mustafa Jarrar, Stijn Heymans: Towards Pattern-Based Reasoning for Friendly Ontology Debugging. International Journal on Artificial Intelligence Tools 17(4): 607-634 (2008)

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

Stijn Heymans, Jos de Bruijn, Livia Predoiu, Cristina Feier, Davy Van Nieuwenborgh: Guarded hybrid knowledge bases. TPLP 8(3): 411-429 (2008)

Uwe Keller, Stijn Heymans: The SAT-Tableau Calculus. Description Logics 2008

Jeroen Janssen, Stijn Heymans, Dirk Vermeir, Martine De Cock: Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories. ICLP 2008: 362-376

Stijn Heymans, Ioan Toma: Ranking Services Using Fuzzy HEXPrograms. RR 2008: 181-196

Uwe Keller, Stijn Heymans: Deciding Fuzzy Description Logics by Type Elimination. URSW 2008

Stijn Heymans, Li Ma, Darko Anicic, Zhilei Ma, Nathalie Steinmetz, Yue Pan, Jing Mei, Achille Fokoue, Aditya Kalyanpur, Aaron Kershenbaum, Edith Schonberg, Kavitha Srinivas, Cristina Feier, Graham Hench, Branimir Wetzstein, Uwe Keller: Ontology Reasoning with Large Data Repositories. Ontology Management 2008: 89-128

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Open answer set programming for the semantic web. J. Applied Logic 5(1): 144-169 (2007)

Jos de Bruijn, Stijn Heymans: RDF and Logic: Reasoning and Extension. DEXA Workshops 2007: 460-464

Zhilei Ma, Branimir Wetzstein, Darko Anicic, Stijn Heymans, Frank Leymann: Semantic Business Process Repository. SBPM 2007

Michael Stollberg, Uwe Keller, Holger Lausen, Stijn Heymans: Two-Phase Web Service Discovery Based on Rich Functional Descriptions. ESWC 2007: 99-113

Jos de Bruijn, Stijn Heymans: A Semantic Framework for Language Layering in WSML. RR 2007: 103-117

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

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

Axel Polleres, David Pearce, Stijn Heymans, Edna Ruckhaus (Eds.): Proceedings of the ICLP'07 Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services, ALPSWS 2007, Porto, Portugal, September 13th, 2007. CEUR Workshop Proceedings 287, CEUR-WS.org 2007

Stijn Heymans, Jos de Bruijn, Livia Predoiu, Cristina Feier, Davy Van Nieuwenborgh: Guarded Hybrid Knowledge Bases. CoRR abs/0711.2155 (2007)

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Conceptual logic programs. Ann. Math. Artif. Intell. 47(1-2): 103-137 (2006)

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

Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: Approximating Extended Answer Sets. ECAI 2006: 462-466

Mustafa Jarrar, Stijn Heymans: Unsatisfiability Reasoning in ORM Conceptual Schemes. EDBT Workshops 2006: 517-534

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Guarded Open Answer Set Programming with Generalized Literals. FoIKS 2006: 179-200

Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: Cooperating Answer Set Programming. ICLP 2006: 226-241

Jos de Bruijn, Stijn Heymans: Translating Ontologies from Predicate-based to Frame-based Languages. RuleML 2006: 7-16

Darko Anicic, Michael L. Brodie, Jos de Bruijn, Dieter Fensel, Thomas Haselwanter, Martin Hepp, Stijn Heymans, Jörg Hoffmann, Mick Kerrigan, Jacek Kopecký, Reto Krummenacher, Holger Lausen, Adrian Mocan, James Scicluna, Ioan Toma, Michal Zaremba: A Semantically Enabled Service Oriented Architecture. WImBI 2006: 367-381

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Open Answer Set Programming with Guarded Programs. CoRR abs/cs/0603025 (2006)

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

Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: Intelligence Analysis Using Quantitative Preferences. Answer Set Programming 2005

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs. ESWC 2005: 392-407

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Synthesis from Temporal Specifications Using Preferred Answer Set Programming. ICTCS 2005: 280-294

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Guarded Open Answer Set Programming. LPNMR 2005: 92-104

Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: An Ordered Logic Program Solver. PADL 2005: 128-142

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Preferential Reasoning on a Web of Trust. International Semantic Web Conference 2005: 368-382

Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: On Programs with Linearly Ordered Multiple Preferences. ICLP 2004: 180-194

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Hierarchical Decision Making by Autonomous Agents. JELIA 2004: 44-56

Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: Weighted Answer Sets and Applications in Intelligence Analysis. LPAR 2004: 169-183

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Semantic Web Reasoning with Conceptual Logic Programs. RuleML 2004: 113-127

Stijn Heymans, Dirk Vermeir: Integrating Semantic Web Reasoning and Answer Set Programming. Answer Set Programming 2003

Stijn Heymans, Dirk Vermeir: Integrating Ontology Languages and Answer Set Programming. DEXA Workshops 2003: 584-588

Stijn Heymans, Dirk Vermeir: Integrating Description Logics and Answer Set Programming. PPSWR 2003: 146-159

Stijn Heymans, Dirk Vermeir: A Defeasible Ontology Language. CoopIS/DOA/ODBASE 2002: 1033-1046

Stijn Heymans, Dirk Vermeir: Using Preference Order in Ontologies. DEXA Workshops 2002: 85-92