logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
arrow
返回期刊详情
L

Logic Journal of the IGPL

IF0.8
论文数77
被引数543
期刊论文 77
发表时间
delete
Preface-Formal representations in model-based reasoning and abduction前言—基于模型推理和溯因中的形式化表示
deleteLogic Journal of the IGPL
IF0.8
delete2026-04-01
delete0
PREAI
deleteIppoliti, Emiliano; Magnani, Lorenzo; Arfini, Selene
delete分享
delete收藏
Reflections on the scope of totally grounded analogies对完全接地类比的范畴的思考
deleteLogic Journal of the IGPL
IF0.8
delete2026-04-01
delete0
PREAI
deleteGuarini, Marcello
delete分享
delete收藏
Hyper swap structures and Kalman functors: the case study of da Costa logic Cω超交换结构与Kalman函子：da Costa逻辑Cω的案例研究
deleteLogic Journal of the IGPL
IF0.8
delete2026-04-01
delete0
PREAI
deleteConiglio, Marcelo E.; Roberto, Kaique Matias De Andrade; Golzio, Ana Claudia
delete分享
delete收藏
Notes on type-free axiomatic theories of positive truth关于无类型公理化的肯定真理论注记
deleteLogic Journal of the IGPL
IF0.8
delete2026-02-01
delete0
PREAI
deleteLiu, Dawei; Xiong, Wei
delete分享
delete收藏
Feature combination from different mammogram perspectives to improve lesion classification从不同乳腺X光图像视角进行特征组合以改进病灶分类
deleteLogic Journal of the IGPL
IF0.8
delete2026-02-01
delete0
PREAI
deleteBajcsi, Adel; Chira, Camelia
delete分享
delete收藏
Editorial: Special issue CISIS 2023编辑：CISIS 2023 特刊
deleteLogic Journal of the IGPL
IF0.8
delete2026-02-01
delete0
PREAI
deletePerez, Hilde; Alvarez, Francisco Martinez; de Pison, Francisco Javier Martinez; Flecha, Jose Ramon Villar; de la Cal, Enrique; Psaila, Giuseppe; Troncoso, Alicia; Jove, Esteban; Quintian, Hector; Corchado, Emilio
delete分享
delete收藏
Information types in intuitionistic predicate logic with constant domains直觉主义谓词逻辑中常量域的信息类型
deleteLogic Journal of the IGPL
IF0.8
delete2026-02-01
delete0
PREAI
deletePunochar, Vit; Noguera, Carles
delete分享
delete收藏
An iterative algorithm for determining contact-rate parameters in individual-based malware propagation models一种用于确定个体基恶意软件传播模型中接触率参数的迭代算法
deleteLogic Journal of the IGPL
IF0.8
delete2026-02-01
delete0
PREAI
deleteCasado-Vara, Roberto; Del Rey, Angel Martin; Basuerto, Nuno; Urda, Daniel; Herrero, Alvaro
delete分享
delete收藏
A tool for generating and evaluating synthetic embryo development videos using generative models基于生成模型的合成胚胎发育视频生成与评估工具
deleteLogic Journal of the IGPL
IF0.8
delete2026-02-01
delete0
PREAI
deleteCelard, Pedro; Vieira, Adrian Seara; Iglesias, Eva Lorenzo; Sorribes-Fdez, Jose Manuel; Borrajo, Lourdes
delete分享
delete收藏
Enhancing web traffic attacks identification through ensemble methods and feature selection通过集成方法和特征选择增强网页流量攻击识别
deleteLogic Journal of the IGPL
IF0.8
delete2026-02-01
delete0
PREAI
deleteUrda, Daniel; Martinez, Branly; Basurto, Nuno; Kull, Meelis; Arroyo, Angel; Herrero, Alvaro
delete分享
delete收藏
Exploring quantum edge detection for sheep body contours in images探索图像中羊身体轮廓的量子边缘检测
deleteLogic Journal of the IGPL
IF0.8
delete2026-02-01
delete0
PREAI
deleteMerino Bajo, Santiago; Sanchez-Gonzalez, Lidia; Matellan, Vicente
delete分享
delete收藏
Anomaly detection comparison for photo-paroxysmal response detection光痫性发作反应检测中的异常检测比较
deleteLogic Journal of the IGPL
IF0.8
delete2026-02-01
delete0
PREAI
deleteMoncada Martins, Fernando; Gonzalez, Victor M.; Villar, Jose R.; Gutierrez, Maria Antonia; Calvo Calleja, Pablo; Urdiales Sanchez, Sara; Diaz Perez, Ricardo; Dalla-Porta Acosta, Alinne
delete分享
delete收藏
The lightweight cryptosystem TinyJambu: security and applications in IoT environments轻量级密码系统TinyJambu：安全性与物联网环境中的应用
deleteLogic Journal of the IGPL
IF0.8
delete2026-02-01
delete0
deleteOAAI
deleteFuster-Sabater, Amparo; Pazo-Robles, Maria Eugenia
delete分享
delete收藏
A didactic overview of Transformer applications: model variations and user guidelinesTransformer应用的教学性概述：模型变体和用户指南
deleteLogic Journal of the IGPL
IF0.8
delete2026-02-01
delete0
PREAI
deleteCabrera-Bermejo, M., I; German, M.; De La Rosa, D.; Del Jesus, M. J.; Rivera, A. J.; Elizondo, D.; Charte, F.; Godoy, M. D. Perez
delete分享
delete收藏
A new proposal to speed up one-class projectionist techniques一种加速单类投影技术的新提案
deleteLogic Journal of the IGPL
IF0.8
delete2026-02-01
delete0
PREAI
deleteMichelena, Alvaro; Vidal-Bralo, Alejandro; Aveleira-Mata, Jose; Penedo, Manuel G.; Calvo-Rolle, Jose-Luis; Jove, Esteban
delete分享
delete收藏
Decomposability of ℝ and dense negative subsets of ℝ in constructive reverse mathematicsℝ的可分解性与ℝ的稠密负子集在构造性反推数学中的研究
deleteLogic Journal of the IGPL
IF0.8
delete2026-02-01
delete0
PREAI
deleteArdeshir, Mohammad; Tahmasbizadeh, Mohammad
delete分享
delete收藏
Stability analysis of an improved stochastic malware diffusion SEIR model改进的随机恶意软件扩散SEIR模型的稳定性分析
deleteLogic Journal of the IGPL
IF0.8
delete2026-02-01
delete0
PREAI
deleteLlamazares-Elias, Samir; Tocino, Angel
delete分享
delete收藏
Criteria for determining whether a t-norm is an additively generated cancellative one判定一个t-范数是否为可加生成的可约t-范数的标准
deleteLogic Journal of the IGPL
IF0.8
delete2026-02-01
delete0
PREAI
deleteSu, Yong; Zong, Wenwen; Mesiar, Radko
delete分享
delete收藏
Understanding the black box: Android malware detection through Explainable AI通过可解释人工智能理解黑箱：Android恶意软件检测
deleteLogic Journal of the IGPL
IF0.8
delete2026-02-01
delete0
PREAI
deleteMiranda-Garcia, Alberto; Larrakoetxea, Nerea Gomez; Pastor-Lopez, Iker; Sanz Urquijo, Borja; Bringas, Pablo Garcia
delete分享
delete收藏
Failure and anomaly detection for automatic meter reading network in intelligent water system智能水系统中自动抄表网络的故障与异常检测
deleteLogic Journal of the IGPL
IF0.8
delete2026-02-01
delete0
PREAI
deleteSaganowski, Lukasz; Andrysiak, Tomasz
delete分享
delete收藏