재정 지원 요구사항을 통해 공개된 자료 - Franz Baader자세히 알아보기
제공된 곳이 없음: 10
검토
Privacy-preserving ontology publishing for instance stores
F Baader, F Kriegel, A Nuradiansyah
European Conference on Logics in Artificial Intelligence, 323-338, 2019
재정 지원 요구사항 정책: German Research Foundation
검토
An algebraic view on p-admissible concrete domains for lightweight description logics
F Baader, J Rydval
European Conference on Logics in Artificial Intelligence, 194-209, 2021
재정 지원 요구사항 정책: German Research Foundation
검토
Blocking and pinpointing in forest tableaux
F Baader, R Penaloza
재정 지원 요구사항 정책: German Research Foundation
검토
Using Ontologies to Query Probabilistic Numerical Data: Extended Version
F Baader
Deutsche Nationalbibliothek, 2017
재정 지원 요구사항 정책: German Research Foundation
검토
Solving Language Equations and Disequations Using Looping Tree Automata with Colors
F Baader, A Okhotin
재정 지원 요구사항 정책: German Research Foundation
검토
Pinpointing in terminating forest tableaux
F Baader, R Penaloza
재정 지원 요구사항 정책: German Research Foundation
검토
Privacy-Preserving Ontology Publishing
F Baader, P Koopmann, F Kriegel, A Nuradiansyah, R Peñaloza
재정 지원 요구사항 정책: German Research Foundation
검토
Using model theory to find w-admissible concrete domains
F Baader, J Rydval
재정 지원 요구사항 정책: German Research Foundation
검토
On the Complexity and Expressiveness of Description Logics with Counting
F Baader, F De Bortoli
재정 지원 요구사항 정책: German Research Foundation
검토
Approximation in Description Logics
F Baader, OF Gil, P Marantidis
재정 지원 요구사항 정책: German Research Foundation
제공된 곳이 있음: 95
검토
Description logics
F Baader, I Horrocks, U Sattler
Foundations of Artificial Intelligence 3, 135-179, 2008
재정 지원 요구사항 정책: German Research Foundation
검토
Pinpointing in the Description Logic EL
F Baader, R Penaloza, B Suntisrivaraporn
Advances in Artificial Intelligence, 52, 2007
재정 지원 요구사항 정책: German Research Foundation
검토
Completing description logic knowledge bases using formal concept analysis
F Baader, B Ganter, U Sattler, B Sertkaya
IJCAI 7, 230-235, 2007
재정 지원 요구사항 정책: German Research Foundation
검토
Debugging SNOMED CT using axiom pinpointing in the description logic EL
F Baader, B Suntisrivaraporn
KR-MED 2008, 1, 2008
재정 지원 요구사항 정책: German Research Foundation
검토
Unification in the description logic EL
F Baader, B Morawska
Logical Methods in Computer Science 6, 2010
재정 지원 요구사항 정책: German Research Foundation
검토
Automata-based axiom pinpointing
F Baader, R Penaloza
Journal of Automated Reasoning 45 (2), 91-129, 2010
재정 지원 요구사항 정책: German Research Foundation
검토
Computing the least common subsumer wrt a background terminology
F Baader, B Sertkaya, AY Turhan
Journal of Applied Logic 5 (3), 392-420, 2007
재정 지원 요구사항 정책: German Research Foundation
검토
Making repairs in description logics more gentle
F Baader, F Kriegel, A Nuradiansyah, R Penaloza Nyssen
Proceedings of the Sixteenth International Conference on Principles of …, 2018
재정 지원 요구사항 정책: German Research Foundation
검토
Temporalizing ontology-based data access
F Baader, S Borgwardt, M Lippmann
International Conference on Automated Deduction, 330-344, 2013
재정 지원 요구사항 정책: German Research Foundation
검토
Axiom pinpointing in general tableaux
F Baader, R Penaloza
Automated Reasoning with Analytic Tableaux and Related Methods: 16th …, 2007
재정 지원 요구사항 정책: German Research Foundation
발행인 및 자금 지원 정보는 컴퓨터 프로그램에서 자동으로 결정됩니다.