Number of items: 11.
Botoeva, Elena,
Kouvaros, Panagiotis,
Kronqvist, Jan,
Lomuscio, Alessio,
Misener, Ruth
(2020)
Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis.
In:
Proceedings of the AAAI Conference on Artificial Intelligence.
AAAI-20 Technical Tracks
, 34 (04).
pp. 3291-3299.
AAAI Press
ISBN 978-1-57735-835-0.
(doi:10.1609/aaai.v34i04.5729)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:90815)
|
|
Botoeva, Elena,
Calvanese, Diego,
Santarelli, Valerio,
Savo, Domenico Fabio,
Solimando, Alessandro,
Xiao, Guohui
(2016)
Beyond OWL 2 QL in OBDA: Rewritings and Approximations.
In:
AAAI'16: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence.
.
pp. 921-928.
AAAI Press
(doi:10.5555/3015812.3015950)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:91270)
|
|
Botoeva, Elena,
Kontchakov, Roman,
Ryzhikov, Vladislav,
Wolter, Frank,
Zakharyaschev, Michael
(2015)
When Are Description Logic Knowledge Bases Indistinguishable?
In:
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence ( IJCAI 2015).
.
pp. 4240-4246.
AAAI Press
ISBN 978-1-57735-738-4.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:91286)
|
|
Conroy, Ross,
Zeng, Yifeng,
Cavazza, Marc,
Chen, Yingke
(2015)
Learning Behaviors in Agents Systems with Interactive Dynamic Influence Diagrams.
In: Proceedings of the 24th International Conference on Artificial Intelligence, 25-31 July 2015, Buenos Aires, Argentina.
(Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
(KAR id:55618)
|
|
Botoeva, Elena,
Kontchakov, Roman,
Ryzhikov, Vladislav,
Wolter, Frank,
Zakharyaschev, Michael
(2014)
Query Inseparability for Description Logic Knowledge Bases.
In:
Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning.
.
pp. 238-247.
AAAI Press
ISBN 978-1-57735-657-8.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:91290)
|
|
Arenas, Marcelo,
Botoeva, Elena,
Calvanese, Diego,
Ryzhikov, Vladislav,
Sherkhonov, Evgeny
(2012)
Exchanging Description Logic Knowledge Bases.
In:
Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning.
.
pp. 563-567.
AAAI Press
ISBN 978-1-57735-560-1.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:91293)
|
|
Costa, Eduardo P. and Lorena, Ana C. and Carvalho, André C.P.L.F. and Freitas, Alex A.
(2007)
A review of performance evaluation measures for hierarchical classifiers.
In: Drummond, Colin and Elazmeh, W. and Japkowicz, N. and Macskassy, S.A., eds.
Proceedings of the 2007 AAAI Workshop Evaluation Methods for Machine Learning II.
AAAI Press, pp. 1-6.
ISBN 978-1-57735-332-4.
(KAR id:14562)
|
|
Williamson, Jon
(2001)
Bayesian Networks for Logical Reasoning.
In:
Proceedings of the AAAI Fall Symposium on using Uncertainty within Computation.
AAAI Press, pp. 136-143.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:7396)
|
|
This list was generated on Thu Jun 1 02:26:18 2023 BST.