ATWGNNS: Graph simplified representation and learning of logical formula for premise selection

Autores: Xingxing He and Zhongxu Zhao and Yongqi Lan and Yingfang Li and Li Zou and Luis Martínez and Tianrui Li

Tipo: articulo_revista

Año: 2026

Revista: Artificial Intelligence

Volumen: 357

Páginas: 104562

DOI: https://doi.org/10.1016/j.artint.2026.104562

URL: https://www.sciencedirect.com/science/article/pii/S0004370226000883

Descargar BibTeX