 | 2004 |
|---|
| 8 |       | Peter Kullmann,
Sandra Sandri:
An annotated logic theorem prover for an extended possibilistic logic.
Fuzzy Sets and Systems 144(1): 67-91 (2004) |
| 2002 |
|---|
| 7 |  | Zoltán Ádám Mann,
Jacques Calmet,
Peter Kullmann:
Testing Access to External Information Sources in a Mediator Environment.
TestCom 2002: 111- |
| 6 | | Jacques Calmet,
Peter Kullmann,
Morio Taneda:
Composite Distributive Lattices as Annotation Domains for Mediators.
Ann. Math. Artif. Intell. 36(3): 263-277 (2002) |
| 2001 |
|---|
| 5 | | Peter Kullmann:
Wissensrepräsentation und Anfragebearbeitung in einer logikbasierten Mediatorumgebung.
Karlsruhe Institute of Technology 2001 |
| 2000 |
|---|
| 4 | | Jacques Calmet,
Peter Kullmann,
Morio Taneda:
Composite Distributive Lattices as Annotation Domains for Mediators.
AISC 2000: 65-77 |
| 1999 |
|---|
| 3 | | Jacques Calmet,
Peter Kullmann:
A Data Structure for Subsumption-Based Tabling in Top-Drown Resolution Engines for Data-Intensive Logic Applications.
ISMIS 1999: 475-483 |
| 2 | | Jacques Calmet,
Peter Kullmann:
Meta Web Search with KOMET.
Intelligent Information Integration 1999 |
| 1997 |
|---|
| 1 | | Jacques Calmet,
Sebastian Jekutsch,
Peter Kullmann,
Joachim Schü:
KOMET - A System for the Integration of Heterogeneous Information Sources.
ISMIS 1997: 318-327 |
Data released under the ODC-BY 1.0 license — See also our legal information page