PREINING, Norbert （プライニング　ノルベルト）　准教授
ソフトウェア検証研究センター

◇発表論文

• Gödel-Dummett Logics，Matthias Baaz, Norbert Preining，Handbook of Mathematical Fuzzy Logic, College Publications，II，585, 42，2011/12/21
• First-order satisfiability in Gödel logics: an NP-complete fragment，Matthias Baaz, Agata Ciabattoni, Norbert Preining，Theoretical Computer Science，412，6612, 12，2011/08/16
• SAT in monadic Goedel logics: A borderline between decidability and undecidability，Matthias Baaz, Agata Ciabattoni, Norbert Preining，Proceedings of WoLLIC 2009, LNCS，5512，113,11，2009

全件表示

◇講演発表

• Gödel Logics, Continuous Embeddability and Fraisse's Conjecture，Norbert Preining，学習理論における組合せ論，九州大学，2012-09-19
• TeX Live (2012): history, installation, usage, support for Japanese TeX users，Norbert Preining，数学ソフトウェアとフリードキュメント/15，九州大学，2012-09-17
• Monadic Gödel logics with one predicate symbol，Norbert Preining，JAIST Logic Seminar，JAIST，2012-06-14

全件表示

◇所属学会

• Kurt Goedel Society，Publicity Chair，2000-

◇国際会議主催状況

• Asian Workshop on Philosophical Logic，Hiroakira Ono (RCIS/JAIST), Norbert Preining (RCIS/JAIST)，15-17 February 2012，Ishikawa Hightech Center, Nomi, Ishikawa
• Logic, Algebra and Truth Degree 2012，Norbert Preining (RCIS/JAIST)，10-14 September 2012，Ishikawa Prefectural Museum of Art, Kanazawa, Japan
• Workshop on Logic and Computation，Kokichi Futatsugi, Mizuhito Ogawa, Hiroakira Ono, Norbert PreiningJAIST，2011-02-08/09，Kanazawa, Japan

全件表示

◇審議会等への参画状況

• Kurt Goedel Society，Publicity Chair，10 years

◇その他の国際・国内貢献等

• Kurt Goedel Society，Editor of the Collegium Logicum Volume V
• Kurt Goedel Society，Editor of the Collegium Logicum Volume VI
• Kurt Goedel Society，Editor of Collegium Logicum Volume IX

全件表示