( en | de | ru )

 

Disambiguierung von "Woltran, Stefan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verifiability of Argumentation Semantics.

, , und . CoRR, (2016)

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 Pollak

Herstellung pulverförmiger Komposite aus Polybutylenterephthalat nach einem Hochdrucksprühverfahren. Uni Bochum, (2009)

Stefan Reisbacher

Funktionelle Analyse von Cryptochrom 3 aus Arabidopsis thaliana. Uni Marburg, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Dual-normal logic programs - the forgotten class., , und . Theory Pract. Log. Program., 15 (4-5): 495-510 (2015)Rediscovering Argumentation Principles Utilizing Collective Attacks., , , und . KR, (2022)Multicut on Graphs of Bounded Clique-Width., , , und . COCOA, Volume 7402 von Lecture Notes in Computer Science, Seite 115-126. Springer, (2012)Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning., , , und . IJCAI, Seite 275-282. AAAI Press, (2015)Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough., , , und . KR, AAAI Press, (2010)Equipping Abstract Argumentation Solvers for Verifying Negative Results., , und . SAC, Seite 762-769. ACM, (2024)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)