PENALOZA NYSSEN, RAFAEL
PENALOZA NYSSEN, RAFAEL
DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE
Classification of Sperm Cells According to their Chromosomic Content Using a Neural Network Trained with a Genetic Algorithm
2003 Kuri, A; Ortiz, M; Zenteno, D; Penaloza, R
Using Bayesian Networks as an Inference Engine in KAMET
2003 Cairó, O; Penaloza, R
Creating a Bayesian Inference Engine for KAMET
2004 Cairó, O; Penaloza, R
PSpace automata for description logics
2006 Hladik, J; Peñaloza, R
Prova: Rule-based java scripting for distributed web applications: A case study in bioinformatics
2006 Kozlenkov, A; Penaloza, R; Nigam, V; Royer, L; Dawelbait, G; Schroeder, M
Pinpointing in the description logic EL
2007 Baader, F; Peñaloza, R; Suntisrivaraporn, B
Blocking automata for PSpace DLs
2007 Baader, F; Hladik, J; Peñaloza, R
Axiom pinpointing in general tableaux
2007 Baader, F; Penaloza, R
Pinpointing in the Description Logic EL+
2007 Baader, F; Penaloza, R; Suntisrivaraporn, B
Automata can show PSpace results for description logics
2008 Baader, F; Hladik, J; Penaloza, R
Automata-based axiom pinpointing
2008 Baader, F; Penaloza, R
Automata-based pinpointing for DLs
2008 Peñaloza, R
Using Tableaux and Automata for Pinpointing in EL
2009 Peñaloza, R
A generic approach for large-scale ontological reasoning in the presence of access restrictions to the ontology's axioms
2009 Baader, F; Knechtel, M; Penaloza, R
Axiom pinpointing is hard
2009 Peñaloza, R; Sertkaya, B
Reasoning with weighted ontologies
2009 Peñaloza, R
Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics
2010 Penaloza, R; Sertkaya, B
Automata-based axiom pinpointing
2010 Baader, F; Penaloza, R
Complexity of Axiom Pinpointing in the DL-Lite Family
2010 Peñaloza, R; Sertkaya, B
Using Sums-of-Products for Non-standard Reasoning
2010 Penaloza, R