Folgen
Lara Katharina Spendier
Lara Katharina Spendier
PhD candidate in Computational Logic, Vienna University of Technology
Bestätigte E-Mail-Adresse bei tuwien.ac.at - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
692013
Hypersequent and labelled calculi for intermediate logics
A Ciabattoni, P Maffezioli, L Spendier
Automated Reasoning with Analytic Tableaux and Related Methods: 22nd …, 2013
302013
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
72013
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–16