Search

Home
About
News
Partners & People
Research
Gallery
Contact
THRISS

Iveta Balintová

Latest

Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver

© 2022–2024 Comenius University Bratislava, Universität Hamburg, Istituto Italiano di Tecnologia. All rights reserved.

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite