Ekaterina Komendantskaya
发表
Ekaterina Komendantskaya,
Rob Stewart,
Kirsy Duncan,
2019,
ArXiv.
Jónathan Heras,
Ekaterina Komendantskaya,
2013,
ArXiv.
Jónathan Heras,
Ekaterina Komendantskaya,
2013,
ArXiv.
Ekaterina Komendantskaya,
E. Komendantskaya,
2007
.
Jónathan Heras,
Ekaterina Komendantskaya,
Moa Johansson,
2013,
ArXiv.
Ekaterina Komendantskaya,
John Power,
2017
.
Martin Schmidt,
Ekaterina Komendantskaya,
John Power,
2013,
J. Log. Comput..
Ekaterina Komendantskaya,
Peng Fu,
Peng Fu,
2016,
Formal Aspects of Computing.
Ekaterina Komendantskaya,
Anthony Karel Seda,
A. Seda,
2006,
MFCSIT.
Jónathan Heras,
Ekaterina Komendantskaya,
E. Komendantskaya,
2013,
Math. Comput. Sci..
Gudmund Grov,
Jónathan Heras,
Ekaterina Komendantskaya,
2012,
UITP.
Ekaterina Komendantskaya,
Yue Li,
2019,
ArXiv.
Ekaterina Komendantskaya,
Peng Fu,
Peng Fu,
2015,
ArXiv.
Ekaterina Komendantskaya,
Daniel Kienitz,
Wen Kokke,
2020,
PPDP.
Ekaterina Komendantskaya,
Yves Bertot,
Yves Bertot,
2008,
CMCS.
Ekaterina Komendantskaya,
Peng Fu,
Peng Fu,
2016,
ArXiv.
Martin Schmidt,
Jónathan Heras,
Ekaterina Komendantskaya,
2013,
WACT.
Patricia Johann,
Ekaterina Komendantskaya,
Vladimir Komendantskiy,
2015,
ICLP.
Tom Schrijvers,
Ekaterina Komendantskaya,
Peng Fu,
2016,
FLOPS.
Ekaterina Komendantskaya,
E. Komendantskaya,
2008,
NeSy.
Ekaterina Komendantskaya,
Robert Stewart,
Kirsty Duncan,
2020,
2020 International Joint Conference on Neural Networks (IJCNN).
Jónathan Heras,
Ekaterina Komendantskaya,
Jónathan Heras,
2014,
ArXiv.
Milad Niqui,
Ekaterina Komendantskaya,
Ana Bove,
2010,
PAR.
Jónathan Heras,
Ekaterina Komendantskaya,
2013,
MKM/Calculemus/DML.
Milad Niqui,
Ekaterina Komendantskaya,
Ana Bove,
2010
.
Guy McCusker,
Ekaterina Komendantskaya,
John Power,
2010,
AMAST.
Krysia Broda,
Artur S. d'Avila Garcez,
Ekaterina Komendantskaya,
2010,
ICANN.
Jónathan Heras,
Ekaterina Komendantskaya,
2014,
ACL2.
Martin Schmidt,
Patricia Johann,
Ekaterina Komendantskaya,
2016,
LOPSTR.
Ekaterina Komendantskaya,
Peng Fu,
Peng Fu,
2015,
LOPSTR.
Jónathan Heras,
Ekaterina Komendantskaya,
2017,
CICM.
Ekaterina Komendantskaya,
John Power,
J. Power,
2008,
JELIA.
Ekaterina Komendantskaya,
John Power,
2011,
CSL.
Ekaterina Komendantskaya,
John Power,
J. Power,
2016,
CMCS.
Ekaterina Komendantskaya,
Henning Basold,
Dmitry Rozplokhas,
2020,
Theory and Practice of Logic Programming.
Ronald P. A. Petrick,
Ekaterina Komendantskaya,
Alasdair Hill,
2020,
PPDP.
Davide Ancona,
Ekaterina Komendantskaya,
Luca Franceschini,
2017,
CoALP-Ty.
Milad Niqui,
Ekaterina Komendantskaya,
Ana Bove,
2010
.
Jónathan Heras,
Ekaterina Komendantskaya,
2013,
ArXiv.
Ekaterina Komendantskaya,
John Power,
2011,
CALCO.
Structural Resolution: a Framework for Coinductive Proof Search and Proof Construction in Horn Clause Logic
pdf
Patricia Johann,
Ekaterina Komendantskaya,
2015,
ArXiv.
Ekaterina Komendantskaya,
E. Komendantskaya,
2009,
IJCCI.
Krysia Broda,
Ekaterina Komendantskaya,
Artur S. d'Avila Garcez,
2010
.
Ekaterina Komendantskaya,
E. Komendantskaya,
Ekaterina Komendantskaya,
2007,
LATA.
Ekaterina Komendantskaya,
Yves Bertot,
2008,
TYPES.
Ekaterina Komendantskaya,
Yue Li,
Henning Basold,
2018,
ESOP.
Ronald P. A. Petrick,
Ekaterina Komendantskaya,
Joe B. Wells,
2018,
PADL.
Martin Schmidt,
Jónathan Heras,
Ekaterina Komendantskaya,
2014
.
Ekaterina Komendantskaya,
John Power,
J. Power,
2016,
J. Log. Algebraic Methods Program..
Ekaterina Komendantskaya,
Kacper Lichota,
E. Komendantskaya,
2012,
ICANN.
Yue Li,
Ekaterina Komendantskaya,
Yue Li,
2017,
Theory and Practice of Logic Programming.
Jónathan Heras,
Ekaterina Komendantskaya,
Moa Johansson,
2013,
LPAR.
Jónathan Heras,
Ekaterina Komendantskaya,
Jónathan Heras,
2014,
ArXiv.
Robert Atkey,
Ekaterina Komendantskaya,
Daniel Kienitz,
2020,
APLAS.
Ekaterina Komendantskaya,
John Power,
2017
.
Ekaterina Komendantskaya,
Kevin Hammond,
František Farka,
2016,
LOPSTR.
Ekaterina Komendantskaya,
E. Komendantskaya,
2014,
ILP.
Ekaterina Komendantskaya,
Qiming Zhang,
2011,
NeSy.
Ekaterina Komendantskaya,
Pascal Bacchus,
Robert Stewart,
2020,
ARC.
Ekaterina Komendantskaya,
E. Komendantskaya,
2009,
IJCCI.
Ekaterina Komendantskaya,
Kevin Hammond,
Frantisek Farka,
2018,
Theory Pract. Log. Program..
Ekaterina Komendantskaya,
Ekaterina Komendantskaya,
2007,
TABLEAUX.
Yue Li,
Ekaterina Komendantskaya,
Yue Li,
2018,
HCVS.
Ekaterina Komendantskaya,
František Farka,
2016,
ArXiv.
Ekaterina Komendantskaya,
E. Komendantskaya,
2011,
Log. J. IGPL.
Ekaterina Komendantskaya,
Anthony Karel Seda,
A. Seda,
2006
.
Ekaterina Komendantskaya,
Anthony Karel Seda,
Máire Lane,
2007,
Perspectives of Neural-Symbolic Integration.
Ekaterina Komendantskaya,
Daniel Kienitz,
Wen Kokke,
2021,
ArXiv.
Ekaterina Komendantskaya,
Pascal Bacchus,
Quentin Ducasse,
2021,
Electronics.
Ronald P. A. Petrick,
Ekaterina Komendantskaya,
Matthew L. Daggitt,
2021,
TyDe@ICFP.
Guy McCusker,
Ekaterina Komendantskaya,
John Power,
2010
.
Ekaterina Komendantskaya,
John Power,
Martin Schmidt,
2012
.
Ekaterina Komendantskaya,
Vladimir Komendantsky,
E. Komendantskaya,
2005
.
Ekaterina Komendantskaya,
Anthony Karel Seda,
Vladimir Komendantsky,
2005
.
Ekaterina Komendantskaya,
John Power,
2011
.