Stijn Heymans

2009
43	EE	Uwe Keller, Stijn Heymans: Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm. LFCS 2009: 265-279
2008
42	EE	Uwe Keller, Stijn Heymans: The SAT-Tableau Calculus. Description Logics 2008
41	EE	Jeroen Janssen, Stijn Heymans, Dirk Vermeir, Martine De Cock: Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories. ICLP 2008: 362-376
40	EE	Stijn Heymans, Ioan Toma: Ranking Services Using Fuzzy HEXPrograms. RR 2008: 181-196
39	EE	Uwe Keller, Stijn Heymans: Deciding Fuzzy Description Logics by Type Elimination. URSW 2008
38	EE	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
37	EE	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Open answer set programming with guarded programs. ACM Trans. Comput. Log. 9(4): (2008)
36	EE	Jos de Bruijn, Stijn Heymans: On the Relationship between Description Logic-based and F-Logic-based Ontologies. Fundam. Inform. 82(3): 213-236 (2008)
35	EE	Mustafa Jarrar, Stijn Heymans: Towards Pattern-Based Reasoning for Friendly Ontology Debugging. International Journal on Artificial Intelligence Tools 17(4): 607-634 (2008)
34	EE	Stijn Heymans, Jos de Bruijn, Livia Predoiu, Cristina Feier, Davy Van Nieuwenborgh: Guarded hybrid knowledge bases. TPLP 8(3): 411-429 (2008)
2007
33		Axel Polleres, David Pearce, Stijn Heymans, Edna Ruckhaus: 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-WS.org 2007
32	EE	Jos de Bruijn, Stijn Heymans: RDF and Logic: Reasoning and Extension. DEXA Workshops 2007: 460-464
31	EE	Michael Stollberg, Uwe Keller, Holger Lausen, Stijn Heymans: Two-Phase Web Service Discovery Based on Rich Functional Descriptions. ESWC 2007: 99-113
30	EE	Jos de Bruijn, Stijn Heymans: Logical Foundations of (e)RDF(S): Complexity and Reasoning. ISWC/ASWC 2007: 86-99
29	EE	Jos de Bruijn, Stijn Heymans: A Semantic Framework for Language Layering in WSML. RR 2007: 103-117
28	EE	Zhilei Ma, Branimir Wetzstein, Darko Anicic, Stijn Heymans, Frank Leymann: Semantic Business Process Repository. SBPM 2007
27	EE	Stijn Heymans, Jos de Bruijn, Livia Predoiu, Cristina Feier, Davy Van Nieuwenborgh: Guarded Hybrid Knowledge Bases CoRR abs/0711.2155: (2007)
26	EE	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Open answer set programming for the semantic web. J. Applied Logic 5(1): 144-169 (2007)
2006
25	EE	Davy Van Nieuwenborgh, Marina De Vos, Stijn Heymans, Dirk Vermeir: Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming. CLIMA VII 2006: 20-40
24		Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: Approximating Extended Answer Sets. ECAI 2006: 462-466
23	EE	Mustafa Jarrar, Stijn Heymans: Unsatisfiability Reasoning in ORM Conceptual Schemes. EDBT Workshops 2006: 517-534
22	EE	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Guarded Open Answer Set Programming with Generalized Literals. FoIKS 2006: 179-200
21	EE	Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: Cooperating Answer Set Programming. ICLP 2006: 226-241
20	EE	Jos de Bruijn, Stijn Heymans: Translating Ontologies from Predicate-based to Frame-based Languages. RuleML 2006: 7-16
19	EE	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
18	EE	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Conceptual logic programs. Ann. Math. Artif. Intell. 47(1-2): 103-137 (2006)
17	EE	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Open Answer Set Programming with Guarded Programs CoRR abs/cs/0603025: (2006)
2005
16	EE	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Extending Conceptual Logic Programs with Arbitrary Rules. Answer Set Programming 2005
15	EE	Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: Intelligence Analysis Using Quantitative Preferences. Answer Set Programming 2005
14	EE	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs. ESWC 2005: 392-407
13	EE	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Synthesis from Temporal Specifications Using Preferred Answer Set Programming. ICTCS 2005: 280-294
12	EE	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Preferential Reasoning on a Web of Trust. International Semantic Web Conference 2005: 368-382
11	EE	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Guarded Open Answer Set Programming. LPNMR 2005: 92-104
10	EE	Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: An Ordered Logic Program Solver. PADL 2005: 128-142
2004
9	EE	Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: On Programs with Linearly Ordered Multiple Preferences. ICLP 2004: 180-194
8	EE	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Hierarchical Decision Making by Autonomous Agents. JELIA 2004: 44-56
7	EE	Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: Weighted Answer Sets and Applications in Intelligence Analysis. LPAR 2004: 169-183
6	EE	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Semantic Web Reasoning with Conceptual Logic Programs. RuleML 2004: 113-127
2003
5	EE	Stijn Heymans, Dirk Vermeir: Integrating Semantic Web Reasoning and Answer Set Programming. Answer Set Programming 2003
4	EE	Stijn Heymans, Dirk Vermeir: Integrating Ontology Languages and Answer Set Programming. DEXA Workshops 2003: 584-588
3	EE	Stijn Heymans, Dirk Vermeir: Integrating Description Logics and Answer Set Programming. PPSWR 2003: 146-159
2002
2	EE	Stijn Heymans, Dirk Vermeir: A Defeasible Ontology Language. CoopIS/DOA/ODBASE 2002: 1033-1046
1	EE	Stijn Heymans, Dirk Vermeir: Using Preference Order in Ontologies. DEXA Workshops 2002: 85-92

Coauthor Index

1	Darko Anicic	[19] [28] [38]
2	Michael L. Brodie	[19]
3	Jos de Bruijn	[19] [20] [27] [29] [30] [32] [34] [36]
4	Martine De Cock	[41]
5	Cristina Feier	[27] [34] [38]
6	Dieter Fensel	[19]
7	Achille Fokoue	[38]
8	Thomas Haselwanter	[19]
9	Graham Hench	[38]
10	Martin Hepp	[19]
11	Jörg Hoffmann	[19]
12	Jeroen Janssen	[41]
13	Mustafa Jarrar	[23] [35]
14	Aditya Kalyanpur	[38]
15	Uwe Keller	[31] [38] [39] [42] [43]
16	Mick Kerrigan	[19]
17	Aaron Kershenbaum	[38]
18	Jacek Kopecký	[19]
19	Reto Krummenacher	[19]
20	Holger Lausen	[19] [31]
21	Frank Leymann	[28]
22	Li Ma	[38]
23	Zhilei Ma	[28] [38]
24	Jing Mei	[38]
25	Adrian Mocan	[19]
26	Davy Van Nieuwenborgh	[6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [21] [22] [24] [25] [26] [27] [34] [37]
27	Yue Pan	[38]
28	David Pearce	[33]
29	Axel Polleres	[33]
30	Livia Predoiu	[27] [34]
31	Edna Ruckhaus	[33]
32	Edith Schonberg	[38]
33	James Scicluna	[19]
34	Kavitha Srinivas	[38]
35	Nathalie Steinmetz	[38]
36	Michael Stollberg	[31]
37	Ioan Toma	[19] [40]
38	Dirk Vermeir	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [21] [22] [24] [25] [26] [37] [41]
39	Marina De Vos	[25]
40	Branimir Wetzstein	[28] [38]
41	Michal Zaremba	[19]

Colors in the list of coauthors