Sfoglia per Autore
A Decidable Very Expressive n-ary Description Logic for Database Applications
2017 Artale, A; Franconi, E; Penaloza, R; Sportelli, F
The Orchestration Stack: The Impossible Task of Designing Software for Unknown Future Post-CMOS Hardware
2016 Völp, M; Klüppelholz, S; Castrillon, J; Härtig, H; Asmussen, N; Assmann, U; Baader, F; Baier, C; Fettweis, G; Fröhlich, J; Goens, A; Haas, S; Habich, D; Hasler, M; Huismann, I; Karnagel, T; Karol, S; Lehner, W; Leuschner, L; Lieber, M; Ling, S; Märcker, S; Mey, J; Nagel, W; Nöthen, B; Peñaloza, R; Raitza, M; Stiller, J; Ungethüm, A; Voigt, A
Proceedings of the 29th International Workshop on Description Logics: DL 2016
2016 Lenzerini, M; Penaloza, R
Conceptual blending in EL++
2016 Confalonieri, R; Schorlemmer, M; Kutz, O; Peñaloza, R; Plaza, E; Eppe, M
Reasoning in expressive Gödel description logics
2016 Borgwardt, S; Peñaloza, R
Reasoning in Fuzzy Description Logics using Automata
2016 Borgwardt, S; Penaloza Nyssen, R
CEUR Workshop Proceedings: Preface
2016 Lenzerini, M; Penaloza, R
Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies
2016 Borgwardt, S; Mailis, T; Peñaloza, R; Turhan, A
Probabilistic Reasoning in the Description Logic ALCP with the Principle of Maximum Entropy
2016 Peñaloza, R; Potyka, N
Complexity results for probabilistic Datalog
2016 Ceylan, I; Lukasiewicz, T; Peñaloza, R
Efficient reasoning for inconsistent horn formulae
2016 João, M; Alexey, I; Carlos, M; PENALOZA NYSSEN, R
Efficient axiom pinpointing in EL using SAT Technology
2016 Manthey, N; Peñaloza, R; Rudolph, S
BEACON: An efficient SAT-based tool for debugging εL+ ontologies
2016 Arif, M; Mencía, C; Ignatiev, A; Manthey, N; Peñaloza, R; Marques-Silva, J
Conjunctive query answering with finitely many truth degrees
2015 Borgwardt, S; Mailis, T; Peñaloza, R; Turhan, A
Fuzzy Description Logics
2015 Bobillo, F; Cerami, M; Esteva, F; García-Cerdaña, A; Peñaloza, R; Straccia, U
Dynamic Bayesian Ontology Languages
2015 Ceylan, I; Peñaloza, R
Preface
2015 Holldobler, S; Krotzsch, M; Penaloza, R; Rudolph, S
KI 2015: Advances in Artificial Intelligence : 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings
2015 Hölldobler, S; Krötzsch, M; Peñaloza, R; Rudolph, S
Dynamic Bayesian description logics
2015 Ceylan, I; Peñaloza, R
The Bayesian ontology reasoner is born!
2015 Ceylan, I; Mendez, J; Peñaloza, R
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile