| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2019 | J | jnl |
CoRR
|
| 2016 | J | jnl |
Minds Mach.
|
| 2014 | J | jnl |
Comput. Educ.
|
| 2014 | — | ch. |
New Directions in the Philosophy of Science
|
| 2011 | J | jnl |
Neural Comput.
|
| 2011 | J | jnl |
Synth.
|
| 2011 | J | jnl |
IEEE Trans. Neural Networks
|
| 2009 | — | conf |
ISBI
|
| 2009 | J | jnl |
Neural Comput.
|
| 2008 | J | jnl |
NeuroImage
|
| 2007 | — | conf |
AAAI Spring Symposium: Quantum Interaction
|
| 2007 | J | jnl |
IEEE Trans. Biomed. Eng.
|
| 2007 | J | jnl |
Synth.
|
| 2007 | J | jnl |
Synth.
|
| 2006 | J | jnl |
Neurocomputing
|
| 2006 | — | conf |
ISNN (2)
|
| 2005 | — | conf |
We Will Show Them! (2)
|
| 2005 | J | jnl |
Soc. Choice Welf.
|
| 2004 | J | jnl |
Neurocomputing
|
| 2004 | J | jnl |
J. Appl. Log.
|
| 2002 | — | book |
Representation and invariance of scientific structures.
|
| 2000 | J | jnl |
Synth.
|
| 1999 | J | jnl |
Synth.
|
| 1998 | J | jnl |
Robotica
|
| 1998 | — | ch. |
Computer-Human Interaction in Symbolic Computation
|
| 1996 | J | jnl |
Comput. Linguistics
|
| 1995 | J | jnl |
Mach. Learn.
|
| 1995 | J | jnl |
J. Symb. Log.
|
| 1995 | — | conf |
WOCFAI
|
| 1989 | J | jnl |
J. Symb. Comput.
|
| 1989 | — | conf |
Artificial Intelligence in Higher Education
|
| 1988 | — | conf |
Conference on Computer Logic
|
| 1988 | J | jnl |
J. Symb. Log.
|
| 1987 | J | jnl |
Int. J. Man Mach. Stud.
|
| 1985 | J | jnl |
Int. J. Man Mach. Stud.
|
| 1984 | A | conf |
CADE
|
| 1979 | J | jnl |
Adv. Comput.
|
| 1978 | — | conf |
ACM Annual Conference (2)
|
| 1976 | J | jnl |
J. Philos. Log.
|
| 1974 | — | conf |
AFIPS National Computer Conference
|
| 1968 | — | conf |
IFIP Congress (2)
|
| 1958 | J | jnl |
J. Symb. Log.
|
| 1955 | J | jnl |
J. Symb. Log.
|