| 2008 |
|---|
| 9 | EE | Franz Baader,
Rafael Peñaloza:
Automata-Based Axiom Pinpointing.
IJCAR 2008: 226-241 |
| 8 | EE | 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 | EE | Franz Baader,
Jan Hladik,
Rafael Peñaloza:
Blocking Automata for PSPACE DLs.
Description Logics 2007 |
| 6 | EE | Franz Baader,
Rafael Peñaloza,
Boontawee Suntisrivaraporn:
Pinpointing in the Description Logic EL.
Description Logics 2007 |
| 5 | EE | Franz Baader,
Rafael Peñaloza,
Boontawee Suntisrivaraporn:
Pinpointing in the Description Logic EL+.
KI 2007: 52-67 |
| 4 | EE | Franz Baader,
Rafael Peñaloza:
Axiom Pinpointing in General Tableaux.
TABLEAUX 2007: 11-27 |
| 2006 |
|---|
| 3 | EE | Jan Hladik,
Rafael Peñaloza:
PSPACE Automata for Description Logics.
Description Logics 2006 |
| 2 | EE | 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 | EE | Osvaldo Cairó,
Rafael Peñaloza:
Using Bayesian Networks as an Inference Engine in KAMET.
SCCC 2003: 79-85 |
