An Extension Rule Based First-Order Theorem Prover

Xia Wu(Beijing Institute of Technology), Kun Hou(Ministry of Education of the People's Republic of China), Jigui Sun(Ministry of Education of the People's Republic of China)
Lecture notes in computer science
January 1, 2006
10.1007/11811220_43
Cited by 4

Related Papers

Impairment and compensation coexist in amnestic MCI default mode network
|NeuroImage|2009|328
Altered default mode network connectivity in alzheimer's disease—A resting functional MRI and bayesian network study
|Human Brain Mapping|2011|208
Cognitive Workload Recognition Using EEG Signals and Machine Learning: A Review
|IEEE Transactions on Cognitive and Developmental Systems|2021|207
The nuclear transcription factor FoxG1 affects the sensitivity of mimetic aging hair cells to inflammation by regulating autophagy pathways
|Redox Biology|2019|169
A novel end-to-end 1D-ResCNN model to remove artifact from EEG signals
|Neurocomputing|2020|151