- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
ATWGNNS: Graph simplified representation and learning of logical formula for premise selection
Artificial Intelligence 357 (C):104562 (2026)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
Li xiang di zhao huan.Yulin Kuai, Zhigen Wu & Guangli Zhang (eds.) - 1986 - [Wuhang shi]: Hubei sheng xin hua shu dian fa xing.
Mengzi lun li si xiang yan jiu: yi Lieweinasi lun li xue wei can zhao = Mengzi lunli sixiang yanjiu: yi Lieweinasi lunlixue wei canzhao.Kai Li - 2016 - Beijing Shi: Ren min chu ban she.
Ru he zou xia qu: lun li yu yi liao = Towards sustainability: medical ethics and professionalism.Haowen Chen - 2018 - Xianggang: Xianggang cheng shi da xue chu ban she. Edited by Jiecheng Ou.
Po yu li de shuang chong bian zou: xin Zhongguo cheng li chu qi xiang cun she hui dao de zhi xu de gai zao yu jian she.Dibin Xie - 2009 - Changsha Shi: Hunan ren min chu ban she.
Wu li xue ming ci bu bian: Ying Han dui zhao.Zhongguo Ke Xue Yuan (ed.) - 1970 - Beijing: Xin hua shu dian Beijing fa xing suo fa xing.
Analytics
Added to PP
2026-05-21
Downloads
9 (#2,095,764)
6 months
9 (#1,245,574)
2026-05-21
Downloads
9 (#2,095,764)
6 months
9 (#1,245,574)
Historical graph of downloads
Author's Profile
References found in this work
Approximating problems in abstract argumentation with graph convolutional networks.Lars Malmqvist, Tangming Yuan & Peter Nightingale - 2024 - Artificial Intelligence 336 (C):104209.
Introduction: Progress in formal commonsense reasoning.Ernest Davis & Leora Morgenstern - 2004 - Artificial Intelligence 153 (1-2):1-12.