 | 2004 |
|---|
| 7 |       | Peter Kullmann,
Sandra Sandri:
An annotated logic theorem prover for an extended possibilistic logic.
Fuzzy Sets and Systems 144(1): 67-91 (2004) |
| 2002 |
|---|
| 6 |  | Zoltán Ádám Mann,
Jacques Calmet,
Peter Kullmann:
Testing Access to External Information Sources in a Mediator Environment.
TestCom 2002: 111- |
| 5 | | Jacques Calmet,
Peter Kullmann,
Morio Taneda:
Composite Distributive Lattices as Annotation Domains for Mediators.
Ann. Math. Artif. Intell. 36(3): 263-277 (2002) |
| 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 |
