Published: 2026-09-11

Articles

Abduction in Łukasiewicz Logic With Rational Interval Terms

Katsumi Inoue, Daniil Kozhemiachenko
PDF

Optimal Clustering with Dependent Costs in Bayesian Networks

Paul Pao-Yen Wu, Fabrizio Ruggeri, Kerrie Mengersen
PDF

Certified Neural Networks: from Verification to Synthesis

Matteo Zavatteri, Davide Bresolin, Nicolò Navarin
PDF

Break Loops: A Divide-and-Conquer Framework for Multi-Agent Path Finding for Large Agents Without Compromising Solvability

Zhuo Yao, Wei Wang, Yueri Cai
PDF

Dynamics in Formal Argumentation: A Survey with Emphasis on Structured Accounts

AnneMarie Borg
PDF