EasyChair Smart SlideDocs/Log in
Author: Martin Homola

This page shows all presentations of this author published in EasyChair Smart Slide.

Hybrid MHS-MXP ABox Abduction Solver: First Emprical Results

Hybrid MHS-MXP ABox Abduction Solver: First Emprical Results

Martin Homola, Júlia Pukancová, Iveta Balintová and Janka Boborová

An API for DL Abduction Solvers

An API for DL Abduction Solvers

Zuzana Hlávková, Martin Homola, Patrick Koopmann and Júlia Pukancová

SIVA: Simulation and Visualization of the DL Tableau Algorithm

SIVA: Simulation and Visualization of the DL Tableau Algorithm

Peter Paulovics, Júlia Pukancová and Martin Homola

DL Opening Remarks

DL Opening Remarks

Martin Homola, Marie-Laure Mugnier and Jean Christoph Jung

Presentations in this collection: 4
Copyright © 2002 – 2024 EasyChair