E-LIB Suche - Ergebnisse für: Baader, Franz von

1

Inconsistency- and Error-Tolerant Reasoning w.r.t. Optimal ..:

, In: Lecture Notes in Computer Science; Foundations of Information and Knowledge Systems,

Baader, Franz ; Kriegel, Francesco ; Nuradiansyah, Adrian - p. 3-22 , 2024

Link: https://doi.org/10.1007/..

2

Extending the description logic EL with threshold concepts ..:

Baader, Franz ; Fernández Gil, Oliver
Artificial Intelligence. 326 (2024) - p. 104034 , 2024

Link: https://doi.org/10.1016/..

3

The Abstract Expressive Power of First-Order and Descriptio..:

, In: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing,

Baader, Franz ; De Bortoli, Filippo - p. 754-761 , 2024

Link: https://dl.acm.org/doi/1..

4

Combining Proofs for Description Logic and Concrete Domain ..:

, In: Lecture Notes in Computer Science; Rules and Reasoning,

Alrabbaa, Christian ; Baader, Franz ; Borgwardt, Stefan.. - p. 54-69 , 2023

Link: https://doi.org/10.1007/..

5

Optimal Repairs in Ontology Engineering as Pseudo-Contracti..:

, In: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing,

Baader, Franz - p. 983-990 , 2023

Link: https://dl.acm.org/doi/1..

6

Relating Optimal Repairs in Ontology Engineering with Contr..:

Baader, Franz
ACM SIGAPP Applied Computing Review. 23 (2023) 3 - p. 5-18 , 2023

Link: https://doi.org/10.1145/..

7

Optimal Repairs in the Description Logic $$\mathcal{E}\math..:

, In: Lecture Notes in Computer Science; Logics in Artificial Intelligence,

Baader, Franz ; Koopmann, Patrick ; Kriegel, Francesco - p. 11-34 , 2023

Link: https://doi.org/10.1007/..

8

Treating Role Assertions as First-class Citizens in Repair ..:

, In: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing,

Baader, Franz ; Kriegel, Francesco ; Nuradiansyah, Adrian - p. 974-982 , 2023

Link: https://dl.acm.org/doi/1..

9

Deciding the Word Problem for Ground and Strongly Shallow I..:

Baader, Franz ; Kapur, Deepak
Journal of Automated Reasoning. 66 (2022) 3 - p. 301-329 , 2022

Link: https://doi.org/10.1007/..

10

Using Model Theory to Find Decidable and Tractable Descript..:

Baader, Franz ; Rydval, Jakub
Journal of Automated Reasoning. 66 (2022) 3 - p. 357-407 , 2022

Link: https://doi.org/10.1007/..

11

Optimal ABox Repair w.r.t. Static $$\mathcal {EL}$$ TBoxes:..:

, In: Lecture Notes in Computer Science; The Semantic Web,

Baader, Franz ; Koopmann, Patrick ; Kriegel, Francesco. - p. 130-146 , 2022

Link: https://doi.org/10.1007/..

12

Error-Tolerant Reasoning in the Description Logic $$\mathca..:

, In: Lecture Notes in Computer Science; Rules and Reasoning,

Baader, Franz ; Kriegel, Francesco ; Nuradiansyah, Adrian - p. 227-243 , 2022

Link: https://doi.org/10.1007/..

13

Restricted Unification in the DL $$\mathcal {FL}_0$$:

, In: Lecture Notes in Computer Science; Frontiers of Combining Systems,

Baader, Franz ; Gil, Oliver Fernández ; Rostamigiv, Maryam - p. 81-97 , 2021

Link: https://doi.org/10.1007/..

14

Texte zur Mystik und Theosophie (1808-1818)

Ausgewählte Werke / Franz von Baader, Band 2

Baader, Franz von ; Bonchino, Alberto , 2021

Link: https://search.ebscohost..

15

Efficient TBox Reasoning with Value Restrictions using the ..:

BAADER, FRANZ ; KOOPMANN, PATRICK ; MICHEL, FRIEDRICH..
Theory and Practice of Logic Programming. 22 (2021) 2 - p. 162-192 , 2021

Link: https://doi.org/10.1017/..