4.7 Article

Supervised Learning Perspective in Logic Mining

相关参考文献

注意:仅列出部分参考文献,下载原文获取全部文献信息。
Article Management

Sparse regression for large data sets with outliers

Lea Bottmer et al.

Summary: The paper introduces a sparse shooting S algorithm for regression analysis on big data sets with more predictors than observations and outliers. The resulting regression coefficients are sparse, selecting the most relevant predictors and showing robustness to outliers. The method's excellent performance is demonstrated in a simulation study and a real data application on car fuel consumption.

EUROPEAN JOURNAL OF OPERATIONAL RESEARCH (2022)

Article Management

A satisfiability and workload-based exact method for the resource constrained project scheduling problem with generalized precedence constraints

Guilherme Henrique Ismael de Azevedo et al.

Summary: This paper addresses the resource constrained project scheduling problem with generalized precedence constraints by proposing an exact method that models the problem as a satisfiability problem. Extensive computational experiments show that the method is competitive and almost all known optima were found.

EUROPEAN JOURNAL OF OPERATIONAL RESEARCH (2021)

Article Computer Science, Artificial Intelligence

Incorporation of multimodal multiobjective optimization in designing a filter based feature selection technique

Kanchan Jha et al.

Summary: The work introduces a new feature selection technique that combines multimodal multiobjective optimization and filter-based feature selection, aiming to generate diverse feature subsets and evaluate their quality using different measurements. By employing multiobjective PSO and non-dominated sorting with special crowding distance, the approach achieves the objectives of identifying a large number of Pareto-optimal solutions and selecting feature subsets with minimal redundancy and high correlation. Experimental results demonstrate that the multimodal PSO based feature selection approach outperforms its simple PSO counterpart in finding more feature subsets in multiobjective environment.

APPLIED SOFT COMPUTING (2021)

Article Computer Science, Artificial Intelligence

Propositional proof systems based on maximum satisfiability

Maria Luisa Bonet et al.

Summary: This paper discusses the use of dual-rail MaxSAT systems to solve Boolean satisfiability (SAT) problems by introducing core-guided systems, minimal hitting set systems, and MaxSAT resolution inference systems. These systems demonstrate strong performance in handling problems like the pigeonhole principle.

ARTIFICIAL INTELLIGENCE (2021)

Article Automation & Control Systems

A hybrid ensemble-filter wrapper feature selection approach for medical data classification

Namrata Singh et al.

Summary: The study introduced a hybrid feature selection model based on ensemble-filter for disease detection, showing superior performance compared to other state-of-the-art algorithms in terms of accuracy, sensitivity, specificity, f1score, area under curve evaluation measures and number of selected features. The proposed hybrid approach is concluded to be more effective and reliable in selecting highly discriminative features, offering a promising tool for enhancing the classification performance of medical datasets for both clinicians and researchers.

CHEMOMETRICS AND INTELLIGENT LABORATORY SYSTEMS (2021)

Article Computer Science, Artificial Intelligence

Data selection to avoid overfitting for foreign exchange intraday trading with machine learning

Yuan-Long Peng et al.

Summary: The study highlights the importance of tackling overfitting and selecting trading pairs and frequencies in algorithmic trading. By using a log-distance path loss model, overfitting in data modeling can be effectively addressed to improve trading returns.

APPLIED SOFT COMPUTING (2021)

Article Engineering, Chemical

Novel Hopfield Neural Network Model with Election Algorithm for Random 3 Satisfiability

Muna Mohammed Bazuhair et al.

Summary: This study introduces higher-order Random k Satisfiability in neural networks to address the issue of representing non-systematic logical rules, optimizing the learning phase with an Election Algorithm. The results show the compatibility and performance of Random 3 Satisfiability with the Election Algorithm in optimizing the learning and retrieval phase, compared to the conventional Exhaustive Search model.

PROCESSES (2021)

Article Engineering, Chemical

Systematic Boolean Satisfiability Programming in Radial Basis Function Neural Network

Mohd. Asyraf Mansor et al.

PROCESSES (2020)

Article Computer Science, Artificial Intelligence

On the performance of Matthews correlation coefficient (MCC) for imbalanced dataset

Qiuming Zhu

PATTERN RECOGNITION LETTERS (2020)

Article Mathematics

Discrete Mutation Hopfield Neural Network in Propositional Satisfiability

Mohd Shareduwan Mohd Kasihmuddin et al.

MATHEMATICS (2019)

Article Transportation

Nonlinear vector auto-regression neural network for forecasting air passenger flow

Shaolong Sun et al.

JOURNAL OF AIR TRANSPORT MANAGEMENT (2019)

Article Computer Science, Interdisciplinary Applications

Satisfiability modulo theory (SMT) formulation for optimal scheduling of task graphs with communication delay

Avinash Malik et al.

COMPUTERS & OPERATIONS RESEARCH (2018)

Article Multidisciplinary Sciences

Discovering vesicle traffic network constraints by model checking

Ankit Shukla et al.

PLOS ONE (2017)

Article Multidisciplinary Sciences

Artificial Neural Network Approach for Predicting the Water Turbidity Level Using Optical Tomography

Mohd Taufiq Mohd Khairi et al.

ARABIAN JOURNAL FOR SCIENCE AND ENGINEERING (2016)

Article Engineering, Geological

Logistic regression and neural network classification of seismic records

J. A. Vallejos et al.

INTERNATIONAL JOURNAL OF ROCK MECHANICS AND MINING SCIENCES (2013)

Article Computer Science, Artificial Intelligence

Optimizing with minimum satisfiability

Chu Min Li et al.

ARTIFICIAL INTELLIGENCE (2012)

Article Computer Science, Theory & Methods

Logic mining in neural network: reverse analysis method

Saratha Sathasivam et al.

COMPUTING (2011)

Article Urology & Nephrology

Linear and logistic regression analysis

G. Tripepi et al.

KIDNEY INTERNATIONAL (2008)