Searching for authors named "Stijn Heymans" – sorted by Relevance.
17 documents found, showing 1 through 10.
Next 10 →
-
Deciding Fuzzy Description Logics by Type Elimination ⋆
- …Deciding Fuzzy Description Logics by Type Elimination ⋆ Uwe Keller 1 and Stijn Heymans 2 1…
- Add To MetaCart
-
Unsatisfiability reasoning in ORM conceptual schemes
- … Mustafa Jarrar 1 Stijn Heymans 2 1 STAR Lab, Vrije Universiteit Brussel, Belgium, mjarrar@(email omitted); 2 TINF…
- Cited by 4 (2 self) – Add To MetaCart
-
The SAT-Tableau Calculus
- …The SAT-Tableau Calculus Uwe Keller 1 and Stijn Heymans 2,3 1 Semantic Technology Institute (STI…
- Cited by 1 (0 self) – Add To MetaCart
-
Two-phase Web Service Discovery based on Rich Functional Descriptions
- … Keller, Holger Lausen, and Stijn Heymans Digital Enterprise Research Institute Innsbruck (DERI Austria…
- Cited by 4 (2 self) – Add To MetaCart
-
A Semantic Framework for Language Layering in WSML
- …A Semantic Framework for Language Layering in WSML ⋆ Jos de Bruijn and Stijn Heymans DERI…
- Cited by 1 (0 self) – Add To MetaCart
-
Synthesis from Temporal Specifications Using Preferred Answer Set Programming
- …Synthesis from Temporal Specifications Using Preferred Answer Set Programming Stijn Heymans, Davy…
- Add To MetaCart
-
An Ordered Logic Program Solver
- …128 An Ordered Logic Program Solver Davy Van Nieuwenborgh ⋆ , Stijn Heymans, and Dirk Vermeir…
- Cited by 1 (1 self) – Add To MetaCart
-
Hierarchical Decision Making by Autonomous Agents
- …Hierarchical Decision Making By Autonomous Agents Stijn Heymans, Davy Van Nieuwenborgh…
- Cited by 2 (2 self) – Add To MetaCart
-
On Programs with Linearly Ordered Multiple Preferences
- …On Programs with Linearly Ordered Multiple Preferences Davy Van Nieuwenborgh ⋆ , Stijn Heymans…
- Cited by 4 (3 self) – Add To MetaCart
-
Approximating extended answer sets
- …Approximating Extended Answer Sets Davy Van Nieuwenborgh 1 and Stijn Heymans 2 and Dirk Vermeir 3…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
