| | 2005 | Baumgartner, Peter
[Furbach, Ulrich]
[Gross-Hardt, Margret]
[Kleemann, Thomas] | [Seipel, Dietmar]
[Hanus, Michael]
[Geske, Ulrich]
[Bartenstein, Oskar] | | Optimizing the Evaluation of XPath Using Description Logics
In: Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, 1-15 | Proceedings Article | |
| | 1996 | Bockmayr, Alexander
Kasper, Thomas | [Geske, Ulrich]
[Simonis, Helmut] | | Pseudo-Boolean and Finite Domain Constraint Programming: A Case Study
In: Deklarative Constraint Programmierung, 29-41 | Proceedings Article | |
1 |
| Giunchiglia, Enrico (ed.) |
| |
1 |
| Giunchiglia, Fausto (ed.) |
| |
1 |
| Gmytrasiewicz, Piotr (ed.) |
| |