| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2016 | J | jnl |
CoRR
|
| 2011 | J | jnl |
CoRR
|
| 2011 | J | jnl |
CoRR
|
| 2010 | J | jnl |
J. Exp. Theor. Artif. Intell.
|
| 2006 | J | jnl |
J. Satisf. Boolean Model. Comput.
|
| 2005 | J | jnl |
J. Exp. Theor. Artif. Intell.
|
| 2003 | J | jnl |
J. Exp. Theor. Artif. Intell.
|
| 2000 | J | jnl |
J. Exp. Theor. Artif. Intell.
|
| 1999 | J | jnl |
J. Artif. Intell. Res.
|
| 1997 | J | jnl |
J. Exp. Theor. Artif. Intell.
|
| 1997 | J | jnl |
J. Appl. Non Class. Logics
|
| 1995 | J | jnl |
J. Exp. Theor. Artif. Intell.
|
| 1994 | J | jnl |
J. Exp. Theor. Artif. Intell.
|
| 1994 | J | jnl |
J. Autom. Reason.
|
| 1993 | J | jnl |
J. Log. Program.
|
| 1992 | J | jnl |
J. Autom. Reason.
|
| 1992 | J | jnl |
Inf. Process. Lett.
|
| 1991 | J | jnl |
Data Knowl. Eng.
|
| 1990 | J | jnl |
ACM Trans. Database Syst.
|
| 1989 | J | jnl |
Int. J. Intell. Syst.
|
| 1989 | A* | conf |
KR
|
| 1989 | A* | conf |
LICS
|
| 1988 | A* | conf |
VLDB
|
| 1988 | J | jnl |
IEEE Trans. Software Eng.
|
| 1987 | A* | conf |
ICDE
|
| 1987 | J | jnl |
Pattern Recognit. Lett.
|
| 1986 | J | jnl |
ACM Trans. Database Syst.
|
| 1986 | — | conf |
XP7.52 Workshop on Database Theory
|
| 1986 | J | jnl |
Inf. Sci.
|
| 1986 | A | conf |
ICDT
|
| 1986 | J | jnl |
Comput. Lang.
|
| 1985 | A | conf |
ICDCS
|
| 1985 | A* | conf |
IJCAI
|
| 1985 | J | jnl |
Pattern Recognit. Lett.
|
| 1983 | J | jnl |
J. Algorithms
|
| 1982 | A | conf |
ECAI
|
| 1982 | J | jnl |
SIGART Newsl.
|
| 1982 | B | conf |
COLING
|
| 1980 | J | jnl |
ACM Trans. Database Syst.
|
| 1978 | — | conf |
JCDKB
|
| 1976 | J | jnl |
Inf. Process. Lett.
|
| 1976 | A* | conf |
VLDB
|