| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2022 | — | conf |
AAAI Spring Symposium: MAKE
|
| 2018 | J | jnl |
Sensors
|
| 2018 | J | jnl |
CoRR
|
| 2017 | — | conf |
MFI
|
| 2017 | — | conf |
ICDL-EPIROB
|
| 2016 | — | conf |
AAAI Fall Symposia
|
| 2014 | — | conf |
AAAI Spring Symposia
|
| 2014 | — | conf |
BICA
|
| 2013 | — | ch. |
Paraconsistency: Logic and Applications
|
| 2012 | — | conf |
ICDL-EPIROB
|
| 2012 | — | conf |
ICDL-EPIROB
|
| 2011 | — | conf |
ICAART (1)
|
| 2011 | — | conf |
AAAI Fall Symposium: Advances in Cognitive Systems
|
| 2010 | — | conf |
Metacognition for Robust Social Systems
|
| 2010 | J | jnl |
Synth.
|
| 2010 | — | conf |
AAAI Fall Symposium: Commonsense Knowledge
|
| 2008 | J | jnl |
AI Mag.
|
| 2008 | J | jnl |
Artif. Intell.
|
| 2008 | A* | conf |
AAAI
|
| 2008 | — | conf |
AAAI Spring Symposium: Semantic Scientific Knowledge Integration
|
| 2007 | — | conf |
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning
|
| 2006 | J | jnl |
Artif. Intell.
|
| 2006 | J | jnl |
J. Exp. Theor. Artif. Intell.
|
| 2005 | J | jnl |
Artif. Intell.
|
| 2005 | — | conf |
We Will Show Them! (2)
|
| 2005 | J | jnl |
Artif. Intell.
|
| 2005 | J | jnl |
Artif. Intell.
|
| 2005 | J | jnl |
J. Log. Comput.
|
| 2005 | — | conf |
AAAI Spring Symposium: Metacognition in Computation
|
| 2004 | A* | conf |
AAAI
|
| 2003 | A* | conf |
IJCAI
|
| 2002 | — | conf |
AAAI/IAAI
|
| 2002 | — | conf |
WRAC
|
| 2001 | J | jnl |
Artif. Intell.
|
| 2001 | J | jnl |
Artif. Intell.
|
| 2000 | J | jnl |
Auton. Agents Multi Agent Syst.
|
| 1999 | J | jnl |
Electron. Trans. Artif. Intell.
|
| 1999 | J | jnl |
Artif. Intell.
|
| 1998 | J | jnl |
Int. J. Hum. Comput. Stud.
|
| 1997 | J | jnl |
J. Log. Comput.
|
| 1997 | J | jnl |
Comput. Intell.
|
| 1997 | J | jnl |
J. Appl. Non Class. Logics
|
| 1996 | J | jnl |
J. Appl. Non Class. Logics
|
| 1995 | J | jnl |
Ann. Math. Artif. Intell.
|
| 1995 | J | jnl |
Fundam. Informaticae
|
| 1994 | — | ch. |
Handbook of Logic in Artificial Intelligence and Logic Programming (2)
|
| 1993 | J | jnl |
Fundam. Informaticae
|
| 1992 | J | jnl |
Artif. Intell.
|
| 1992 | J | jnl |
Minds Mach.
|
| 1991 | C | conf |
ISMIS
|
| 1991 | J | jnl |
Fundam. Informaticae
|
| 1991 | J | jnl |
Int. J. Intell. Syst.
|
| 1991 | C | conf |
ISMIS
|
| 1990 | A* | conf |
AAAI
|
| 1990 | J | jnl |
J. Exp. Theor. Artif. Intell.
|
| 1989 | J | jnl |
Comput. Intell.
|
| 1989 | J | jnl |
Artif. Intell.
|
| 1988 | J | jnl |
Artif. Intell.
|
| 1988 | J | jnl |
Comput. Intell.
|
| 1988 | J | jnl |
Artif. Intell.
|
| 1988 | J | jnl |
Int. J. Approx. Reason.
|
| 1987 | J | jnl |
Artif. Intell.
|
| 1987 | C | conf |
ISMIS
|
| 1987 | A* | conf |
IJCAI
|
| 1987 | A* | conf |
IJCAI
|
| 1987 | J | jnl |
J. Autom. Reason.
|
| 1986 | A* | conf |
AAAI
|
| 1986 | C | conf |
ISMIS
|
| 1986 | J | jnl |
Artif. Intell.
|
| 1986 | J | jnl |
Comput. Intell.
|
| 1986 | A* | conf |
AAAI
|
| 1985 | J | jnl |
J. Log. Program.
|
| 1985 | J | jnl |
Artif. Intell.
|
| 1984 | A | conf |
CADE
|
| 1984 | — | conf |
NMR
|
| 1984 | — | conf |
NMR
|
| 1984 | — | conf |
NMR
|
| 1981 | J | jnl |
Cogn. Sci.
|
| 1976 | J | jnl |
Comput. J.
|
| 1972 | J | jnl |
J. Symb. Log.
|