( en | de | ru )

 

Disambiguierung von "Peñaloza, Rafael"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Fuzzy answer set computation via satisfiability modulo theories.

, und . Theory Pract. Log. Program., 15 (4-5): 588-603 (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

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

 

Weitere Publikationen von Autoren mit dem selben Namen

Inconsistency-Tolerant Instance Checking in Tractable Description Logics.. RuleML+RR, Volume 10364 von Lecture Notes in Computer Science, Seite 215-229. Springer, (2017)Fuzzy Description Logics - A Survey., und . SUM, Volume 10564 von Lecture Notes in Computer Science, Seite 31-45. Springer, (2017)A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices., und . RR, Volume 7497 von Lecture Notes in Computer Science, Seite 9-24. Springer, (2012)On the Decidability Status of Fuzzy ALC with General Concept Inclusions., , und . J. Philosophical Logic, 44 (2): 117-146 (2015)A Decidable Very Expressive Description Logic for Databases (Extended Version)., , , und . CoRR, (2017)Enriching Ontology-based Data Access with Provenance (Extended Version)., , , , und . CoRR, (2019)Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics., und . FroCos, Volume 9322 von Lecture Notes in Computer Science, Seite 49-65. Springer, (2015)Tight Complexity Bounds for Reasoning in the Description Logic $BE\kern-.1emL$., und . JELIA, Volume 8761 von Lecture Notes in Computer Science, Seite 77-91. Springer, (2014)Fuzzy answer set computation via satisfiability modulo theories., und . Theory Pract. Log. Program., 15 (4-5): 588-603 (2015)The complexity of computing the behaviour of lattice automata on infinite trees., und . Theor. Comput. Sci., (2014)