( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Efficient Axiom Pinpointing in EL using SAT Technology.

, , и . Description Logics, том 1577 из 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.

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

 

Другие публикации лиц с тем же именем

On the Decidability Status of Fuzzy ALC with General Concept Inclusions., , и . J. Philosophical Logic, 44 (2): 117-146 (2015)Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics., и . FroCos, том 9322 из Lecture Notes in Computer Science, стр. 49-65. Springer, (2015)A Decidable Very Expressive Description Logic for Databases (Extended Version)., , , и . CoRR, (2017)Fuzzy answer set computation via satisfiability modulo theories., и . Theory Pract. Log. Program., 15 (4-5): 588-603 (2015)Error-Tolerance and Error Management in Lightweight Description Logics.. Künstliche Intell., 34 (4): 491-500 (2020)Image Schema Combinations and Complex Events., , , и . Künstliche Intell., 33 (3): 279-291 (2019)The complexity of computing the behaviour of lattice automata on infinite trees., и . Theor. Comput. Sci., (2014)Tight Complexity Bounds for Reasoning in the Description Logic $BE\kern-.1emL$., и . JELIA, том 8761 из Lecture Notes in Computer Science, стр. 77-91. Springer, (2014)Probabilistic Conformance Checking Based on Declarative Process Models., , и . CAiSE Forum, том 386 из Lecture Notes in Business Information Processing, стр. 86-99. Springer, (2020)Correcting Access Restrictions to a Consequence, и . Proceedings of the 23rd International Workshop on Description Logics (DL 2010), том 573 из CEUR Workshop Proceedings, стр. 220--231. (2010)