Clause reusing framework for contradiction separation based automated deduction

Clause reusing framework for contradiction separation based automated deduction

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:International FLINS Conference (14. : Köln : 2020) Developments of artificial intelligence technologies in computation and robotics
1. Verfasser: Chen, Shuwei (VerfasserIn)
Weitere Verfasser: Xu, Yang (VerfasserIn), Liu, Jun (VerfasserIn), Cao, Feng (VerfasserIn), Jiang, Yan (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2020
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
On network energy of oriented graphs 2020 Liu, Shengjiu
Bootstrap-based homogeneous ensemble feature selection for network intrusion detection system 2020 Damtew, Yeshalem Gezahegn
Solving hard random satisfiability by an efficient local search 2020 Fu, Huimin
An evolutionary approach for congestion prediction on IoT data streams in smart city environment 2020 Mishra, Sanket
Method of usefulness analysis for user online review based on comprehensive selection rate 2020 Zhang, Hengshan
Research on BIM collaboration model and platform implementation technology based on specialty interaction 2020 Wang, Jian
BP neural network aquaculture elements optimization analysis based on elicitation Johnson reduction algorithm 2020 Yu, Zhipeng
Selecting premises by first-order formula dissimilarity 2020 Liu, Oinghua
Clause reusing framework for contradiction separation based automated deduction 2020 Chen, Shuwei
Web service composition verification based on symbol model checking and Petri nets 2020 Zhang, Shijie
An approach for rule extraction based on the linguistic 3-tuple concept lattice 2020 Chang, Chunmei
A predictive resources management for clouds 2020 Jodayree, Mahdee
A two-sided matching and diversity-enhanced method for job recommendation with employer behavioral data 2020 Chen, Yichen
Information entropy based multi-criteria recommendation 2020 Li, Hui
Dynamic scheduling of rail replacement bus timetables 2020 Yan, Zheng
An anomaly detection approach based on the combination of LSTM autoencoder and isolation forest for multivariate time series data 2020 Tran, Phuong Hanh
Arm root shape classification of young male based on artificial anthropometry 2020 Chi, Cheng
An academic plagiarism detection in Thai documents based on centroid text representation 2020 Nualnim, Sureeporn
Algorithm for the selection of informative symptoms in the classification of medical data 2020 Khasanovich, Nishanov Akhram
Extracting diagnosis rules using fuzzy binary decision tree for pregnancy consultations 2020 Song, Kehui
Alle Artikel auflisten