Magdalena Ortiz
发表
E. A. Repetto,
P. Thoutireddy,
J. Molinari,
2002
.
J. Marsden,
C. Kane,
Magdalena Ortiz,
2002
.
Magdalena Ortiz,
J. Mosler,
2007
.
J. Marsden,
S. Leyendecker,
Magdalena Ortiz,
2008
.
Diego Calvanese,
Thomas Eiter,
Magdalena Ortiz,
2008,
Journal of Automated Reasoning.
Magdalena Ortiz,
M. Arroyo,
2006
.
Diego Calvanese,
Magdalena Ortiz,
Mantas Simkus,
2013,
Description Logics.
G. Gottlob,
Magdalena Ortiz,
Thomas Eiter,
2008
.
Mauricio Osorio,
Magdalena Ortiz,
Magdalena Ortiz,
2004
.
Houman Owhadi,
Addis Kidane,
G. Ravichandran,
2012
.
L. Libkin,
Magdalena Ortiz,
R. Hull,
2018
.
L. Libkin,
Magdalena Ortiz,
R. Hull,
2018
.
Magdalena Ortiz,
A. Pandolfi,
2012
.
Bo Li,
Michael Ortiz,
Magdalena Ortiz,
2010
.
Michael Ortiz,
Christian J. Cyron,
Marino Arroyo,
2009
.
Magdalena Ortiz,
D. Briccola,
M. Cuni,
2020,
Experimental Mechanics.
Magdalena Ortiz,
B. Klusemann,
2015
.
Magdalena Ortiz,
Diego Calvanese,
Thomas Eiter,
2009
.
Magdalena Ortiz,
Diego Calvanese,
Thomas Eiter,
2006
.
Magdalena Ortiz,
2008
.
Magdalena Ortiz,
L. Stainier,
A. Cuitiño,
2001,
cond-mat/0103284.
Magdalena Ortiz,
H. Veith,
T. Kotek,
2020
.
Magdalena Ortiz,
H. Veith,
Nadia Labai,
2019
.
Magdalena Ortiz,
L. Stainier,
A. Cuitiño,
2001,
cond-mat/0103284.
S. Leyendecker,
Magdalena Ortiz,
G. Johnson,
2014
.
J. Marsden,
Magdalena Ortiz,
G. Venturini,
2011
.
Magdalena Ortiz,
L. Stainier,
A. Cuitiño,
2001,
cond-mat/0103284.
Magdalena Ortiz,
M. Simkus,
Shqiponja Ahmetaj,
2016
.
Magdalena Ortiz,
T. Mukerji,
Mingliang Liu,
2022,
Journal of the Mechanics and Physics of Solids.
Magdalena Ortiz,
H. Salahshoor,
2022,
Computer Methods in Applied Mechanics and Engineering.
Magdalena Ortiz,
K. Bhattacharya,
T. Blesgen,
2016,
Archive for Rational Mechanics and Analysis.
Magdalena Ortiz,
J. Molinari,
S. Wattel,
2022,
Mechanics of Materials.
Federica Di Stefano,
Magdalena Ortiz,
M. Simkus,
2022,
Description Logics.
Magdalena Ortiz,
J. Andrade,
K. Karapiperis,
2021
.
Magdalena Ortiz,
Zhiliang Zhang,
Senbo Xiao,
2021
.
Magdalena Ortiz,
Mantas Simkus,
Labinot Bajraktari,
2018,
IJCAI.
Magdalena Ortiz,
M. Manav,
2020,
Polymer.
Magdalena Ortiz,
Meghyn Bienvenu,
Magdalena Ortiz,
2015,
Reasoning Web.
Kevin G. Wang,
Xingsheng Sun,
Maria Pilar Ariza,
2017,
J. Comput. Phys..
Xingsheng Sun,
T. Kirchdoerfer,
Michael Ortiz,
2020
.
Magdalena Ortiz,
F. Cirak,
2022
.
Magdalena Ortiz,
C. Shih,
M. Symington,
1990
.
Ellen Kuhl,
Michael Ortiz,
Patrice Hauret,
2007,
International Journal for Numerical Methods in Engineering.
Sigrid Leyendecker,
Kerstin Weinberg,
Michael Ortiz,
2021,
Computer Methods in Applied Mechanics and Engineering.
Diego Calvanese,
Thomas Eiter,
Magdalena Ortiz,
2009,
IJCAI.
Magdalena Ortiz,
2006
.
Mauricio Osorio,
Magdalena Ortiz,
Magdalena Ortiz,
2007,
J. Log. Comput..
Magdalena Ortiz,
L. Stainier,
D. Hurtado,
2014
.
Jerrold E. Marsden,
Michael Ortiz,
J. Marsden,
2008
.
Michael Ortiz,
Agustín Bompadre,
Luigi E. Perotti,
2013
.
Magdalena Ortiz,
C. Bronkhorst,
B. L. Hansen,
2010
.
M. Ortiz,
Magdalena Ortiz,
S. Aubry,
2003,
Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.
Michael Ortiz,
J. Molinari,
Magdalena Ortiz,
2002
.
Magdalena Ortiz,
J. Rimoli,
2011
.
Michael Ortiz,
Marcial Gonzalez,
Bernd Schmidt,
2010
.
Konstantinos Karapiperis,
José E. Andrade,
Laurent Stainier,
2020,
Journal of the Mechanics and Physics of Solids.
S. Leyendecker,
Magdalena Ortiz,
K. Weinberg,
2022,
Forces in Mechanics.
Magdalena Ortiz,
Mantas Simkus,
Magdalena Ortiz,
2012,
Reasoning Web.
Guohui Xiao,
Magdalena Ortiz,
Mantas Šimkus,
2012
.
Thomas Eiter,
Carsten Lutz,
Magdalena Ortiz,
2009
.
Magdalena Ortiz,
Burigede Liu,
K. Bhattacharya,
2021,
2106.06074.
Magdalena Ortiz,
A. Yavari,
K. Bhattacharya,
2007
.
Trenton Kirchdoerfer,
Michael Ortiz,
Magdalena Ortiz,
2017,
1706.04061.
Thomas Eiter,
Carsten Lutz,
Magdalena Ortiz,
2003,
IJCAI.
Thomas Schwentick,
Eyke Hüllermeier,
Diego Calvanese,
2017,
SGMD.
Magdalena Ortiz,
Zhiliang Zhang,
Jianying He,
2020,
International Journal of Fracture.
Diego Calvanese,
Thomas Eiter,
Magdalena Ortiz,
2006,
AAAI.
Magdalena Ortiz,
Magdalena Ortiz,
2019,
GCAI.
Alejandro Mota,
Qingda Yang,
Michael Ortiz,
2005
.
Magdalena Ortiz,
H. Veith,
Nadia Labai,
2019,
LATA.
Magdalena Ortiz,
A. Pandolfi,
L. Stainier,
2023,
2305.05315.
Michael Ortiz,
Anna Pandolfi,
Livio Fedeli,
2017,
1703.02165.
Laurent Stainier,
Adrien Leygue,
Michael Ortiz,
2021,
Computer Methods in Applied Mechanics and Engineering.
Magdalena Ortiz,
M. P. Ariza,
2021,
Extreme Mechanics Letters.
Bo Li,
Michael Ortiz,
Mark A. Stalzer,
2014
.
Jörn Mosler,
Michael Ortiz,
Magdalena Ortiz,
2006,
International Journal for Numerical Methods in Engineering.
Diego Calvanese,
Thomas Eiter,
Magdalena Ortiz,
2014,
Inf. Comput..
Diego Calvanese,
Thomas Eiter,
Magdalena Ortiz,
2011
.
Diego Calvanese,
Magdalena Ortiz,
Mantas Simkus,
2012,
KR.
Thomas Schwentick,
Eyke Hüllermeier,
Diego Calvanese,
2017,
Dagstuhl Manifestos.
Diego Calvanese,
Magdalena Ortiz,
Mantas Simkus,
2014,
Description Logics.
Jörn Mosler,
Michael Ortiz,
Magdalena Ortiz,
2009
.
Guohui Xiao,
Magdalena Ortiz,
Labinot Bajraktari,
2019,
SEMWEB.
Thomas Eiter,
Carsten Lutz,
Magdalena Ortiz,
2009,
WoLLIC.
Magdalena Ortiz,
A. DeSimone,
G. Gioia,
2000,
Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.
Magdalena Ortiz,
H. Salahshoor,
2022,
Computer Methods in Applied Mechanics and Engineering.
Magdalena Ortiz,
T. Mukerji,
Mingliang Liu,
2023,
2305.06519.
Magdalena Ortiz,
Mantas Simkus,
Sanja Lukumbuzya,
2020,
AAAI.
Diego Calvanese,
Magdalena Ortiz,
Domenico Carbotta,
2011,
IJCAI.
Magdalena Ortiz,
Mantas Simkus,
Ognjen Savkovic,
2020,
WWW.
Magdalena Ortiz,
N. Piterman,
Claudia Cauli,
2022,
IJCAR.
Magdalena Ortiz,
Mantas Simkus,
Meghyn Bienvenu,
2015,
J. Artif. Intell. Res..
Thomas Eiter,
Guohui Xiao,
Magdalena Ortiz,
2012,
AAAI.
Magdalena Ortiz,
Zhiliang Zhang,
Senbo Xiao,
2023,
Journal of Materials Science & Technology.
Mantas Simkus,
Tomasz Gogacz,
Sanja Lukumbuzya,
2020,
KR.
Magdalena Ortiz,
Mantas Simkus,
Labinot Bajraktari,
2018,
AAAI.
Magdalena Ortiz,
Mantas Simkus,
Shqiponja Ahmetaj,
2016,
IJCAI.
Magdalena Ortiz,
Mantas Simkus,
Shqiponja Ahmetaj,
2018,
ICDT.
Magdalena Ortiz,
M. Simkus,
Labinot Bajraktari,
2017
.
Magdalena Ortiz,
Mantas Simkus,
Labinot Bajraktari,
2017,
Description Logics.
Magdalena Ortiz,
Labinot Bajraktari,
2017
.
Magdalena Ortiz,
Mantas Simkus,
Shqiponja Ahmetaj,
2016,
Description Logics.
Magdalena Ortiz,
Mantas Simkus,
Shqiponja Ahmetaj,
2016,
AMW.
Thomas Eiter,
Guohui Xiao,
Magdalena Ortiz,
2012,
Description Logics.
Ronald E. Miller,
M. Ortiz,
Magdalena Ortiz,
1997,
cond-mat/9710027.
Diego Calvanese,
Magdalena Ortiz,
Mantas Simkus,
2016,
ICDT.
Axel Polleres,
Magdalena Ortiz,
Mantas Simkus,
2021,
Description Logics.
M. Ortiz,
P. Thoutireddy,
Magdalena Ortiz,
2004
.
Michael Ortiz,
J. Garcia-Suarez,
D. Asimaki,
2021
.
Diego Calvanese,
Thomas Eiter,
Enrico Franconi,
2005,
ArXiv.
J. Marsden,
S. Leyendecker,
M. Ortiz,
2010
.
Magdalena Ortiz,
I. Romero,
B. Gonzalez-Ferreiro,
2016
.
Magdalena Ortiz,
Mantas Simkus,
Nadia Labai,
2020,
KR.
Magdalena Ortiz,
Nadia Labai,
Mantas vSimkus,
2020,
2006.02078.
Magdalena Ortiz,
S. Conti,
S. Müller,
2019,
Archive for Rational Mechanics and Analysis.
Christian G. Fermüller,
Magdalena Ortiz,
Matthias F. J. Hofer,
2017,
FQAS.
Magdalena Ortiz,
Shqiponja Ahmetaj,
Bianca Löhnert,
2022,
Proc. VLDB Endow..
Magdalena Ortiz,
Shqiponja Ahmetaj,
M. Šimkus,
2021,
SEMWEB.
L. Libkin,
Magdalena Ortiz,
R. Hull,
2018
.
Polynomial Rewritings from Expressive Description Logics with Closed Predicates to Variants of Datalog
pdf
Magdalena Ortiz,
Mantas Simkus,
Shqiponja Ahmetaj,
2019,
Artif. Intell..