 | 2009 |
|---|
| 12 |       | Rafael Peñaloza,
Baris Sertkaya:
Axiom Pinpointing is Hard.
Description Logics 2009 |
| 11 | | Rafael Peñaloza:
Reasoning With Weighted Ontologies.
Description Logics 2009 |
| 10 | | Franz Baader,
Martin Knechtel,
Rafael Peñaloza:
A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms.
International Semantic Web Conference 2009: 49-64 |
| 2008 |
|---|
| 9 | | Franz Baader,
Rafael Peñaloza:
Automata-Based Axiom Pinpointing.
IJCAR 2008: 226-241 |
| 8 | | Franz Baader,
Jan Hladik,
Rafael Peñaloza:
Automata can show PSpace results for description logics.
Inf. Comput. 206(9-10): 1045-1056 (2008) |
| 2007 |
|---|
| 7 | | Franz Baader,
Jan Hladik,
Rafael Peñaloza:
Blocking Automata for PSPACE DLs.
Description Logics 2007 |
| 6 | | Franz Baader,
Rafael Peñaloza,
Boontawee Suntisrivaraporn:
Pinpointing in the Description Logic EL.
Description Logics 2007 |
| 5 | | Franz Baader,
Rafael Peñaloza,
Boontawee Suntisrivaraporn:
Pinpointing in the Description Logic EL+.
KI 2007: 52-67 |
| 4 | | Franz Baader,
Rafael Peñaloza:
Axiom Pinpointing in General Tableaux.
TABLEAUX 2007: 11-27 |
| 2006 |
|---|
| 3 | | Jan Hladik,
Rafael Peñaloza:
PSPACE Automata for Description Logics.
Description Logics 2006 |
| 2 | | Alexander Kozlenkov,
Rafael Peñaloza,
Vivek Nigam,
Loïc Royer,
Gihan Dawelbait,
Michael Schroeder:
Prova: Rule-Based Java Scripting for Distributed Web Applications: A Case Study in Bioinformatics.
EDBT Workshops 2006: 899-908 |
| 2003 |
|---|
| 1 | | Osvaldo Cairó,
Rafael Peñaloza:
Using Bayesian Networks as an Inference Engine in KAMET.
SCCC 2003: 79-85 |
