| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2010 | J | jnl |
Comput. J.
|
| 2009 | — | conf |
ICEIS (2)
|
| 2007 | — | conf |
World Congress on Engineering
|
| 2007 | — | conf |
ICEIS (3)
|
| 2006 | — | conf |
TEAA
|
| 2005 | — | conf |
SARA
|
| 2005 | J | jnl |
Comput. Syst. Sci. Eng.
|
| 2004 | — | conf |
ICEIS (3)
|
| 2004 | J | jnl |
IEICE Trans. Inf. Syst.
|
| 2004 | — | conf |
MATES
|
| 2003 | C | conf |
CAINE
|
| 2000 | A | conf |
ECAI
|
| 1994 | — | book |
Handbook of Logic in Artificial Intelligence and Logic Programming, Volume2, Deduction Methodologies
Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2
|
| 1994 | C | conf |
LOPSTR
|
| 1993 | — | conf |
AADEBUG
|
| 1992 | — | conf |
Advanced Topics in Artificial Intelligence
|
| 1991 | — | conf |
ICLP Workshop on Construction of Logic Programs
|
| 1988 | A | conf |
ECAI
|
| 1987 | J | jnl |
J. Log. Program.
|
| 1987 | J | jnl |
Microprocess. Microsystems
|
| 1986 | — | book |
Introduction to logic programming.
|
| 1981 | J | jnl |
J. ACM
|
| 1978 | — | — |
|
| 1978 | B | conf |
MFCS
|
| 1978 | — | conf |
AISB/GI (ECAI)
|