| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | J | jnl |
SN Comput. Sci.
|
| 2024 | — | conf |
CILC
|
| 2024 | — | conf |
Ital-IA
|
| 2023 | J | jnl |
Intelligenza Artificiale
|
| 2023 | — | conf |
CENTERIS/ProjMAN/HCist
|
| 2023 | — | conf |
Ital-IA
|
| 2022 | — | conf |
WOA
|
| 2020 | — | conf |
XAILA@JURIX
|
| 2013 | — | conf |
SeGAH
|
| 2012 | — | conf |
CGAMES
|
| 2012 | — | conf |
CIG
|
| 2011 | — | conf |
RuleML Europe
|
| 2011 | J | jnl |
Ann. Math. Artif. Intell.
|
| 2011 | — | ch. |
Intelligent Computer Graphics
|
| 2010 | — | conf |
RCRA@CPAIOR
|
| 2010 | — | conf |
CIG
|
| 2010 | C | conf |
MIG
|
| 2010 | — | conf |
RCRA@CPAIOR
|
| 2009 | C | conf |
PADL
|
| 2007 | — | conf |
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning
|
| 2007 | J | jnl |
J. Appl. Log.
|
| 2006 | C | conf |
ISMIS
|
| 2006 | — | conf |
WOA
|
| 2006 | — | conf |
ICINCO-ICSO
|
| 2005 | C | conf |
ICINCO
|
| 2005 | Misc | conf |
EPIA
|
| 2004 | J | jnl |
J. Appl. Log.
|
| 2004 | — | conf |
CLIMA
|
| 2003 | C | conf |
PADL
|
| 2003 | Misc | conf |
EPIA
|
| 2002 | B | conf |
JELIA
|
| 2002 | — | conf |
CLIMA
|
| 2002 | C | conf |
FQAS
|
| 2001 | Misc | conf |
EPIA
|
| 2001 | Misc | conf |
EPIA
|
| 2001 | — | conf |
ESAW
|
| 2001 | — | conf |
INAP (LNCS Volume)
|
| 2001 | — | conf |
INAP
|
| 2000 | J | jnl |
J. Log. Comput.
|
| 1998 | B | conf |
JELIA
|
| 1996 | C | conf |
FQAS
|
| 1995 | — | conf |
ILPS
|
| 1995 | B | conf |
ICLP
|
| 1994 | C | conf |
META
|
| 1994 | B | conf |
JELIA
|
| 1994 | — | conf |
ICLP Workshop: Proof-Theoretical Extensions on Logic Programming
|
| 1994 | B | conf |
ICLP
|
| 1994 | — | conf |
ILPS
|
| 1992 | — | conf |
META
|