Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

On the consistency of context-aware systems., , , und . J. Intell. Fuzzy Syst., 34 (5): 3373-3383 (2018)A Physical Variable Data Fusion Approach as Basis for the Reasoning Process in Ambient Intelligence., , , , und . Res. Comput. Sci., 149 (11): 115-124 (2020)Thematic Section(2): Logic/Languages, Algorithms, Novel Methods of Reasoning., , , und . Computación y Sistemas (CyS), (2023)(Hyper)sequent Calculi for the ALC(S4) Description Logics., , , und . Computación y Sistemas, (2016)Mu-Calculus Satisfiability with Arithmetic Constraints., , , , und . Program. Comput. Softw., 46 (8): 503-510 (2020)Regular Expressions for Web Advertising Detection Based on an Automatic Sliding Algorithm., , , , und . Program. Comput. Softw., 46 (8): 652-660 (2020)Global Numerical Constraints on Trees., und . Log. Methods Comput. Sci., (2014)Completeness for the paraconsistent logic CG'3 based on maximal theories., und . LANMR, Volume 2585 von CEUR Workshop Proceedings, Seite 119-130. CEUR-WS.org, (2019)Sobre la automatización del razonamiento y el aprendizaje en lógicas modales., , , und . Res. Comput. Sci., 149 (8): 893-906 (2020)Towards a Method for Biosignals Analysis as Support for the Design of Adaptive User-Interfaces., , , und . Res. Comput. Sci., 147 (11): 9-19 (2018)