dblp.uni-trier.dewww.uni-trier.de

Stijn Heymans

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
32EEStijn 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
2007
31EEJos de Bruijn, Stijn Heymans: RDF and Logic: Reasoning and Extension. DEXA Workshops 2007: 460-464
30EEMichael Stollberg, Uwe Keller, Holger Lausen, Stijn Heymans: Two-Phase Web Service Discovery Based on Rich Functional Descriptions. ESWC 2007: 99-113
29EEJos de Bruijn, Stijn Heymans: Logical Foundations of (e)RDF(S): Complexity and Reasoning. ISWC/ASWC 2007: 86-99
28EEJos de Bruijn, Stijn Heymans: A Semantic Framework for Language Layering in WSML. RR 2007: 103-117
27EEStijn Heymans, Jos de Bruijn, Livia Predoiu, Cristina Feier, Davy Van Nieuwenborgh: Guarded Hybrid Knowledge Bases CoRR abs/0711.2155: (2007)
26EEStijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Open answer set programming for the semantic web. J. Applied Logic 5(1): 144-169 (2007)
2006
25EEDavy 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
23EEMustafa Jarrar, Stijn Heymans: Unsatisfiability Reasoning in ORM Conceptual Schemes. EDBT Workshops 2006: 517-534
22EEStijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Guarded Open Answer Set Programming with Generalized Literals. FoIKS 2006: 179-200
21EEDavy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: Cooperating Answer Set Programming. ICLP 2006: 226-241
20EEJos de Bruijn, Stijn Heymans: Translating Ontologies from Predicate-based to Frame-based Languages. RuleML 2006: 7-16
19EEDarko 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
18EEStijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Conceptual logic programs. Ann. Math. Artif. Intell. 47(1-2): 103-137 (2006)
17EEStijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Open Answer Set Programming with Guarded Programs CoRR abs/cs/0603025: (2006)
2005
16EEStijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Extending Conceptual Logic Programs with Arbitrary Rules. Answer Set Programming 2005
15EEDavy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: Intelligence Analysis Using Quantitative Preferences. Answer Set Programming 2005
14EEStijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs. ESWC 2005: 392-407
13EEStijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Synthesis from Temporal Specifications Using Preferred Answer Set Programming. ICTCS 2005: 280-294
12EEStijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Preferential Reasoning on a Web of Trust. International Semantic Web Conference 2005: 368-382
11EEStijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Guarded Open Answer Set Programming. LPNMR 2005: 92-104
10EEDavy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: An Ordered Logic Program Solver. PADL 2005: 128-142
2004
9EEDavy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: On Programs with Linearly Ordered Multiple Preferences. ICLP 2004: 180-194
8EEStijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Hierarchical Decision Making by Autonomous Agents. JELIA 2004: 44-56
7EEDavy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: Weighted Answer Sets and Applications in Intelligence Analysis. LPAR 2004: 169-183
6EEStijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Semantic Web Reasoning with Conceptual Logic Programs. RuleML 2004: 113-127
2003
5EEStijn Heymans, Dirk Vermeir: Integrating Semantic Web Reasoning and Answer Set Programming. Answer Set Programming 2003
4EEStijn Heymans, Dirk Vermeir: Integrating Ontology Languages and Answer Set Programming. DEXA Workshops 2003: 584-588
3EEStijn Heymans, Dirk Vermeir: Integrating Description Logics and Answer Set Programming. PPSWR 2003: 146-159
2002
2EEStijn Heymans, Dirk Vermeir: A Defeasible Ontology Language. CoopIS/DOA/ODBASE 2002: 1033-1046
1EEStijn Heymans, Dirk Vermeir: Using Preference Order in Ontologies. DEXA Workshops 2002: 85-92

Coauthor Index

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

Colors in the list of coauthors

Copyright © Wed May 28 02:56:03 2008 by Michael Ley (ley@uni-trier.de)