Stijn Heymans

	2011
52		Cristina Feier, Stijn Heymans: Reasoning with Forest Logic Programs and f-hybrid Knowledge Bases CoRR abs/1110.2773: (2011)
	2010
51		Stijn Heymans, Thomas Eiter, Guohui Xiao: Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics. ECAI 2010: 35-40
50		Jörg Pührer, Stijn Heymans, Thomas Eiter: Dealing with Inconsistency When Combining Ontologies and Rules Using DL-Programs. ESWC (1) 2010: 183-197
49		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
48		Cristina Feier, Stijn Heymans: An Optimization for Reasoning with Forest Logic Programs CoRR abs/1011.5894: (2010)
47		Jos de Bruijn, Stijn Heymans: Logical Foundations of RDF(S) with Datatypes. J. Artif. Intell. Res. (JAIR) 38: 535-568 (2010)
	2009
46		Cristina Feier, Stijn Heymans: Hybrid Reasoning with Forest Logic Programs. ESWC 2009: 338-352
45		Uwe Keller, Stijn Heymans: Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm. LFCS 2009: 265-279
44		Jos de Bruijn, Stijn Heymans: Complexity of the Stable Model Semantics for Queries on Incomplete Databases. LPNMR 2009: 101-114
43		Stijn Heymans, Cristina Feier, Thomas Eiter: A Reasoner for Simple Conceptual Logic Programs. RR 2009: 55-70
	2008
42		Uwe Keller, Stijn Heymans: The SAT-Tableau Calculus. Description Logics 2008
41		Jeroen Janssen, Stijn Heymans, Dirk Vermeir, Martine De Cock: Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories. ICLP 2008: 362-376
40		Stijn Heymans, Ioan Toma: Ranking Services Using Fuzzy HEXPrograms. RR 2008: 181-196
39		Uwe Keller, Stijn Heymans: Deciding Fuzzy Description Logics by Type Elimination. URSW 2008
38		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		Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Open answer set programming with guarded programs. ACM Trans. Comput. Log. 9(4): (2008)
36		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		Mustafa Jarrar, Stijn Heymans: Towards Pattern-Based Reasoning for Friendly Ontology Debugging. International Journal on Artificial Intelligence Tools 17(4): 607-634 (2008)
34		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		Jos de Bruijn, Stijn Heymans: RDF and Logic: Reasoning and Extension. DEXA Workshops 2007: 460-464
31		Michael Stollberg, Uwe Keller, Holger Lausen, Stijn Heymans: Two-Phase Web Service Discovery Based on Rich Functional Descriptions. ESWC 2007: 99-113
30		Jos de Bruijn, Stijn Heymans: Logical Foundations of (e)RDF(S): Complexity and Reasoning. ISWC/ASWC 2007: 86-99
29		Jos de Bruijn, Stijn Heymans: A Semantic Framework for Language Layering in WSML. RR 2007: 103-117
28		Zhilei Ma, Branimir Wetzstein, Darko Anicic, Stijn Heymans, Frank Leymann: Semantic Business Process Repository. SBPM 2007
27		Stijn Heymans, Jos de Bruijn, Livia Predoiu, Cristina Feier, Davy Van Nieuwenborgh: Guarded Hybrid Knowledge Bases CoRR abs/0711.2155: (2007)
26		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		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
24		Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: Approximating Extended Answer Sets. ECAI 2006: 462-466
23		Mustafa Jarrar, Stijn Heymans: Unsatisfiability Reasoning in ORM Conceptual Schemes. EDBT Workshops 2006: 517-534
22		Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Guarded Open Answer Set Programming with Generalized Literals. FoIKS 2006: 179-200
21		Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: Cooperating Answer Set Programming. ICLP 2006: 226-241
20		Jos de Bruijn, Stijn Heymans: Translating Ontologies from Predicate-based to Frame-based Languages. RuleML 2006: 7-16
19		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		Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Conceptual logic programs. Ann. Math. Artif. Intell. 47(1-2): 103-137 (2006)
17		Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Open Answer Set Programming with Guarded Programs CoRR abs/cs/0603025: (2006)
	2005
16		Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Extending Conceptual Logic Programs with Arbitrary Rules. Answer Set Programming 2005
15		Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: Intelligence Analysis Using Quantitative Preferences. Answer Set Programming 2005
14		Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs. ESWC 2005: 392-407
13		Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Synthesis from Temporal Specifications Using Preferred Answer Set Programming. ICTCS 2005: 280-294
12		Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Preferential Reasoning on a Web of Trust. International Semantic Web Conference 2005: 368-382
11		Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Guarded Open Answer Set Programming. LPNMR 2005: 92-104
10		Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: An Ordered Logic Program Solver. PADL 2005: 128-142
	2004
9		Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: On Programs with Linearly Ordered Multiple Preferences. ICLP 2004: 180-194
8		Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Hierarchical Decision Making by Autonomous Agents. JELIA 2004: 44-56
7		Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: Weighted Answer Sets and Applications in Intelligence Analysis. LPAR 2004: 169-183
6		Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Semantic Web Reasoning with Conceptual Logic Programs. RuleML 2004: 113-127
	2003
5		Stijn Heymans, Dirk Vermeir: Integrating Semantic Web Reasoning and Answer Set Programming. Answer Set Programming 2003
4		Stijn Heymans, Dirk Vermeir: Integrating Ontology Languages and Answer Set Programming. DEXA Workshops 2003: 584-588
3		Stijn Heymans, Dirk Vermeir: Integrating Description Logics and Answer Set Programming. PPSWR 2003: 146-159
	2002
2		Stijn Heymans, Dirk Vermeir: A Defeasible Ontology Language. CoopIS/DOA/ODBASE 2002: 1033-1046
1		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] [44] [47]
4	Martine De Cock	[41]
5	Thomas Eiter	[43] [49] [50] [51]
6	Michael Erdmann	[49]
7	Cristina Feier	[27] [34] [38] [43] [46] [48] [52]
8	Dieter Fensel	[19]
9	Achille Fokoue (Achille Fokoue-Nkoutche)	[38]
10	Thomas Haselwanter	[19]
11	Graham Hench	[38]
12	Martin Hepp	[19]
13	Jörg Hoffmann	[19]
14	Jeroen Janssen	[41]
15	Mustafa Jarrar	[23] [35]
16	Aditya Kalyanpur	[38]
17	Uwe Keller	[31] [38] [39] [42] [45]
18	Mick Kerrigan	[19]
19	Aaron Kershenbaum	[38]
20	Jacek Kopecký	[19]
21	Roman Korf	[49]
22	Reto Krummenacher	[19]
23	Holger Lausen	[19] [31]
24	Frank Leymann	[28]
25	Li Ma	[38]
26	Zhilei Ma	[28] [38]
27	Jing Mei	[38]
28	Adrian Mocan	[19]
29	Davy Van Nieuwenborgh	[6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [21] [22] [24] [25] [26] [27] [34] [37]
30	Yue Pan	[38]
31	David Pearce	[33]
32	Axel Polleres	[33]
33	Livia Predoiu	[27] [34]
34	Jörg Pührer	[49] [50]
35	Edna Ruckhaus	[33]
36	Edith Schonberg	[38]
37	James Scicluna	[19]
38	Kavitha Srinivas	[38]
39	Nathalie Steinmetz	[38]
40	Michael Stollberg	[31]
41	Ioan Toma	[19] [40]
42	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]
43	Marina De Vos	[25]
44	Branimir Wetzstein	[28] [38]
45	Guohui Xiao	[51]
46	Michal Zaremba	[19]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page