Follow
Lara Katharina Spendier
Lara Katharina Spendier
PhD candidate in Computational Logic, Vienna University of Technology
Verified email at tuwien.ac.at - Homepage
Title
Cited by
Cited by
Year
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
722013
Hypersequent and labelled calculi for intermediate logics
A Ciabattoni, P Maffezioli, L Spendier
Automated Reasoning with Analytic Tableaux and Related Methods: 22nd …, 2013
312013
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
172013
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
142014
Standard completeness for extensions of MTL: an automated approach
P Baldi, A Ciabattoni, L Spendier
Logic, Language, Information and Computation: 19th International Workshop …, 2012
132012
Tools for the investigation of substructural and paraconsistent logics
A Ciabattoni, L Spendier
European Workshop on Logics in Artificial Intelligence, 18-32, 2014
82014
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
82013
Der erstsprachliche Pluralerwerb im Deutschen und im Niederländischen
LK Spendier
University of Vienna, 2009
22009
Tools for the investigation of sustructural, intermediate and paraconsistent logics
LK Spendier
Technische Universität Wien, 2015
12015
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
The system can't perform the operation now. Try again later.
Articles 1–16