dblp.uni-trier.dewww.uni-trier.de

Rafael Peñaloza

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
9EEFranz Baader, Rafael Peñaloza: Automata-Based Axiom Pinpointing. IJCAR 2008: 226-241
8EEFranz Baader, Jan Hladik, Rafael Peñaloza: Automata can show PSpace results for description logics. Inf. Comput. 206(9-10): 1045-1056 (2008)
2007
7EEFranz Baader, Jan Hladik, Rafael Peñaloza: Blocking Automata for PSPACE DLs. Description Logics 2007
6EEFranz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn: Pinpointing in the Description Logic EL. Description Logics 2007
5EEFranz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn: Pinpointing in the Description Logic EL+. KI 2007: 52-67
4EEFranz Baader, Rafael Peñaloza: Axiom Pinpointing in General Tableaux. TABLEAUX 2007: 11-27
2006
3EEJan Hladik, Rafael Peñaloza: PSPACE Automata for Description Logics. Description Logics 2006
2EEAlexander 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
1EEOsvaldo Cairó, Rafael Peñaloza: Using Bayesian Networks as an Inference Engine in KAMET. SCCC 2003: 79-85

Coauthor Index

1Franz Baader [4] [5] [6] [7] [8] [9]
2Osvaldo Cairó [1]
3Gihan Dawelbait [2]
4Jan Hladik [3] [7] [8]
5Alexander Kozlenkov [2]
6Vivek Nigam [2]
7Loïc Royer [2]
8Michael Schroeder [2]
9Boontawee Suntisrivaraporn [5] [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)