-
Advanced tools and methods for treewidth-based problem solving
Hecher, Markus ; Woltran, Stefan ; Schaub, Torsten ; Truszczynski, Mirosław ; Vollmer, Heribert 2021 Universität Potsdam
-
Network Inference from Perturbation Data: Robustness, Identifiability and Experimental Design
Groß, Torsten 2021 Humboldt-Universität zu Berlin
-
Modeling biological systems with Answer Set Programming
Thiele, Sven ; Schaub, Torsten 2012 Universitätsbibliothek der Universität Potsdam
-
Logic Programming and Nonmonotonic Reasoning – 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
Cabalar, Pedro ; Son, Tran Cao 2015 Springer International Publishing
-
Logic for Programming, Artificial Intelligence, and Reasoning – 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
McMillan, Kenneth L. ; Middeldorp, Aart ; Voronkov, Andrei 2013 Springer Berlin Heidelberg
-
Logic Programming and Nonmonotonic Reasoning – 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
2013 Springer Berlin Heidelberg
-
Logic-Based Program Synthesis and Transformation – 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Albert, Elvira 2013 Springer Berlin Heidelberg
-
Frontiers of Combining Systems – 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
Tinelli, Cesare ; Sofronie-Stokkermans, Viorica 2011 Springer Berlin Heidelberg
-
Logic Programming and Nonmonotonic Reasoning – 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
Delgrande, James P. ; Faber, Wolfgang 2011 Springer Berlin Heidelberg
-
Kato: a plagiarism-detection tool for answer-set programs
Oetsch, Johannes ; Schwengerer, Martin ; Tompits, Hans 2010 Universität Potsdam
-
A general framework for preferences in answer set programming
Romero Dávila, Javier ; Schaub, Torsten ; Lang, Jérôme ; Cao Tran, Son 2025 Universität Potsdam
-
Logic for programming, artificial intelligence, and reasoning – 19th international conference ; proceedings
McMillan, Kenneth L. ; Middeldorp, Aart ; Voronkov, Andrei 2013 Springer
-
Logic programming and nonmonotonic reasoning – 12th international conference ; proceedings
Cabalar, Pedro ; Son, Tran Cao 2013 Springer
-
Frontiers of combining systems – 8th international symposium ; proceedings
Tinelli, Cesare ; Sofronie-Stokkermans, Viorica 2011 Springer
-
Parameterized Complexity in the Polynomial Hierarchy – Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy
Haan, Ronald de 2019 Springer International Publishing
-
Parameterized complexity in the polynomial hierarchy – extending parameterized complexity theory to higher levels of the hierarchy
Haan, Ronald de 2019 Springer
-
Logic-based program synthesis and transformation – 22nd international symposium ; revised selected papers
Albert, Elvira 2013 Springer
-
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning – Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
Balduccini, Marcello ; Gelfond, Michael ; Son, Tran Cao 2011 Springer Berlin Heidelberg
-
Logic programming and nonmonotonic reasoning – 11th international conference ; proceedings
Delgrande, James P. ; Faber, Wolfgang 2011 Springer
-
Logic programming, knowledge representation, and nonmonotonic reasoning – essays dedicated to Michael Gelfond on the occasion of his 65th birthday
Balduccini, Marcello ; Gelfond, Michael ; Son, Tran Cao 2011 Springer