( en | de | ru )

 

Disambiguierung von "del Cerro, Luis Fariñas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Free Logic for Stable Models with Partial Intensional Functions.

, , , und . JELIA, Volume 8761 von Lecture Notes in Computer Science, Seite 340-354. Springer, (2014)

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.

Pedro López Fariñas

Werner Luis

Pia Luislampe

Mathieu Luisier

Werner Luis

 

Weitere Publikationen von Autoren mit dem selben Namen

FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions., , und . IJCAI, Seite 891-897. IJCAI/AAAI, (2013)Argumentation Frameworks with Recursive Attacks and Evidence-Based Supports., , , und . FoIKS, Volume 10833 von Lecture Notes in Computer Science, Seite 150-169. Springer, (2018)Epistemic Equilibrium Logic., , und . IJCAI, Seite 2964-2970. AAAI Press, (2015)An Inference Rule for Hypothesis Generation., und . IJCAI, Seite 152-157. Morgan Kaufmann, (1991)Declarative Semantics for Modal Logic Programs., , und . FGCS, Seite 507-514. OHMSHA Ltd. Tokyo and Springer-Verlag, (1988)Founded World Views with Autoepistemic Equilibrium Logic., , und . LPNMR, Volume 11481 von Lecture Notes in Computer Science, Seite 134-147. Springer, (2019)Mutual Belief Logic for Processing Definite Reference., und . Natural Language Understanding and Natural Language Understanding Workshop, Seite 65-78. North-Holland, (1984)Contingency-Based Equilibrium Logic., und . LPNMR, Volume 6645 von Lecture Notes in Computer Science, Seite 223-228. Springer, (2011)A modal analysis of possibility theory., und . FAIR, Volume 535 von Lecture Notes in Computer Science, Seite 11-18. Springer, (1991)Talkin'bout Consistency, or: When Logically Possible Becomes Possible., , und . FAPR, Volume 1085 von Lecture Notes in Computer Science, Seite 141-150. Springer, (1996)