| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2021 | J | jnl |
Künstliche Intell.
|
| 2003 | — | conf |
DRR
|
| 1997 | A | conf |
ICDAR
|
| 1992 | J | jnl |
Graph Based Extension of the LILOG Inference Engine
IWBS Report
|
| 1991 | — | conf |
Text Understanding in LILOG
|
| 1989 | — | conf |
Natural Language and Logic
|
| 1989 | — | ed. |
|
| 1989 | — | conf |
Sorts and Types in Artificial Intelligence
|
| 1988 | A | conf |
CADE
|
| 1988 | J | jnl |
Resolution with Feature Unification
LILOG-Report
|
| 1987 | J | jnl |
Inform. Spektrum
|
| 1987 | — | conf |
DAGM-Symposium
|
| 1987 | B | conf |
CSL
|
| 1986 | — | conf |
GWAI
|
| 1986 | — | — |
|
| 1985 | — | conf |
GWAI
|
| 1983 | A* | conf |
IJCAI
|
| 1981 | A* | conf |
IJCAI
|