Autor der Publikation

SATPin: Axiom pinpointing for lightweight description logics through incremental SAT

, , und . KI - Künstl. Intell., 34 (3): 389--394 (September 2020)

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.

Keine Personen gefunden für den Autorennamen Peñaloza, Rafael
Eine Person hinzufügen mit dem Namen Peñaloza, Rafael
 

Weitere Publikationen von Autoren mit dem selben Namen

Safety of quantified ABoxes w.r.t. singleton $\epsilon$ L policies, , , und . Proceedings of the 36th Annual ACM Symposium on Applied Computing, New York, NY, USA, ACM, (März 2021)SATPin: Axiom pinpointing for lightweight description logics through incremental SAT, , und . KI - Künstl. Intell., 34 (3): 389--394 (September 2020)