| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2002 | B | conf |
Intelligent Tutoring Systems
|
| 2001 | J | jnl |
Inf. Sci.
|
| 2001 | J | jnl |
Grammars
|
| 2000 | — | conf |
RelMiCS
|
| 1998 | J | jnl |
Log. J. IGPL
|
| 1998 | — | conf |
RelMiCS
|
| 1998 | J | jnl |
Robotica
|
| 1997 | — | ch. |
Relational Methods in Computer Science
|
| 1997 | — | conf |
RelMiCS
|
| 1996 | J | jnl |
Comput. Linguistics
|
| 1995 | J | jnl |
Mach. Learn.
|
| 1995 | — | conf |
WOCFAI
|
| 1992 | J | jnl |
J. Philos. Log.
|
| 1988 | J | jnl |
Stud Logica
|