Data Complexity of Querying Description Logi…

Projekt Data Complexity of Querying Description Logic Knowledge Bases under Cost-Based Semantics In this paper, we study the data complexity of querying inconsistent weighted description logic (DL) knowledge bases under recent… Beitrag ansehen

Projekt Algorithms and Game Comonads Our modern society is driven by computers, digital services, and algorithms. Understanding their weaknesses and limitations is on… Beitrag ansehen

Projekt Queries With Exact Truth Values on Concept and Role Atoms in Paraconsistent Description Logics We present a novel approach to querying classically inconsistent description logic (DL) knowledge bases by adopting a paraconsist… Beitrag ansehen

Projekt Inquisitive Modal Logic "Modal logic is at the heart of an incredibly fruitful interdisciplinary enterprise: it is used to formalize reasoning about key… Beitrag ansehen

Projekt The first utility-oriented, agnostic software platform for quantum-centric drug discovery Humanity is exploring the limits of computing to solve the world’s biggest challenges with unprecedented speed and precision. Whi… Beitrag ansehen

Projekt Estimating the ice volume of Earth's glaciers via Artificial Intelligence and remote sensing Estimating the ice volume of Earth's glaciers is a grand challenge of Earth System science. Besides being a critical parameter to… Beitrag ansehen

Ähnliche Beiträge

Hochschulen