arrow
返回
E

Enrico Marchioni

university of southampton

12H指数
53论文数
415被引数
收录论文 12
发表时间
Quantifiers for Differentiable Logics in Rocq (Extended Abstract)Rocq中可微分逻辑的量词(扩展摘要)
err2026-01-01
err0
PREAI
errMarulanda-Giraldo, Jairo Miguel; Komendantskaya, Ekaterina; Bruni, Alessandro; Affeldt, Reynald; Capucci, Matteo; Marchioni, Enrico
err分享
err收藏
Lukasiewicz logics for cooperative games
err2019-10-01
err3
errOAAI
errMarchioni, Enrico; Wooldridge, Michael
err分享
err收藏
Logics for belief functions on MV-algebras
err2013-06-01
err13
errOAAI
errFlaminio, Tommaso; Godo, Lluis; Marchioni, Enrico
err分享
err收藏
Geometrical aspects of possibility measures on finite domain MV-clans
err2012-02-11
err6
errOAAI
errFlaminio, Tommaso; Godo, Lluis; Marchioni, Enrico
err分享
err收藏
Extending possibilistic logic over Godel logic
err2011-01-01
err9
errOAAI
errDellunde, Pilar; Godo, Lluis; Marchioni, Enrico
err分享
err收藏
Ordered fields and LΠ1/2-algebras
err2008-05-21
err2
PREAI
errMarchioni, Enrico
err分享
err收藏
err分享
err收藏
T-norm-based logics with an independent involutive negation
err2006-12-01
err42
PREAI
errFlaminio, Tommaso; Marchioni, Enrico
err分享
err收藏