( en | de | ru )

 

Disambiguation of "Peñaloza, Rafael"

Author of the publication

copydeleteadd this publication to your clipboard
Efficient Axiom Pinpointing in EL using SAT Technology.

, , and . Description Logics, volume 1577 of CEUR Workshop Proceedings, CEUR-WS.org, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Rafael Peñaloza Nyssen

Magda Coca Peñaloza

Rubén Peñaloza Wagenknecht

Rafael Plonka

Impact of the interface on the paraelectric-to-ferroelectric phase transition in epitaxial BaSrTiO_tn3 thin film capacitors. TU Aachen, (2007)

Rafael Capurro

 

Other publications of authors with the same name

Image Schema Combinations and Complex Events., , , and . Künstliche Intell., 33 (3): 279-291 (2019)Error-Tolerance and Error Management in Lightweight Description Logics.. Künstliche Intell., 34 (4): 491-500 (2020)The complexity of computing the behaviour of lattice automata on infinite trees., and . Theor. Comput. Sci., (2014)Tight Complexity Bounds for Reasoning in the Description Logic $BE\kern-.1emL$., and . JELIA, volume 8761 of Lecture Notes in Computer Science, page 77-91. Springer, (2014)Probabilistic Conformance Checking Based on Declarative Process Models., , and . CAiSE Forum, volume 386 of Lecture Notes in Business Information Processing, page 86-99. Springer, (2020)Walk Me to the Moon: Representing Image Schemas with Abstract Time Measures., and . ISD, volume 3511 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)User-aware Explications of Ontology Consequences: Levelling Technicality., and . FCR@KI, volume 3242 of CEUR Workshop Proceedings, page 90-101. CEUR-WS.org, (2022)Complexity Results for Probabilistic Datalog±., , and . ECAI, volume 285 of Frontiers in Artificial Intelligence and Applications, page 1414-1422. IOS Press, (2016)Correcting Access Restrictions to a Consequence, and . Proceedings of the 23rd International Workshop on Description Logics (DL 2010), volume 573 of CEUR Workshop Proceedings, page 220--231. (2010)A Decidable Very Expressive Description Logic for Databases (Extended Version)., , , and . CoRR, (2017)