Следене
Lara Katharina Spendier
Lara Katharina Spendier
PhD candidate in Computational Logic, Vienna University of Technology
Потвърден имейл адрес: tuwien.ac.at - Начална страница
Заглавие
Позовавания
Позовавания
Година
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
702013
Hypersequent and labelled calculi for intermediate logics
A Ciabattoni, P Maffezioli, L Spendier
Automated Reasoning with Analytic Tableaux and Related Methods: 22nd …, 2013
292013
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
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
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
122014
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
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
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–16