Name Card

Full name Familienname, Vorname
Arieli, Ofer
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-7 of 7 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Arieli-2022-Annotated Sequent Calculi for Paraconsistent Reasoning and Th...-vor.pdf.jpgArieli, Ofer ; van Berkel, Kees ; Straßer, Christian Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical ArgumentationInproceedings Konferenzbeitrag 2022
2Arieli, Ofer ; Zamansky, Anna A dissimilarity-based framework for generating inconsistency-tolerant logicsArtikel Article 14-Feb-2013
3Arieli, Ofer ; Zamansky, Anna Inconsistency-tolerance in knowledge-based systems by dissimilaritiesKonferenzbeitrag Inproceedings2012
4Arieli, Ofer ; Zamansky, Anna Simplified forms of computerized reasoning with distance semanticsArtikel Article2011
5Arieli, Ofer ; Zamansky, Anna A framework for reasoning under uncertainty based on non-deterministic distance semanticsArtikel Article2011
6Arieli, Ofer ; Avron, Arnon ; Zamansky, Anna What is an ideal logic for reasoning with inconsistency?Konferenzbeitrag Inproceedings 2011
7Arieli, Ofer ; Avron, Arnon ; Zamansky, Anna Maximal and Premaximal Paraconsistency in the Framework of Three-Valued SemanticsArtikel Article 2011

Contributing Publications Mitbeteiligte Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
12022-On Some Weakened Forms of Transitivity in the Logic of Norms-vor.pdf.jpgParent, Xavier On Some Weakened Forms of Transitivity in the Logic of NormsInproceedings Konferenzbeitrag 2022