Name Card

Full name Familienname, Vorname
Heymans, Stijn
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-19 of 19 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1FEIER, CRISTINA ; HEYMANS, STIJN Reasoning with Forest Logic Programs and f-hybrid knowledge basesArtikel Article2011
2Feier, Cristina ; Aït-Kaci, Hassan ; Angele, Jürgen ; De Bruijn, Jos ; Citeau, Hugue ; Eiter, Thomas ; El Ghali, Adil ; Kerhet, Volha ; Kiss, Eva ; Korf, Roman ; Krekeler, Thomas ; Krennwallner, Thomas ; Heymans, Stijn ; Mosca, Alessandro ; Rezk, Martín ; Xiao, Guohui D3.3 Complexity and Optimization of Combinations of Rules and OntologiesBericht Report2010
3Heymans, Stijn Tractable Reasoning with DL-Programs over Datalog-rewritable Description LogicsPräsentation Presentation2010
4Pührer, Jörg ; Heymans, Stijn ; Eiter, Thomas Dealing with Inconsistency When Combining Ontologies and Rules Using DL-ProgramsKonferenzbeitrag Inproceedings 2010
5Heymans, Stijn ; Korf, Roman ; Erdmann, Michael ; Puehrer, Joerg ; Eiter, Thomas F-Logic#: Loosely Coupling F-Logic Rules and OntologiesKonferenzbeitrag Inproceedings 2010
6Xiao, Guohui ; Heymans, Stijn ; Eiter, Thomas DReW: a Reasoner for Datalog-rewritable Description Logics and DL-ProgramsKonferenzbeitrag Inproceedings 2010
7Heymans, Stijn ; Eiter, Thomas ; Xiao, Guohui Tractable Reasoning with DL-Programs over Datalog-rewritable Description LogicsKonferenzbeitrag Inproceedings 2010
8De Bruijn, J. ; Heymans, S. Logical Foundations of RDF(S) with DatatypesArtikel Article2010
9Feier, Cristina ; Heymans, Stijn An Optimization for Reasoning with Forest Logic ProgramsKonferenzbeitrag Inproceedings 2010
10Keller, Uwe ; Heymans, Stijn Fuzzy Description Logic Reasoning Using a Fixpoint AlgorithmKonferenzbeitrag Inproceedings 2009
11Heymans, Stijn ; Feier, Cristina ; Eiter, Thomas A Reasoner for Simple Conceptual Logic ProgramsKonferenzbeitrag Inproceedings 2009
12de Bruijn, Jos ; Heymans, Stijn Complexity of the Stable Model Semantics for Queries on Incomplete DatabasesKonferenzbeitrag Inproceedings 2009
13Feier, Cristina ; Heymans, Stijn Hybrid Reasoning with Forest Logic ProgramsKonferenzbeitrag Inproceedings 2009
14Feier, Cristina ; Heymans, Stijn A Sound and Complete Algorithm for Simple Conceptual Logic ProgramsBericht Report2008
15Feier, Cristina ; Heymans, Stijn A Sound and Complete Algorithm for Simple Conceptual Logic ProgramsKonferenzbeitrag Inproceedings2008
16Heymans, Stijn ; Toma, Ioan Ranking Services Using Fuzzy HEX ProgramsKonferenzbeitrag Inproceedings 2008
17Janssen, Jeroen ; Heymans, Stijn ; Vermeir, Dirk ; De Cock, Martine Compiling Fuzzy Answer Set Programs to Fuzzy Propositional TheoriesKonferenzbeitrag Inproceedings 2008
18Keller, Uwe ; Heymans, Stijn Deciding Fuzzy Description Logics by Type EliminationKonferenzbeitrag Inproceedings 2008
19Keller, Uwe ; Heymans, Stijn The SAT-Tableau CalculusKonferenzbeitrag Inproceedings 2008

Contributing Publications Mitbeteiligte Publikationen

Results 1-5 of 5 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Artem, Konev Reasoning with RDF(S) and F-logicThesis Hochschulschrift2012
2Eiter, Thomas ; El Ghali, Adil ; Fernández, Sergio ; Heymans, Stijn ; Krennwallner, Thomas ; Lévy, François BuRO 2010: 1st International Workshop on Business Models, Business Rules and Ontologies, 21 September 2010, ProceedingsKonferenzband Proceedings 2010
3Xiao, Guohui ; Heymans, Stijn ; Eiter, Thomas DReW: a Reasoner for Datalog-rewritable Description Logics and DL-ProgramsKonferenzbeitrag Inproceedings 2010
4Krennwallner, Thomas Combining Nonmonotonic Knowledge Bases for Modular and Distributed Knowledge-Based Information SystemsKonferenzbeitrag Inproceedings2010
5Fraz, Sana Hybrid reasoning with simple conceptual logic programsThesis Hochschulschrift2009