Results 131 to 140 of about 38,933 (219)

Special Issue of Selected Extended Papers of IJCAR 2020. [PDF]

J Autom Reason, 2022
Peltier N, Sofronie-Stokkermans V.
europepmc   +1 more source

Quantum kernel methods for marketing analytics with convergence theory and separation bounds. [PDF]

Sci Rep
Sáez Ortuño L, Forgas Coll S, Ferrara M.   +2 more
europepmc   +1 more source

Optimizing biometric system selection via complex spherical fuzzy einstein aggregation operators. [PDF]

Sci Rep
Kanwal S, Shuaib U, Alhamzi G, Baidar AW.   +3 more
europepmc   +1 more source

Criteria for oscillation of noncanonical superlinear half-linear dynamic equations. [PDF]

Sci Rep
Hassan TS, Cesarano C, Mesmouli MB, Madani YA, Abdel Menaem A, Tchalla AMJ, Glalah BA.   +6 more
europepmc   +1 more source

SCADET: A detection framework for AI-generated artwork integrating dynamic frequency attention and contrastive spectral analysis. [PDF]

PLoS One
Zhang X, Yu Z, Zhao J.
europepmc   +1 more source

Automated Theorem Proving : Resolution vs. Tableaux

, 2002
The purpose of this master thesis was to investigate which of the two methods, resolution and tableaux, that is the most appropriate for automated theorem proving. This was done by implementing an automated theorem prover, comparing and documenting implementation problems, and measuring proving efficiency. In this thesis, I conclude that the resolution
openaire   +1 more source

Towards robust electronic health record systems: integrating formal verification and process modeling techniques. [PDF]

BMC Med Res Methodol
Khan S, Akhtar N, Mushtaq MF, Abdel Samee N, Mahmoud NF, Ashraf I.   +5 more
europepmc   +1 more source

Decision support system based on AHP and PROMETHEE under rough pythagorean fuzzy set information for selection of basketball team. [PDF]

Sci Rep
Zhang C, Li G.
europepmc   +1 more source

Residual metric learning with class-specific consistency for multiclass classification. [PDF]

PLoS One
Hu K, Ma J.
europepmc   +1 more source

Minimal reduct for propositional circumscription. [PDF]

Front Artif Intell
Xie Z, Wang Y, Yang L, Feng R.
europepmc   +1 more source