Stijn Heymans

Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo!
Loading Google Thumbnails...
2010
34Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics. Stijn Heymans, Thomas Eiter, Guohui Xiao. ECAI 2010, 35-40. Web SearchBibTeXDownload
33Dealing with Inconsistency When Combining Ontologies and Rules Using DL-Programs. Jörg Pührer, Stijn Heymans, Thomas Eiter. ESWC (1) 2010, 183-197. Web SearchBibTeXDownload
32F-Logic#: Loosely Coupling F-Logic Rules and Ontologies. Stijn Heymans, Roman Korf, Michael Erdmann, Jörg Pührer, Thomas Eiter. Web Intelligence 2010, 248-255. Web SearchBibTeXDownload
2009
31A Reasoner for Simple Conceptual Logic Programs. Stijn Heymans, Cristina Feier, Thomas Eiter. RR 2009, 55-70. Web SearchBibTeXDownload
2008
30Open answer set programming with guarded programs. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. ACM Trans. Comput. Log. (9) (2008). Web SearchBibTeXDownload
29Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories. Jeroen Janssen, Stijn Heymans, Dirk Vermeir, Martine De Cock. ICLP 2008, 362-376. Web SearchBibTeXDownload
28Towards Pattern-Based Reasoning for Friendly Ontology Debugging. Mustafa Jarrar, Stijn Heymans. International Journal on Artificial Intelligence Tools (17): 607-634 (2008). Web SearchBibTeXDownload
27Ontology Reasoning with Large Data Repositories. 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 Management 2008, 89-128. Web SearchBibTeXDownload
2007
26Open answer set programming for the semantic web. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. J. Applied Logic (5): 144-169 (2007). Web SearchBibTeXDownload
25Semantic Business Process Repository. Zhilei Ma, Branimir Wetzstein, Darko Anicic, Stijn Heymans, Frank Leymann. SBPM 2007. Web SearchBibTeXDownload
2006
24Conceptual logic programs. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. Ann. Math. Artif. Intell. (47): 103-137 (2006). Web SearchBibTeXDownload
23Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming. Davy Van Nieuwenborgh, Marina De Vos, Stijn Heymans, Dirk Vermeir. CLIMA 2006, 20-40. Web SearchBibTeXDownload
22Open Answer Set Programming with Guarded Programs. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. CoRR (abs/cs/0603025) (2006). Web SearchBibTeXDownload
21Approximating Extended Answer Sets. Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir. ECAI 2006, 462-466. Web SearchBibTeX
20Unsatisfiability Reasoning in ORM Conceptual Schemes. Mustafa Jarrar, Stijn Heymans. EDBT Workshops 2006, 517-534. Web SearchBibTeXDownload
19Guarded Open Answer Set Programming with Generalized Literals. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. FoIKS 2006, 179-200. Web SearchBibTeXDownload
18Cooperating Answer Set Programming. Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir. ICLP 2006, 226-241. Web SearchBibTeXDownload
17A Semantically Enabled Service Oriented Architecture. 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. WImBI 2006, 367-381. Cited by 2Web SearchBibTeXDownload
2005
16Intelligence Analysis Using Quantitative Preferences. Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir. Answer Set Programming 2005. Web SearchBibTeXDownload
15Extending Conceptual Logic Programs with Arbitrary Rules. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. Answer Set Programming 2005. Web SearchBibTeXDownload
14Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. ESWC 2005, 392-407. Web SearchBibTeXDownload
13Synthesis from Temporal Specifications Using Preferred Answer Set Programming. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. ICTCS 2005, 280-294. Web SearchBibTeXDownload
12Preferential Reasoning on a Web of Trust. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. International Semantic Web Conference 2005, 368-382. Web SearchBibTeXDownload
11Guarded Open Answer Set Programming. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. LPNMR 2005, 92-104. Web SearchBibTeXDownload
10An Ordered Logic Program Solver. Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir. PADL 2005, 128-142. Web SearchBibTeXDownload
2004
9On Programs with Linearly Ordered Multiple Preferences. Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir. ICLP 2004, 180-194. Web SearchBibTeXDownload
8Hierarchical Decision Making by Autonomous Agents. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. JELIA 2004, 44-56. Web SearchBibTeXDownload
7Weighted Answer Sets and Applications in Intelligence Analysis. Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir. LPAR 2004, 169-183. Web SearchBibTeXDownload
6Semantic Web Reasoning with Conceptual Logic Programs. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. RuleML 2004, 113-127. Web SearchBibTeXDownload
2003
5Integrating Semantic Web Reasoning and Answer Set Programming. Stijn Heymans, Dirk Vermeir. Answer Set Programming 2003. Web SearchBibTeXDownload
4Integrating Ontology Languages and Answer Set Programming. Stijn Heymans, Dirk Vermeir. DEXA Workshops 2003, 584-588. Web SearchBibTeXDownload
3Integrating Description Logics and Answer Set Programming. Stijn Heymans, Dirk Vermeir. PPSWR 2003, 146-159. Web SearchBibTeXDownload
2002
2A Defeasible Ontology Language. Stijn Heymans, Dirk Vermeir. CoopIS/DOA/ODBASE 2002, 1033-1046. Web SearchBibTeXDownload
1Using Preference Order in Ontologies. Stijn Heymans, Dirk Vermeir. DEXA Workshops 2002, 85-92. Web SearchBibTeXDownload
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research