Name Card

Full name Familienname, Vorname
Zamansky, Anna
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 29 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ciabattoni, Agata ; Lahav, Ori ; Spendier, Lara Katharina ; Zamansky, Anna Taming Paraconsistent (and Other) Logics : An Algorithmic ApproachArtikel Article 2014
2Baaz, Matthias ; Lahav, Ori ; Zamansky, Anna Finite-valued Semantics for Canonical Labelled CalculiArtikel Article 15-Mar-2013
3Arieli, Ofer ; Zamansky, Anna A dissimilarity-based framework for generating inconsistency-tolerant logicsArtikel Article 14-Feb-2013
4Zamansky, Anna ; Avron, Arnon Invited tutorial on non-deterministic semantcsPräsentation Presentation2013
5Ciabattoni, Agata ; Lahav, Ori ; Spendier, Lara ; Zamansky, Anna Automated Support for the Investigation of Paraconsistent and Other LogicsKonferenzbeitrag Inproceedings2013
6Avron, A. ; Konikowska, B. ; Zamansky, A. Cut-free sequent calculi for C-systems with generalized finite-valued semanticsArtikel Article2013
7Zamansky, Anna Modular construction of cut-free calculi for paraconsistent logicsPräsentation Presentation2012
8Zamansky, Anna On applications of non-deterministic semantics for proof theoretical investigationsPräsentation Presentation2012
9Zamansky, Anna Inconsistency-tolerance in knowledge-based systems by dissimilaritiesPräsentation Presentation2012
10Zamansky, Anna Applications of non-determinism in proof -theoryPräsentation Presentation2012
11Baaz, Matthias ; Lahav, Ori ; Zamansky, Anna Effective finite-valued semantic for labelled calculiPräsentation Presentation2012
12Baaz, Matthias ; Lahav, Ori ; Zamansky, Anna Effective finite-valued semantic for labelled calculiPräsentation Presentation2012
13Zamansky, Anna Preferential framework for trivialization-resistant reasoning with inconsistent informationPräsentation Presentation2012
14Arieli, Ofer ; Zamansky, Anna Inconsistency-tolerance in knowledge-based systems by dissimilaritiesKonferenzbeitrag Inproceedings2012
15Zamansky, Anna A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent InformationKonferenzbeitrag Inproceedings 2012
16Avron, Arnon ; Konikowska, Beata ; Zamansky, Anna Modular Construction of Cut-free Sequent Calculi for Paraconsistent LogicsKonferenzbeitrag Inproceedings 2012
17Baaz, Matthias ; Lahav, Ori ; Zamansky, Anna Effective finite-valued semantic for labelled calculiKonferenzbeitrag Inproceedings2012
18Arieli, Ofer ; Zamansky, Anna Simplified forms of computerized reasoning with distance semanticsArtikel Article2011
19Arieli, Ofer ; Zamansky, Anna A framework for reasoning under uncertainty based on non-deterministic distance semanticsArtikel Article2011
20Ciabattoni, Agata ; Zamansky, Anna Basic contructive connectives, determinism and matric-based semanticstPräsentation Presentation2011