Our project will organize a special session at JSAI-2018
|Our project will organize a special session OS-16 "Satisfiability and Discrete Structure Manipulation in AI" at JSAI-2018, which will be held on June 5-8, 2018 at Kagoshima. Submission due is March 9, 2018.|
|(January 31, 2018 17:32 By minato)|
Our result on online learning with ZDDs is accepted to AISTATS-2018.
|Our paper "Efficient Bandit Combinatorial Optimization Algorithm with Zero-suppressed Binary Decision Diagrams" has been accepted to The 21st International Conference on |
Artificial Intelligence and Statistics (AISTATS-2018).
This is a joint work with Shinsaku Sakaue at NTT.
|(January 15, 2018 14:43 By Ishihata)|
Our two papers have been accepted to AAAI-2018.
|The following two papers have been accepted to AAAI-2018.|
Shinsaku Sakaue and Masakazu Ishihata:
"Accelerated Best-first Search with Upper-bound Computation for Submodular Function Maximization"
Satoshi Hara and Masakazu Ishihata:
"Approximate and Exact Enumeration of Rule Models"
|(November 15, 2017 15:50 By Ishihata)|
Thank you for your registration for "Autumn Symposium".
|2017 autumn workshop of our project will be held on Nov. 12(Sun) to 14(Tue) at Akkeshi-Town, Hokkaido. Please check here for latest information.|
|(September 7, 2017 19:32 By Ishihata)|
Received the Best Paper Award of PECCS/PEC 2017
|The paper "Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking" written by Reona Minoda and Shin-ichi Minato received the Best Paper Award of the 7th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PECCS/PEC 2017).|
|(August 8, 2017 12:40 By minato)|