Antonio Yuste-Ginel

19 papers A* 2B 3C 1Journal 6Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
Arch. Formal Proofs
Alfredo Burrieza, Fernando Soler-Toscano, Antonio Yuste-Ginel
2025 J jnl
CoRR
Alfredo Burrieza, Fernando Soler-Toscano, Antonio Yuste-Ginel
2025 conf
JIAF-JFPDA
Sylvie Doutre, Marie-Christine Lagasquie-Schiex, Jean-Guy Mailly, Antonio Yuste-Ginel
2025 J jnl
CoRR
Carlo Proietti, Antonio Yuste-Ginel
2025 conf
CLAR
Sylvie Doutre, Marie-Christine Lagasquie-Schiex, Jean-Guy Mailly, Antonio Yuste-Ginel
2024 conf
JIAF-JFPDA
Marie-Christine Lagasquie-Schiex, Jean-Guy Mailly, Antonio Yuste-Ginel
2024 conf
FoIKS
Marie-Christine Lagasquie-Schiex, Jean-Guy Mailly, Antonio Yuste-Ginel
2023 B conf
TARK
Carlo Proietti, Fernando R. Velázquez-Quesada, Antonio Yuste-Ginel
2023 conf
AI³@AI*IA
Antonio Yuste-Ginel, Carlo Proietti
2023 J jnl
CoRR
Antonio Yuste-Ginel, Andreas Herzig
2023 J jnl
J. Log. Comput.
Antonio Yuste-Ginel, Andreas Herzig
2022 B conf
AiML
Inmaculada Perez de Guzmán, Antonio Yuste-Ginel, Alfredo Burrieza
2021 conf
CLAR
Andreas Herzig, Antonio Yuste-Ginel
2021 B conf
TARK
Alfredo Burrieza, Antonio Yuste-Ginel
2021 J jnl
Log. J. IGPL
Alfredo Burrieza, Antonio Yuste-Ginel
2021 A* conf
IJCAI
Andreas Herzig, Antonio Yuste-Ginel
2021 A* conf
KR
Andreas Herzig, Antonio Yuste-Ginel
2020 C conf
COMMA
Alfredo Burrieza, Antonio Yuste-Ginel
2019 conf
DaLí
Carlo Proietti, Antonio Yuste-Ginel