| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2023 | J | jnl |
Log. J. IGPL
|
| 2021 | J | jnl |
Logica Universalis
|
| 2021 | J | jnl |
Computación y Sistemas
|
| 2019 | — | conf |
LANMR (Selected Papers)
|
| 2019 | — | conf |
LANMR
|
| 2018 | — | conf |
LANMR
|
| 2016 | — | conf |
LANMR (Selected Papers)
|
| 2016 | — | conf |
LANMR
|
| 2016 | J | jnl |
J. Appl. Log.
|
| 2009 | — | conf |
MICAI
|
| 2008 | — | conf |
RCRA
|
| 2008 | — | conf |
LA-NMR
|
| 2007 | A | conf |
AAMAS
|
| 2007 | — | conf |
MICAI
|
| 2006 | — | conf |
LoLaCOM
|
| 2006 | J | jnl |
J. Log. Comput.
|
| 2005 | J | jnl |
J. Log. Comput.
|
| 2004 | — | conf |
MICAI
|
| 2004 | — | conf |
IBERAMIA
|