Model-Based Diagnosis with ASP for Non-groundable Domains

Bayerkuhnlein, MoritzMoritzBayerkuhnleinWolter, DiedrichDiedrichWolter0000-0001-9185-01472025-05-272025-05-272024978-3-031-56940-1978-3-031-56939-5https://fis.uni-bamberg.de/handle/uniba/108438engModel-Based Diagnosis with ASP for Non-groundable Domainsconferenceobject10.1007/978-3-031-56940-1_20