Carlos Areces

发表

Stéphane Demri, Carlos Areces, 2009, Electron. Notes Theor. Comput. Sci..
Pablo F. Castro, Carlos Areces, Valentin Cassano, 2020, DaLí.
Carlos Areces, Raul Fervari, C. Areces, 2016, JELIA.
Maarten de Rijke, Hans de Nivelle, Carlos Areces, 1999, CADE.
Santiago Figueira, Diego Figueira, Carlos Areces, 2015, J. Artif. Intell. Res..
Alexander Koller, Kristina Striegnitz, Carlos Areces, 2008, INLG.
Raffaella Bernardi, Carlos Areces, R. Bernardi, 2004, J. Log. Lang. Inf..
Santiago Figueira, Diego Figueira, Carlos Areces, 2008, WoLLIC.
Patrick Blackburn, Carlos Areces, P. Blackburn, 2001, J. Log. Comput..
Alexandre Denis, Carlos Areces, Guillaume Hoffmann, 2010, WoLLIC.
Balder ten Cate, Carlos Areces, B. T. Cate, 2007, Handbook of Modal Logic.
Jörg Hoffmann, Martín Ariel Domínguez, Carlos Areces, 2014, ICAPS.
Santiago Figueira, Daniel Gorín, Carlos Areces, 2011, LACL.
Carlos Areces, Raul Fervari, Guillaume Hoffmann, 2015, Log. J. IGPL.
Santiago Figueira, Carlos Areces, Facundo Carreiro, 2011, WoLLIC.
Carlos Areces, Miguel Campercholi, Pablo Ventura, 2018, WoLLIC.
Santiago Figueira, Diego Figueira, Carlos Areces, 2014, ICDT.
M. de Rijke, Maarten de Rijke, Marco Aiello, 1999, Description Logics.
Maarten Marx, Patrick Blackburn, Carlos Areces, 2001, Journal of Symbolic Logic.
Carlos Areces, Ezequiel Orbe, C. Areces, 2013, TABLEAUX.
Santiago Figueira, Carlos Areces, Sergio Mera, 2009, Ann. Pure Appl. Log..
Carlos Areces, Raul Fervari, Guillaume Hoffmann, 2017, DALI@TABLEAUX.
Carlos Areces, Raul Fervari, 2020, ArXiv.
Patrick Blackburn, Carlos Areces, P. Blackburn, 2005, We Will Show Them!.
Luciana Benotti, Carlos Areces, Romina Altamirano, 2012, COLING.
Carlos Areces, M. C. Stol, M. de Rijke, 2000 .
Santiago Figueira, Daniel Gorín, Carlos Areces, 2010, ArXiv.
Dick de Jongh, Carlos Areces, Eva Hoogland, 1998, Advances in Modal Logic.
Carlos Areces, C. Areces, 2006, J. Appl. Log..
Carlos Areces, Michael Marx, 1997 .
Carlos Areces, Raul Fervari, Nahuel Seiler, 2017, EPIA.
François Schwarzentruber, Hans van Ditmarsch, Carlos Areces, 2017, Inf. Comput..
Carlos Areces, Gabriel G. Infante López, Ezequiel Orbe, 2012, LPAR.
Balder ten Cate, Patrick Blackburn, Thomas Bolander, 2006 .
Carlos Areces, Raul Fervari, Guillaume Hoffmann, 2018, J. Log. Comput..
Carlos Areces, Raul Fervari, Guillaume Hoffmann, 2012, WoLLIC.
M. de Rijke, Maarten de Rijke, Carlos Areces, 2000 .
Pedro Sánchez Terraf, Carlos Areces, Miguel Campercholi, 2015, J. Log. Comput..
Carlos Areces, Gabriel Infante-Lopez, G. Lopez, 2002 .
M. de Rijke, Christof Monz, J. Gerbrandy, 1999 .
Buenos Aires, Carlos Areces, Tv Amsterdam, 1999 .
Santiago Figueira, Ruy J. G. B. de Queiroz, Carlos Areces, 2013 .
Verónica Becher, Carlos Areces, 1999 .
Maarten de Rijke, Carlos Areces, Gabriel G. Infante López, 2002, Advances in Modal Logic.
M. de Rijke, Carlos Areces, 1998 .
Dmitry Sustretov, Patrick Blackburn, Carlos Areces, 2007, M4M.
Carlos Areces, Becher, 2000 .
Ian Horrocks, Ulrike Sattler, Carsten Lutz, 2003, IJCAI.
Pablo F. Castro, Carlos Areces, Valentin Cassano, 2019, JELIA.
M. de Rijke, Maarten de Rijke, Rafael Accorsi, 2000, FIW.
Daniel Gorín, Carlos Areces, C. Areces, 2010, Journal of Automated Reasoning.
Maarten de Rijke, Carlos Areces, Wiet Bouma, 1999, Description Logics.
Maarten Marx, Patrick Blackburn, Carlos Areces, 1999, CSL.
Stéphane Demri, Hans de Nivelle, Patrick Blackburn, 2003 .
Pascal Fontaine, Carlos Areces, P. Fontaine, 2011, FroCoS.
Santiago Figueira, Diego Figueira, Carlos Areces, 2011, The Review of Symbolic Logic.
Maarten Marx, Patrick Blackburn, Carlos Areces, 2003, Description Logics.
Robert Goldblatt, Carlos Areces, 2007 .
Patrick Blackburn, Antonia Huertas, Carlos Areces, 2014, J. Philos. Log..
François Schwarzentruber, Hans van Ditmarsch, Carlos Areces, 2014, WoLLIC.
Luciana Benotti, Paula Estrella, Carlos Areces, 2010, NAACL.
Rajeev Goré, Enrico Franconi, Carlos Areces, 2000, Log. J. IGPL.
Maarten Marx, Patrick Blackburn, Carlos Areces, 2003 .
Santiago Figueira, Carlos Areces, Facundo Carreiro, 2014, Theor. Comput. Sci..
Patrick Blackburn, Carlos Areces, 2010, J. Appl. Log..
Carlos Areces, Guillaume Hoffmann, Ezequiel Orbe, 2013, LSFA.
Claire Gardent, Carlos Areces, Paul Bedaride, 2006 .
M. de Rijke, Maarten de Rijke, Carlos Areces, 2000, Advances in Modal Logic.
Maarten de Rijke, Rosella Gennari, Carlos Areces, 2000, ECAI.
Pablo F. Castro, Carlos Areces, Valentin Cassano, 2019, TARK.
Carlos Areces, Raul Fervari, Guillaume Hoffmann, 2016, GandALF.
M. de Rijke, Maarten de Rijke, Carlos Areces, 1998, Description Logics.
Maarten de Rijke, Carlos Areces, Wiet Bouma, 1999, MASCOTS '99. Proceedings of the Seventh International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems.
Diego Figueira, Carlos Areces, C. Areces, 2009, IJCAI.
Michael Moortgat, Raffaella Bernardi, Carlos Areces, 2001, Electron. Notes Theor. Comput. Sci..
Patrick Blackburn, Carlos Areces, 2010 .
M. de Rijke, Carlos Areces, R. Accorsi, 1999 .
Maarten Marx, Patrick Blackburn, Carlos Areces, 2003, Ann. Pure Appl. Log..
Carlos Areces, Miguel Campercholi, Pablo Ventura, 2019, ArXiv.
Daniel Gorín, Carlos Areces, C. Areces, 2005, LPAR.
Maarten Marx, Patrick Blackburn, Carlos Areces, 2001 .
Carsten Lutz, Carlos Areces, C. Lutz, 2002 .
Dan Hirsch, Carlos Areces, 1995 .
Carlos Areces, Raul Fervari, Guillaume Hoffmann, 2014, Log. J. IGPL.
Maarten de Rijke, Hans de Nivelle, Carlos Areces, 2001, J. Log. Comput..
Verónica Becher, Carlos Areces, C. Areces, 2001 .
Maarten Marx, Carlos Areces, maarten marx, 1997, Notre Dame J. Formal Log..
Daniel Gorín, Diego Figueira, Carlos Areces, 2009, TABLEAUX.
M. de Rijke, Carlos Areces, C. Areces, 2000 .
Álvaro Torralba, Martín Ariel Domínguez, Daniel Gnad, 2019, AAAI.
Carlos Areces, Ezequiel Orbe, 2015, Theor. Comput. Sci..
Carlos Areces, Raul Fervari, Guillaume Hoffmann, 2013, FroCos.
Carlos Areces, Guillaume Hoffmann, C. Areces, 2007, M4M.
Carlos Areces, Ezequiel Orbe, 2015, Bull. Symb. Log..
Daniel Yankelevich, Miguel Felder, Dan Hirsch, 1998, Proceedings Ninth International Workshop on Software Specification and Design.
Daniel Gorín, Alejandra Lorenzo, Carlos Areces, 2009, Description Logics.
Santiago Figueira, Carlos Areces, Sergio Mera, 2012, Ann. Pure Appl. Log..
Dan Hirsch, Carlos Areces, M. Felder, 1997, FME 1997.
Luciana Benotti, Patrick Blackburn, Sébastien Hinderer, 2006 .
Maarten Marx, Patrick Blackburn, Carlos Areces, 2000, Log. J. IGPL.
Carlos Areces, Juan Heguiabehere, 2002, CADE.
Pablo F. Castro, Carlos Areces, Valentin Cassano, 2019, CADE.
Stephan Merz, Pascal Fontaine, Carlos Areces, 2015, Software, Services, and Systems.
Carlos Areces, J. M. Heguiabehere, 2003 .
Pablo F. Castro, Carlos Areces, Valentin Cassano, 2018, LPAR.
Carlos Areces, J. M. Heguiabehere, 2001 .
Daniel Gorín, Carlos Areces, C. Areces, 2011, M4M/LAMAS.
Carlos Areces, Raul Fervari, Andr'es R. Saravia, 2021, TARK.
François Schwarzentruber, Bastien Maubert, Hans van Ditmarsch, 2021, J. Appl. Non Class. Logics.
Carlos Areces, Raul Fervari, 2021, Logical Methods in Computer Science.
Patrick Blackburn, Antonia Huertas, Carlos Areces, 2012 .