Travelled to:1 × Australia
1 × Canada
1 × Germany
1 × Hungary
1 × Italy
1 × United Kingdom
2 × Austria
Collaborated with:S.Borgwardt M.Alviano F.Baader F.Distel I.I.Ceylan B.Sertkaya ∅ A.Ecke A.Turhan J.Hladik
Talks about:descript (6) logic (6) fuzzi (5) automata (3) answer (3) pinpoint (2) axiom (2) set (2) standard (1) properti (1)
Person: Rafael Peñaloza
DBLP: Pe=ntilde=aloza:Rafael
Contributed to:
2015
2014
2014201320122012
20112010
201020082007Wrote 12 papers:
- ICLP-J-2015-AlvianoP #fuzzy #modulo theories #satisfiability #set
- Fuzzy answer set computation via satisfiability modulo theories (MA, RP), pp. 588–603.
- IJCAR-2014-CeylanP #logic
- The Bayesian Description Logic ℬℰℒ (IIC, RP), pp. 480–494.
- KR-2014-BorgwardtDP #decidability #logic
- Decidable Gödel Description Logics without the Finitely-Valued Model Property (SB, FD, RP).
- KR-2014-EckePT #concept #query #similarity
- Answering Instance Queries Relaxed by Concept Similarity (AE, RP, AYT).
- ICLP-J-2013-AlvianoP #approximate #fuzzy #set
- Fuzzy answer sets approximations (MA, RP), pp. 753–767.
- IJCAR-2012-BorgwardtDP #fuzzy #how #logic #question
- How Fuzzy Is My Fuzzy Description Logic? (SB, FD, RP), pp. 82–96.
- KR-2012-BorgwardtP #fuzzy #logic
- Undecidability of Fuzzy Description Logics (SB, RP).
- AFL-2011-BorgwardtP #automaton #infinity #problem
- The Inclusion Problem for Weighted Automata on Infinite Trees (SB, RP), pp. 108–122.
- KR-2010-PenalozaS #axiom #complexity #logic #on the #product line
- On the Complexity of Axiom Pinpointing in the EL Family of Description Logics (RP, BS).
- LATA-2010-Penaloza #reasoning #standard #using
- Using Sums-of-Products for Non-standard Reasoning (RP), pp. 488–499.
- IJCAR-2008-BaaderP #axiom
- Automata-Based Axiom Pinpointing (FB, RP), pp. 226–241.
- LATA-2007-BaaderHP #automaton #exclamation #logic
- SI! Automata Can Show PSPACE Results for Description Logics (FB, JH, RP), pp. 67–78.