( en | de | ru )

 

Disambiguierung von "Gabbay, Dov M."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Interpolable Formulas in Equilibrium Logic and Answer Set Programming.

, , und . J. Artif. Intell. Res., (2011)

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.

Uri Gabbay

Dov Gafni

Dov Herskowits

Dov Gafni

Peter Dov

 

Weitere Publikationen von Autoren mit dem selben Namen

Equational approach to argumentation networks.. Argument Comput., 3 (2-3): 87-142 (2012)Modal and temporal argumentation networks., , und . Argument Comput., 3 (2-3): 203-227 (2012)Algorithmic Proof with Diminishing Resources, Part 1.. CSL, Volume 533 von Lecture Notes in Computer Science, Seite 156-173. Springer, (1990)Executing Temporal Logic: Review and Prospects (Abstract)., und . Concurrency, Volume 335 von Lecture Notes in Computer Science, Seite 104-105. Springer, (1988)A Theory of Hierarchical Consequence and Conditionals., und . J. Log. Lang. Inf., 19 (1): 3-32 (2010)Logic and the Law: Crossing the Lines of Discipline., und . Approaches to Legal Rationality, Volume 20 von Logic, Epistemology, and the Unity of Science, Springer, (2011)Modal Provability Foundations for Argumentation Networks.. Stud Logica, 93 (2-3): 181-198 (2009)Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming., , und . Stud Logica, 93 (2-3): 383-403 (2009)Products of Modal Logics. Part 3: Products of Modal and Temporal Logics., und . Stud Logica, 72 (2): 157-183 (2002)Logical Modes of Attack in Argumentation Networks., und . Stud Logica, 93 (2-3): 199-230 (2009)