Anton Claußnitzer

Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count

2025 · Proceedings of the ... International Florida Artificial Intelligence Research Society Conference

In previous work it was shown that the logic ALCME, which extends the description logic (DL) ALC with probabilistic conditionals, has domain-lifted inference. Here, we extend this result from the base logic ALC to two …