Prefix title Titel (vorangestellt)
Dr.
 
Full name Familienname, Vorname
Heymans, Stijn
 
Main Affiliation Organisations­zuordnung
 

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

PreviewAuthors / EditorsTitleTypeIssue Date
1FEIER, CRISTINA ; HEYMANS, STIJN Reasoning with Forest Logic Programs and f-hybrid knowledge basesArtikel Article2011
2Feier, Cristina ; Heymans, Stijn ; Woltran, Stefan ; Balduccini, Marcello An Optimization for Reasoning with Forest Logic ProgramsKonferenzbeitrag Inproceedings 2010
3Heymans, Stijn Tractable Reasoning with DL-Programs over Datalog-rewritable Description LogicsPräsentation Presentation2010
4Feier, 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
5De Bruijn, J. ; Heymans, S. Logical Foundations of RDF(S) with DatatypesArtikel Article2010
6Pührer, Jörg ; Heymans, Stijn ; Eiter, Thomas ; Lora, Aroyo ; Antoniou, Grigoris ; Hyvönen, Eero ; ten Teije, Annette ; Stuckenschmidt, Heiner ; Cabral, Liliana ; Tudorache, Tania Dealing with Inconsistency When Combining Ontologies and Rules Using DL-ProgramsKonferenzbeitrag Inproceedings 2010
7Heymans, Stijn ; Korf, Roman ; Erdmann, Michael ; Puehrer, Joerg ; Eiter, Thomas ; Coelho, Helder ; Studer, Rudi ; Wooldridge, Michael F-Logic#: Loosely Coupling F-Logic Rules and OntologiesKonferenzbeitrag Inproceedings 2010
8Heymans, Stijn ; Eiter, Thomas ; Xiao, Guohui ; Coelho, Helder ; Studer, Rudi ; Wooldridge, Michael Tractable Reasoning with DL-Programs over Datalog-rewritable Description LogicsKonferenzbeitrag Inproceedings 2010
9Xiao, Guohui ; Heymans, Stijn ; Eiter, Thomas ; Eiter, Thomas ; El Ghali, Adil ; Fernández, Sergio ; Heymans, Stijn ; Krennwallner, Thomas ; Lévy, François DReW: a Reasoner for Datalog-rewritable Description Logics and DL-ProgramsKonferenzbeitrag Inproceedings 2010
10Feier, Cristina ; Heymans, Stijn Hybrid Reasoning with Forest Logic ProgramsKonferenzbeitrag 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
13Keller, Uwe ; Heymans, Stijn Fuzzy Description Logic Reasoning Using a Fixpoint AlgorithmKonferenzbeitrag Inproceedings 2009
14Feier, Cristina ; Heymans, Stijn A Sound and Complete Algorithm for Simple Conceptual Logic ProgramsBericht Report2008
15Heymans, Stijn ; Toma, Ioan Ranking Services Using Fuzzy HEX ProgramsKonferenzbeitrag Inproceedings 2008
16Keller, Uwe ; Heymans, Stijn The SAT-Tableau CalculusKonferenzbeitrag Inproceedings 2008
17Keller, Uwe ; Heymans, Stijn Deciding Fuzzy Description Logics by Type EliminationKonferenzbeitrag Inproceedings 2008
18Janssen, Jeroen ; Heymans, Stijn ; Vermeir, Dirk ; De Cock, Martine Compiling Fuzzy Answer Set Programs to Fuzzy Propositional TheoriesKonferenzbeitrag Inproceedings 2008
19Feier, Cristina ; Heymans, Stijn A Sound and Complete Algorithm for Simple Conceptual Logic ProgramsKonferenzbeitrag Inproceedings2008

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