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 481-500 of 840 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
481Baaz, Matthias Towards a proof theory of analogical reasoningPräsentation Presentation2010
482Kuich, Werner Considerations about weighted automataPräsentation Presentation2010
483Baaz, Matthias Beauty as a tool and as an aim in logic: the artist Petr HájekPräsentation Presentation2010
484Baaz, Matthias ; Hetzl, Stefan ; Weller, Daniel On the complexity of proof deskolemizationPräsentation Presentation2010
485Fasching, Oliver The impact of adding a constantPräsentation Presentation2010
486Jenei, Sándor On the structural description of involutive FL e -algebrasPräsentation Presentation2010
487Baaz, Matthias ; Fasching, Oliver The impact of adding a constantPräsentation Presentation2010
488Fasching, Oliver ; Baaz, Matthias Gödel logics with an operator that shifts truth valuesPräsentation Presentation2010
489El Zekey, Moataz Towards a logic for reasoning under vagueness and uncertaintyPräsentation Presentation2010
490Baaz, Matthias Gödel logicsPräsentation Presentation2010
491Baaz, M. ; Metcalfe, G. Herbrand's theorem, skolemization and proof systems for first-order Lukasiewicz logicArtikel Article2010
492Jenei, Sándor On the relationship between the rotation construction and ordered Abelian groupsArtikel Article2010
493Aleshnikov, S.. ; Boltnev, J. F. ; Esik, Zoltan ; Ishanov, S. ; Kuich, Werner Formalnije jaziki i avtomaty VI: omega-algebraicheskie sistemy i transduktory (Formal languages and automata VI: ω -algebraic systems and transducers).Artikel Article2010
494Esik, Zoltan ; Ito, Masami ; Kuich, Werner Linear languages of finite and infinite wordsKonferenzbeitrag Inproceedings 2010
495Picado Muino, David THE (PROBABILISTIC) LOGICAL CONTENT OF CADIAG2 - Rule-based Probabilistic ApproachKonferenzbeitrag Inproceedings 2010
496Jenei, Sándor On the structural description of involutive FLe-algebrasKonferenzbeitrag Inproceedings2010
497Klinov, Pavel ; Parsia, Bijan ; Picado Muino, David The Consistency of the CADIAG-2 Knowledge Base: A Probabilistic ApproachKonferenzbeitrag Inproceedings2010
498Muino, David Picado A Graded Inference Approach Based on Infinite-Valued Lukasiewicz SemanticsKonferenzbeitrag Inproceedings 2010
499Baaz, Matthias ; Leitsch, Alexander Fast cut-elimination by CERESBuchbeitrag Book Contribution 2010
500Leitsch, Alexander ; Baaz, Matthias Fast Cut-Elimination by CERESBuchbeitrag Book Contribution2010