1. 本研究の学術的背景は、計算による薬物設計分野で、人工知能（AI）モデルが新規化合物を生成し、それらが所望の特性や生物学的活動性を持つようになったことです。しかし、深層生成モデルの訓練に必要なデータの不足から、これらの手法の一部は別 ...

The Journal of Philosophical Logic provides a forum for work at the crossroads of philosophy and logic, old and new, with contributions ranging from conceptual to technical. Accordingly, the Journal ...

The paper contains a survey of (mainly unpublished) adaptive logics of inductive generalization. These defeasible logics are precise formulations of certain methods. Some attention is also paid to ...

Description logics constitute a family of formal knowledge representation languages that underpin a wide range of modern semantic systems, including the Semantic Web. They provide a well-founded ...