Results 131 to 140 of about 224,550 (312)

Probabilistic Logic Programming

, 2016
We present a new approach to probabilistic logic programs with a possible worlds semantics. Classical program clauses are extended by a subinterval of [0,1] that describes the range for the conditional probability of the head of a clause given its body.
openaire   +1 more source

Roadmap on Artificial Intelligence‐Augmented Additive Manufacturing

Advanced Intelligent Systems, EarlyView.
This Roadmap outlines the transformative role of artificial intelligence‐augmented additive manufacturing, highlighting advances in design, monitoring, and product development. By integrating tools such as generative design, computer vision, digital twins, and closed‐loop control, it presents pathways toward smart, scalable, and autonomous additive ...
Ali Zolfagharian, Liuchao Jin, Qi Ge, Wei‐Hsin Liao, Andrés Díaz Lantada, Francisco Franco Martínez, Tianyu Zhang, Tao Liu, Charlie C. L. Wang, Mohammad Hossein Mosallanejad, Reza Ghanavati, Abdollah Saboori, Alejandro De Blas De Miguel, William Solórzano‐Requejo, Yi Cai, Xiangyang Dong, Huangyi Qu, Najmeh Samadiani, Guangyan Huang, Austin Downey, Yanzhou Fu, Lang Yuan, Tsz‐Kwan (Glory) Lee, Arbind Agrahari Baniya, Eisha Waseem, Abdul Rahman Sani, Abbas Z. Kouzani, Yijia Wu, Markus P. Nemitz, Masoud Shirzad, Dageon Oh, Seung Yun Nam, Amedeo Franco Bonatti, Irene Chiesa, Gabriele Maria Fortunato, Giovanni Vozzi, Carmelo De Maria, Mahdi Bodaghi   +37 more
wiley   +1 more source

Predicting Postresection Colorectal Liver Metastases Recurrence Using Advanced Graph Neural Networks with Explainability and Causal Inference

Advanced Intelligent Systems, EarlyView.
This study introduces a framework that combines graph neural networks with causal inference to forecast recurrence and uncover the clinical and pathological factors driving it. It further provides interpretability, validates risk factors via counterfactual and interventional analyses, and offers evidence‐based insights for treatment planning ...
Jubair Ahmed, Md. Abdur Rahman, Mohaimenul Azam Khan Raiaan, Sami Azam   +3 more
wiley   +1 more source

Probabilistic Linear Logic Programming with an application to Bayesian Networks computations [PDF]

Matteo Acclavio, Roberto Maieli
openalex   +2 more sources

Semirings for Probabilistic and Neuro-Symbolic Logic Programming [PDF]

International Journal of Approximate Reasoning
Vincent Derkinderen, Robin Manhaeve, Pedro Zuidberg Dos Martires, Luc De Raedt   +3 more
semanticscholar   +1 more source

Real‐Time and Rapid Dynamic Missile Identification Utilizing a TiOx Memristor Array

Advanced Intelligent Systems, EarlyView.
Real‐time missile target identification is demonstrated using an artificial intelligence model based on step‐weighted long–short‐term memory networks and a TiOx memristor array. The approach classifies five projectile types with enhanced early‐stage prediction through data augmentation and custom training strategies. Achieving 94.4% accuracy, the model
Mingyu Kim, Gwanyeong Park, Gunuk Wang
wiley   +1 more source

Programming with Personalized PageRank: A Locally Groundable First-Order Probabilistic Logic [PDF]

, 2013
William Yang Wang, Kathryn Mazaitis, William W. Cohen   +2 more
openalex   +1 more source

A Generalizable Transformer Framework for Gene Regulatory Network Inference from Single‐Cell Transcriptomes

Advanced Intelligent Systems, EarlyView.
FTGRN introduces an LLM‐enhanced framework for gene regulatory network inference through a two‐stage workflow. It combines a Transformer‐based model, pretrained on GPT‐4 derived gene embeddings and regulatory knowledge, with a fine‐tuning stage utilizing single‐cell RNA‐seq data.
Guangzheng Weng, Hyobin Kim, Patrick Martin, Junil Kim, Tae‐Hyung Kim, Gi‐Hoon Nam, Dongha Kim, Kyoung Jae Won   +7 more
wiley   +1 more source

Applications of Probabilistic Logic Programming [PDF]

, 2015
Luc De Raedt
openalex  

Review of Memristors for In‐Memory Computing and Spiking Neural Networks

Advanced Intelligent Systems, EarlyView.
Memristors uniquely enable energy‐efficient, brain‐inspired computing by acting as both memory and synaptic elements. This review highlights their physical mechanisms, integration in crossbar arrays, and role in spiking neural networks. Key challenges, including variability, relaxation, and stochastic switching, are discussed, alongside emerging ...
Mostafa Shooshtari, Teresa Serrano‐Gotarredona, Bernabé Linares‐Barranco   +2 more
wiley   +1 more source