( en | de | ru )

 

Disambiguierung von "Rondogiannis, Panos"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation.

, , , und . LPNMR, Volume 4483 von Lecture Notes in Computer Science, Seite 44-57. Springer, (2007)

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.

Ara Panosyan

Ara Panosyan

Anja Panosch

Martin Panosch

Panos Meletis

 

Weitere Publikationen von Autoren mit dem selben Namen

Minimum model semantics for logic programs with negation-as-failure., und . ACM Trans. Comput. Log., 6 (2): 441-467 (2005)An Infinite-Valued Semantics for Logic Programs with Negation., und . JELIA, Volume 2424 von Lecture Notes in Computer Science, Seite 456-467. Springer, (2002)Extensional Semantics for Higher-Order Logic Programs with Negation., und . JELIA, Volume 10021 von Lecture Notes in Computer Science, Seite 447-462. (2016)Extensional Higher-Order Logic Programming, , , und . CoRR, (2011)Stratified negation in temporal logic programming and the cycle-sum test.. Theor. Comput. Sci., 254 (1-2): 663-676 (2001)Cactus: A Branching-Time Logic Programming Language., , und . ECSQARU-FAPR, Volume 1244 von Lecture Notes in Computer Science, Seite 511-524. Springer, (1997)Well-Founded Semantics for Boolean Grammars., , und . Developments in Language Theory, Volume 4036 von Lecture Notes in Computer Science, Seite 203-214. Springer, (2006)On the expressive power of univariate equations over sets of natural numbers., und . Inf. Comput., (2012)Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective., , und . Theory Pract. Log. Program., 22 (5): 708-722 (2022)Models and Games by Jouko Väänänen, Cambridge University Press, Cambridge Studies in Advanced Mathematics Series 132, 2011. Hardcover, ISBN 978-0-521-51812-3, 367 pp.. Theory Pract. Log. Program., 12 (3): 413-416 (2012)