Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A New Tree-Decomposition Based Algorithm for Answer Set Programming.

M. Morak, N. Musliu, R. Pichler, S. Rümmele, und S. Woltran. ICTAI, Seite 916-918. IEEE Computer Society, (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.

Stefan Schubert University of Stuttgart

Experimental and Numerical Data for: "Micro-PIV study on the influence of viscosity on the dynamics of droplet impact onto a thin film"J. Steigerwald, und S. Schubert. Dataset, (2024)Related to: Schubert, S., Steigerwald, J., Geppert, A.K. et al. Micro-PIV study on the influence of viscosity on the dynamics of droplet impact onto a thin film. Exp Fluids 65, 69 (2024). doi: 10.1007/s00348-024-03800-5.

Stefan Kunert University of Stuttgart

Stefan Schippling University of Stuttgart

Stefan Hecht University of Stuttgart

Stefan Keuler University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Belief revision within fragments of propositional logic.N. Creignou, O. Papini, R. Pichler, und S. Woltran. J. Comput. Syst. Sci., 80 (2): 427-449 (2014)Abstract Preference Frameworks - a Unifying Perspective on Separability and Strong Equivalence.W. Faber, M. Truszczynski, und S. Woltran. AAAI, AAAI Press, (2013)A solver for QBFs in negation normal form.U. Egly, M. Seidl, und S. Woltran. Constraints, 14 (1): 38-79 (2009)Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results.U. Egly, T. Eiter, V. Klotz, H. Tompits, und S. Woltran. Answer Set Programming, (2001)Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough.R. Pichler, S. Rümmele, S. Szeider, und S. Woltran. KR, AAAI Press, (2010)A common view on strong, uniform, and other notions of equivalence in answer-set programming.S. Woltran. TPLP, 8 (2): 217-234 (2008)Complexity of super-coherence problems in ASP.M. Alviano, W. Faber, und S. Woltran. TPLP, 14 (3): 339-361 (2014)A Solver for QBFs in Nonprenex Form.U. Egly, M. Seidl, und S. Woltran. ECAI, Volume 141 von Frontiers in Artificial Intelligence and Applications, Seite 477-481. IOS Press, (2006)On rejected arguments and implicit conflicts: The hidden power of argumentation semantics.R. Baumann, W. Dvorák, T. Linsbichler, C. Spanring, H. Strass, und S. Woltran. Artif. Intell., (2016)Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIV).J. Leite, T. Son, P. Torroni, und S. Woltran. J. Log. Comput., 28 (3): 475-476 (2018)