Stijn Heymans Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)