|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | FEIER, CRISTINA ; HEYMANS, STIJN | Reasoning with Forest Logic Programs and f-hybrid knowledge bases | Artikel Article | 2011 |
| 2 | | Feier, Cristina ; Heymans, Stijn ; Woltran, Stefan ; Balduccini, Marcello | An Optimization for Reasoning with Forest Logic Programs | Konferenzbeitrag Inproceedings  | 2010 |
| 3 | | Heymans, Stijn | Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics | Präsentation Presentation | 2010 |
| 4 | | Feier, 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 Ontologies | Bericht Report | 2010 |
| 5 | | De Bruijn, J. ; Heymans, S. | Logical Foundations of RDF(S) with Datatypes | Artikel Article | 2010 |
| 6 | | Pü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-Programs | Konferenzbeitrag Inproceedings | 2010 |
| 7 | | Heymans, Stijn ; Korf, Roman ; Erdmann, Michael ; Puehrer, Joerg ; Eiter, Thomas ; Coelho, Helder ; Studer, Rudi ; Wooldridge, Michael | F-Logic#: Loosely Coupling F-Logic Rules and Ontologies | Konferenzbeitrag Inproceedings | 2010 |
| 8 | | Heymans, Stijn ; Eiter, Thomas ; Xiao, Guohui ; Coelho, Helder ; Studer, Rudi ; Wooldridge, Michael | Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics | Konferenzbeitrag Inproceedings | 2010 |
| 9 | | Xiao, 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-Programs | Konferenzbeitrag Inproceedings | 2010 |
| 10 | | Feier, Cristina ; Heymans, Stijn | Hybrid Reasoning with Forest Logic Programs | Konferenzbeitrag Inproceedings | 2009 |
| 11 | | Heymans, Stijn ; Feier, Cristina ; Eiter, Thomas | A Reasoner for Simple Conceptual Logic Programs | Konferenzbeitrag Inproceedings | 2009 |
| 12 | | de Bruijn, Jos ; Heymans, Stijn | Complexity of the Stable Model Semantics for Queries on Incomplete Databases | Konferenzbeitrag Inproceedings | 2009 |
| 13 | | Keller, Uwe ; Heymans, Stijn | Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm | Konferenzbeitrag Inproceedings | 2009 |
| 14 | | Feier, Cristina ; Heymans, Stijn | A Sound and Complete Algorithm for Simple Conceptual Logic Programs | Bericht Report | 2008 |
| 15 | | Heymans, Stijn ; Toma, Ioan | Ranking Services Using Fuzzy HEX Programs | Konferenzbeitrag Inproceedings | 2008 |
| 16 | | Keller, Uwe ; Heymans, Stijn | The SAT-Tableau Calculus | Konferenzbeitrag Inproceedings | 2008 |
| 17 | | Keller, Uwe ; Heymans, Stijn | Deciding Fuzzy Description Logics by Type Elimination | Konferenzbeitrag Inproceedings | 2008 |
| 18 | | Janssen, Jeroen ; Heymans, Stijn ; Vermeir, Dirk ; De Cock, Martine | Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories | Konferenzbeitrag Inproceedings | 2008 |
| 19 | | Feier, Cristina ; Heymans, Stijn | A Sound and Complete Algorithm for Simple Conceptual Logic Programs | Konferenzbeitrag Inproceedings | 2008 |
