( en | de | ru )

 

Disambiguation of "Peñaloza, Rafael"

Author of the publication

copydeleteadd this publication to your clipboard
An Automata View to Goal-Directed Methods.

, and . LATA, volume 10168 of Lecture Notes in Computer Science, page 103-114. (2017)

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 Weber

 

Other publications of authors with the same name

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)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)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)Image Schema Combinations and Complex Events., , , and . Künstliche Intelligenz, 33 (3): 279-291 (2019)Complementing Language Embeddings with Knowledge Bases for Specific Domains., , and . DAO-XAI, volume 2998 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Non-Gödel Negation Makes Unwitnessed Consistency Undecidable., and . Description Logics, volume 846 of CEUR Workshop Proceedings, CEUR-WS.org, (2012)Gödel FL_0 with Greatest Fixed-Point Semantics., , and . Description Logics, volume 1193 of CEUR Workshop Proceedings, page 71-82. CEUR-WS.org, (2014)Bayesian Description Logics., and . Description Logics, volume 1193 of CEUR Workshop Proceedings, page 447-458. CEUR-WS.org, (2014)ASP-based Axiom Pinpointing for Description Logics., , , and . Description Logics, volume 3515 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)