Login / Signup
Towards CATS: A Modular ABox Abduction Solver Based on Black-Box Architecture (Extended Abstract).
Janka Boborová
Jakub Kloc
Martin Homola
Júlia Pukancová
Published in:
Description Logics (2024)
Keyphrases
</>
extended abstract
black box
black boxes
white box
description logics
test cases
integration testing
object oriented
metadata
logic programming
state transition
rule extraction
hybrid systems