竹村 彰浩

機械学習と論理推論の橋渡しのための知識表現手法 

2022年9月  

Gradient-Based Supported Model Computation in Vector Spaces 

LPNMR 2022: Logic Programming and Nonmonotonic Reasoning (Lecture Notes in Computer Science) 13416 336-349 2022年9月  査読有り

Generating Explainable Rule Sets from Tree-Ensemble Learning Methods by Answer Set Programming 

ICLP 2021: Proceedings 37th International Conference on Logic Programming (Technical Communications) 345 127-140 2021年9月17日  査読有り

Gradient-Based Supported Model Computation in Vector Spaces 

ASPOCP 2021: Answer Set Programming and Other Computing Paradigms. Proceedings of the International Conference on Logic Programming 2021 Workshops 2021年9月  査読有り

Halogen- and Hydrogen-Bonded Salts and Co-crystals Formed from 4-Halo-2,3,5,6-tetrafluorophenol and Cyclic Secondary and Tertiary Amines: Orthogonal and Non-orthogonal Halogen and Hydrogen Bonding, and Synthetic Analogues of Halogen-Bonded Biological Syst 

Chemistry - A European Journal 2014年5月26日  査読有り筆頭著者

Competition and cooperation: hydrogen and halogen bonding in co-crystals involving 4-iodotetrafluorobenzoic acid, 4-iodotetrafluorophenol and 4-bromotetrafluorophenol 

CrystEngComm 2014年  査読有り筆頭著者