| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | C | conf |
ECSQARU
|
| 2018 | J | jnl |
Synth.
|
| 2017 | — | conf |
LORI
|
| 2015 | — | conf |
LORI
|
| 2014 | B | conf |
JELIA
|
| 2013 | Misc | conf |
LFCS
|
| 2011 | J | jnl |
J. Appl. Non Class. Logics
|
| 2009 | J | jnl |
J. Log. Comput.
|
| 2008 | Misc | conf |
FLAIRS
|
| 2008 | — | conf |
LOFT
|
| 2003 | J | jnl |
Log. J. IGPL
|
| 2001 | J | jnl |
J. Appl. Non Class. Logics
|
| 2000 | J | jnl |
CoRR
|
| 2000 | J | jnl |
CoRR
|
| 2000 | J | jnl |
CoRR
|
| 2000 | J | jnl |
CoRR
|
| 2000 | J | jnl |
CoRR
|
| 2000 | J | jnl |
CoRR
|
| 2000 | J | jnl |
CoRR
|
| 2000 | — | conf |
DEXA Workshop
|
| 2000 | J | jnl |
CoRR
|
| 1999 | J | jnl |
Ann. Pure Appl. Log.
|
| 1997 | — | conf |
ECSQARU-FAPR
|
| 1997 | J | jnl |
Stud Logica
|
| 1996 | B | conf |
JELIA
|
| 1994 | B | conf |
JELIA
|
| 1992 | — | conf |
Logic at Work
|