| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 1996 | J | jnl |
J. Log. Comput.
|
| 1996 | J | jnl |
Artif. Intell.
|
| 1995 | J | jnl |
Artif. Intell.
|
| 1994 | B | conf |
TARK
|
| 1994 | J | jnl |
Artif. Intell.
|
| 1993 | B | conf |
LPNMR
|
| 1993 | — | conf |
Kurt Gödel Colloquium
|
| 1993 | A* | conf |
AAAI
|
| 1992 | A* | conf |
KR
|
| 1992 | A* | conf |
LICS
|
| 1992 | B | conf |
TARK
|
| 1992 | J | jnl |
Fundam. Informaticae
|
| 1991 | B | conf |
LPNMR
|
| 1990 | — | conf |
Nonmonotonic and Inductive Logic
|