Künstliche Intelligenz
Papers 597
1 page of 60 pages (597 results)
#1Germán BraunH-Index: 1
#2Christian GiménezH-Index: 1
Last. Pablo Rubén FillottraniH-Index: 10
view all 4 authors...
#1Raksha KumaraswamyH-Index: 3
#2Nandini RamananH-Index: 2
Last. Sriraam NatarajanH-Index: 19
view all 4 authors...
1 CitationsSource
We investigate the impact that general concept inclusions and role-value maps have on the complexity and decidability of reasoning in the description logic $\mathcal{FL}_0. On the one hand, we give a more direct proof for ExpTime-hardness of subsumption w.r.t. general concept inclusions in \mathcal{FL}_0. On the other hand, we determine restrictions on role-value maps that ensure decidability of subsumption, but we also show undecidability for the cases where these restrictions are not sa...
#1Vedran Kasalica (UU: Utrecht University)H-Index: 1
#2Matthias KnorrH-Index: 11
Last. Carlos LopesH-Index: 1
view all 4 authors...
Description logic ontologies, such as ontologies written in OWL, and non-monotonic rules, as known in Logic Programming, are two major approaches in Knowledge Representation and Reasoning. Even though their integration is challenging due to their inherent differences, the need to combine their distinctive features stems from real world applications. In this paper, we give an overview of NoHR, a reasoner designed to answer queries over theories composed of an OWL ontology in a Description logic a...
#1Ivan Varzinczak (Stellenbosch University)H-Index: 17
The present paper is a summary of a habilitation (Habilitation a Diriger des Recherches, in French), which has been perused and evaluated by a committee composed by the following members: Franz Baader, Stephane Demri, Hans van Ditmarsch, Sebastien Konieczny, Pierre Marquis, Marie-Laure Mugnier, Odile Papini and Leon van der Torre. It was defended on 26 November 2019 at Universite d’Artois in Lens, France.
#1Cameron Browne (UM: Maastricht University)H-Index: 10
This report summarises the Digital Ludeme Project, a recently launched 5-year research project being conducted at Maastricht University. This computational study of the world’s traditional strategy games seeks to improve our understanding of early games, their development, and their role in the spread of related mathematical ideas throughout recorded human history.
Top fields of study
Machine learning
Artificial intelligence
Computer science