( en | de | ru )

 

Disambiguierung von "Eiter, Thomas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Bidirectional Answer Set Programs with Function Symbols.

, und . IJCAI, Seite 765-771. (2009)

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.

Anna Eiter

Viktoria Eiter

Christoph Ludwig Eiter

Szilvia Eiterer

Karl Eiter

 

Weitere Publikationen von Autoren mit dem selben Namen

Computing discrete Fréchet distance, , , , und . (1994)Disjunctive Logic Programming over Finite Structures., , und . GI Jahrestagung, Seite 69-73. Springer, (1994)The Architecture of a Disjunctive Deductive Database System., , , , und . APPIA-GULP-PRODE, Seite 141-152. (1997)Complexity Results for Logic-Based Abduction., und . Structural Complexity and Recursion-theoretic methods in Logic-Programming, Seite 29-44. Mathematical Sciences Institute, Cornell University, (1992)Answer Set Programming in a Nutshell.. WWV, Volume 18 von EPiC Series in Computing, Seite 1. EasyChair, (2010)Defeasibility in Contextual Reasoning with CKR., , und . CILC, Volume 1195 von CEUR Workshop Proceedings, Seite 132-146. CEUR-WS.org, (2014)Simulating Production Rules Using ACTHEX., , und . Correct Reasoning, Volume 7265 von Lecture Notes in Computer Science, Seite 211-228. Springer, (2012)Normal Forms for Second-Order Logic over Finite Structures, and Classification of NP Optimization Problems., , und . Ann. Pure Appl. Log., 78 (1-3): 111-125 (1996)Exploiting Conjunctive Queries in Description Logic Programs., , , und . ISAIM, (2008)Foundations of Composite Event Recognition (Dagstuhl Seminar 20071)., , , und . Dagstuhl Reports, 10 (2): 19-49 (2020)