( en | de | ru )

 

Disambiguierung von "Woltran, Stefan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database Technology.

, , und . SAT, Volume 12178 von Lecture Notes in Computer Science, Seite 343-360. Springer, (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.

Stefan Schwärzler

Graphische Modelle im natürlichsprachlichen Mensch-Maschine-Dialog. TU München, (2010)

Stefan Weiß

Deformation quantization of principal fibre bundles and classical gauge theories. Uni Freiburg, (2009)

Stefan Padberg

Der Einsatz des Internets im Geographieunterricht: Meinungsbilder und Unterrichtsbeobachtungen. Uni Köln, (2009)

Stefan Fröhlich

Modellbasierte Fehlererkennung und Diagnose in Echtzeit am Beispiel einer Brennstoffzelle. Uni Kassel, (2009)

Stefan Tripmaker

Verhältnis und Abgrenzung zwischen Steuerhinterziehung und Betrug. Bucerius Law School Hamburg, (2007)
 

Weitere Publikationen von Autoren mit dem selben Namen

Equivalence between Extended Datalog Programs - A Brief Survey.. Datalog, Volume 6702 von Lecture Notes in Computer Science, Seite 106-119. Springer, (2010)The Hidden Power of Abstract Argumentation Semantics., , und . TAFA, Volume 9524 von Lecture Notes in Computer Science, Seite 146-162. Springer, (2015)Dual-normal logic programs - the forgotten class., , und . Theory Pract. Log. Program., 15 (4-5): 495-510 (2015)Belief Update in the Horn Fragment., , , und . IJCAI, Seite 1781-1787. ijcai.org, (2018)Complexity Results for Checking Equivalence of Stratified Logic Programs., , , und . IJCAI, Seite 330-335. (2007)Preface., , und . Theory Pract. Log. Program., 21 (3): 293-295 (2021)Deviation in Belief Change on Fragments of Propositional Logic., und . DKB/KIK@KI, Volume 1928 von CEUR Workshop Proceedings, Seite 64-76. CEUR-WS.org, (2017)Complexity of Super-Coherence Problems in Answer Set Programming., , und . CILC, Volume 810 von CEUR Workshop Proceedings, Seite 131-145. CEUR-WS.org, (2011)Encoding Choice Logics in ASP., , und . ICLP Workshops, Volume 2678 von CEUR Workshop Proceedings, CEUR-WS.org, (2020)Tractable Abstract Argumentation via Backdoor-Treewidth., , , , , und . AAAI, Seite 5608-5615. AAAI Press, (2022)