Forschungsbereich Computational Logic

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E104-02 - Forschungsbereich Computational Logic
 
Code Kennzahl
E104-02
 
Type of Organization Organisationstyp
Research Division
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 

OrgUnit's Publications


Results 461-480 of 840 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
461Zamansky, Anna ; Avron, Arnon Canonical signed calculi with multi-ary quantifiersArtikel Article 2011
462El Zekey, Moataz ; Novák, Vilém ; Mesiar, Radko On good EQ-algebrasArtikel Article 2011
463Arieli, Ofer ; Avron, Arnon ; Zamansky, Anna Maximal and Premaximal Paraconsistency in the Framework of Three-Valued SemanticsArtikel Article 2011
464Fermüller, Christian Comments on Vagueness in Language: The Case Against Fuzzy Logic Revisited by Uli SauerlandBuchbeitrag Book Contribution2011
465Fermüller, Christian ; Hajek, Petr A Conversation About Fuzzy Logic and VaguenessBuchbeitrag Book Contribution2011
466Avron, Arnon ; Zamansky, Anna Non-deterministic semantics for logical systemsBuchbeitrag Book Contribution2011
467Jenei, Sándor On involutive FL e algebrasPräsentation Presentation2010
468Baaz, Matthias ; Preining, Norbert Quantified propositional logics and quantifier eliminiationPräsentation Presentation2010
9Ciabattoni, Agata ; Rusnok, Pavel On the Classical Content of Monadic G with Involutive Negation and its Application to a Fuzzy Medical Expert SystemsKonferenzbeitrag Inproceedings2010
10Kuich, Werner Considerations about weighted automataPräsentation Presentation2010
11Fasching, Oliver Gödel logics with unary operators acting on thruth valuesPräsentation Presentation2010
12Baaz, Matthias The epsilon-calculus in non-classical logicsPräsentation Presentation2010
13El Zekey, Moataz On tied adjointness algebras and their role in approximate reasoningPräsentation Presentation2010
14Picado Muino, David The consistency of Cadiag2's knowledge base: A probabilistic approachPräsentation Presentation2010
15Fasching, Oliver Gödel logics and monotonous shift operatorsPräsentation Presentation2010
16Baaz, Matthias GeneralizationPräsentation Presentation2010
17Baaz, Matthias Decidability/undecidability of the monadic fragment of Gödel logics w.r.t validity/satisfiabilityPräsentation Presentation2010
18Baaz, Matthias Towards a proof theory of analogical reasoningPräsentation Presentation2010
19Picado Muino, David The probabilistic logical content of CADIAG-2Präsentation Presentation2010
20Picado Muino, David A graded inference approach based on infinite-valued Lukasiewicz semanticsPräsentation Presentation2010