| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2020 | — | conf |
EGOVIS
|
| 2013 | — | conf |
EGOVIS/EDEM
|
| 2006 | J | jnl |
Inf. Sci.
|
| 2002 | — | conf |
SETN
|
| 2002 | J | jnl |
IEEE Intell. Syst.
|
| 1998 | Misc | conf |
AIMSA
|
| 1996 | — | conf |
ESM
|
| 1994 | — | conf |
ICLP Workshop: Process-Based Parallel Logic Programming
|
| 1993 | Misc | conf |
WSC
|
| 1993 | B | conf |
ICLP
|
| 1989 | J | jnl |
Microprocess. Microsystems
|
| 1987 | — | conf |
TAPSOFT, Vol.2
|
| 1986 | — | conf |
SPLT
|
| 1984 | — | ch. |
Implementations of Prolog
|
| 1982 | — | conf |
International Working Conference on Model Realism
|
| 1981 | J | jnl |
Acta Cybern.
|
| 1977 | — | conf |
Logic and Data Bases
|