| The fourth answer set programming competition: Preliminary report M Alviano, F Calimeri, G Charwat, M Dao-Tran, C Dodaro, G Ianni, ... Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013 | 71 | 2013 |
| Hypersequent and labelled calculi for intermediate logics A Ciabattoni, P Maffezioli, L Spendier Automated Reasoning with Analytic Tableaux and Related Methods: 22nd …, 2013 | 31 | 2013 |
| Automated support for the investigation of paraconsistent and other logics A Ciabattoni, O Lahav, L Spendier, A Zamansky Logical Foundations of Computer Science: International Symposium, LFCS 2013 …, 2013 | 17 | 2013 |
| Taming paraconsistent (and other) logics: An algorithmic approach A Ciabattoni, O Lahav, L Spendier, A Zamansky ACM Transactions on Computational Logic (TOCL) 16 (1), 1-23, 2014 | 14 | 2014 |
| Standard completeness for extensions of MTL: an automated approach P Baldi, A Ciabattoni, L Spendier Logic, Language, Information and Computation: 19th International Workshop …, 2012 | 13 | 2012 |
| Tools for the investigation of substructural and paraconsistent logics A Ciabattoni, L Spendier European Workshop on Logics in Artificial Intelligence, 18-32, 2014 | 8 | 2014 |
| VCWC: A versioning competition workflow compiler G Charwat, G Ianni, T Krennwallner, M Kronegger, A Pfandler, C Redl, ... Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013 | 8 | 2013 |
| Der erstsprachliche Pluralerwerb im Deutschen und im Niederländischen LK Spendier University of Vienna, 2009 | 2 | 2009 |
| Tools for the investigation of sustructural, intermediate and paraconsistent logics LK Spendier Technische Universität Wien, 2015 | 1 | 2015 |
| Hypersequent and Labelled Calculi for Intermediate Logics L Spendier | | 2013 |
| Informatik-Knifflige Rätsel und andere Spielereien L Spendier | | 2013 |
| How to get featured in TIME magazine as a logician L Spendier | | 2013 |
| Automated Support for the Investigation of Paraconsistent and Other Logics LK Spendier | | 2012 |
| Systematic Proof Theory for Non-Classical Logics: Advances and Implementation LK Spendier Vienna University of Technology, 2011 | | 2011 |
| Semantic SOS over Virtual Topic Maps R Barta, T Bleier, L Spendier South African Computer Journal 43, 3-17, 2009 | | 2009 |
| Towards an Automated Support for the Investigation of Non-Classical Logics LK Spendier | | |
