Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Baader, Franz
564  Ergebnisse:
Personensuche X
?
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: Rules and Reasoning; Lecture Notes in Computer Science,
Alrabbaa, Christian ; Baader, Franz ; Borgwardt, Stefan.. - p. 54-69 , 2023
Link: https://doi.org/10.1007/..
 
?
5

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..
 
?
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: Logics in Artificial Intelligence; Lecture Notes in Computer Science,
Baader, Franz ; Koopmann, Patrick ; Kriegel, Francesco - p. 11-34 , 2023
Link: https://doi.org/10.1007/..
 
?
8

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..
 
?
9

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

, In: The Semantic Web; Lecture Notes in Computer Science,
Baader, Franz ; Koopmann, Patrick ; Kriegel, Francesco. - p. 130-146 , 2022
Link: https://doi.org/10.1007/..
 
?
10

Evonne: Interactive Proof Visualization for Description Log..:

, In: Automated Reasoning; Lecture Notes in Computer Science,
Alrabbaa, Christian ; Baader, Franz ; Borgwardt, Stefan... - p. 271-280 , 2022
Link: https://doi.org/10.1007/..
 
?
11

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/..
 
?
12

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

, In: Rules and Reasoning; Lecture Notes in Computer Science,
Baader, Franz ; Kriegel, Francesco ; Nuradiansyah, Adrian - p. 227-243 , 2022
Link: https://doi.org/10.1007/..
 
?
13

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/..
 
?
14

Computing Optimal Repairs of Quantified ABoxes w.r.t. Stati..:

, In: Automated Deduction – CADE 28; Lecture Notes in Computer Science,
Baader, Franz ; Koopmann, Patrick ; Kriegel, Francesco. - p. 309-326 , 2021
Link: https://doi.org/10.1007/..
 
?
15

Safety of quantified ABoxes w.r.t. singleton εL policies:

, In: Proceedings of the 36th Annual ACM Symposium on Applied Computing,
Baader, Franz ; Kriegel, Francesco ; Nuradiansyah, Adrian. - p. 863-872 , 2021
Link: https://dl.acm.org/doi/1..
 
1-15