Rafael Peñaloza
Rafael Peñaloza
Bestätigte E-Mail-Adresse bei unimib.it - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Pinpointing in the Description Logic EL+
F Baader, R Penaloza, B Suntisrivaraporn
KI 2007: Advances in Artificial Intelligence, 52-67, 2007
179*2007
Axiom pinpointing in general tableaux
F Baader, R Penaloza
Journal of Logic and Computation 20 (1), 5-34, 2010
1142010
Automata-based axiom pinpointing
F Baader, R Peñaloza
Journal of Automated Reasoning 45 (2), 91-129, 2010
642010
Context-dependent views to axioms and consequences of semantic web ontologies
F Baader, M Knechtel, R Peñaloza
Journal of Web Semantics 12, 22-40, 2012
532012
Undecidability of fuzzy description logics
S Borgwardt, R Penaloza
Thirteenth International Conference on the Principles of Knowledge …, 2012
502012
A generic approach for large-scale ontological reasoning in the presence of access restrictions to the ontology’s axioms
F Baader, M Knechtel, R Peñaloza
International Semantic Web Conference, 49-64, 2009
492009
Axiom pinpointing in general tableaux
F Baader, R Penaloza
International Conference on Automated Reasoning with Analytic Tableaux and …, 2007
492007
On the complexity of axiom pinpointing in the EL family of description logics
R Peñaloza, B Sertkaya
452010
On the undecidability of fuzzy description logics with GCIs and product t-norm
F Baader, R Peñaloza
International Symposium on Frontiers of Combining Systems, 55-70, 2011
432011
The Bayesian Description Logic BEL
İİ Ceylan, R Peñaloza
Automated Reasoning, 480-494, 2014
41*2014
The limits of decidability in fuzzy description logics with general concept inclusions
S Borgwardt, F Distel, R Peñaloza
Artificial Intelligence 218, 23-55, 2015
392015
Are fuzzy description logics with general concept inclusion axioms decidable?
F Baader, R Peñaloza
Fuzzy Systems (FUZZ), 2011 IEEE International Conference on, 1735-1742, 2011
392011
Automata-based axiom pinpointing
F Baader, R Penaloza
International Joint Conference on Automated Reasoning, 226-241, 2008
392008
Consistency reasoning in lattice-based fuzzy description logics
S Borgwardt, R Peñaloza
International Journal of Approximate Reasoning 55 (9), 1917-1938, 2014
362014
The complexity of lattice-based fuzzy description logics
S Borgwardt, R Peñaloza
Journal on Data Semantics 2 (1), 1-19, 2013
362013
Automata can show PSPACE results for description logics
F Baader, J Hladik, R Penaloza
Information and Computation 206 (9-10), 1045-1056, 2008
352008
Description logics over lattices with multi-valued ontologies
S Borgwardt, R Peñaloza
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
322011
How fuzzy is my fuzzy description logic?
S Borgwardt, F Distel, R Peñaloza
International Joint Conference on Automated Reasoning, 82-96, 2012
312012
Axiom-Pinpointing in Description Logics and Beyond
R Peñaloza Nyssen
302009
Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics.
R Penaloza, B Sertkaya
ECAI 215, 29-34, 2010
282010
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20