Concepedia

Rafael Peñaloza

RP

Statistics

Publications

48

Citations

1.4K

H-Index

20

Active since

2007

Affiliations

Technische Universität Dresden(Current)

Free University of Bozen-Bolzano

University of Milano-Bicocca

Center for Systems Biology Dresden

Leipzig University

Rafael Peñaloza is an author at Technische Universität Dresden specializing in engineering, automated reasoning, and computer science.

ORCID

Top concepts

Publications per year

2007–2022

48

Publications

48

Pinpointing in the Description Logic EL

Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn · 2007 · 127 citations

Axiom Pinpointing in General Tableaux

Franz Baader, Rafael Peñaloza · Journal of Logic and Computation · 2008 · 116 citations · Full text

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA.

Mario Alviano, Giovanni Amendola, Rafael Peñaloza · National Conference on Artificial Intelligence · 2017 · 101 citations

, , +9

Automata-Based Axiom Pinpointing

Franz Baader, Rafael Peñaloza · Journal of Automated Reasoning · 2010 · 60 citations · Full text

, , +6

The limits of decidability in fuzzy description logics with general concept inclusions

Stefan Borgwardt, Felix Distel, Rafael Peñaloza · Artificial Intelligence · 2014 · 57 citations · Full text

, , +11

1–5 of 48