Results 201 to 210 of about 771,186 (237)

Effective Reasoning over Neural Networks Using Łukasiewicz Logic

Compendium of Neurosymbolic Artificial Intelligence, 2023
Sandro Preto, Marcelo Finger
semanticscholar   +1 more source

An Approach to Inconsistency-Tolerant Reasoning About Probability Based on Łukasiewicz Logic

Scalable Uncertainty Management, 2022
T. Flaminio, L. Godo, Sara Ugolini
semanticscholar   +1 more source

Computing in Łukasiewicz Logic and AF-Algebras

The Logic of Software. A Tasting Menu of Formal Methods, 2022
D. Mundici
semanticscholar   +1 more source

Dynamic Łukasiewicz Logic and Dynamic MV-algebras

International Journal of Approximate Reasoning, 2020
A. Nola, R. Grigolia, Gaetano Vitale
semanticscholar   +1 more source

Łukasiewicz Logic and Artificial Neural Networks

, 2020
A. Nola, Gaetano Vitale
semanticscholar   +1 more source

A Note on Fixed Points in Łukasiewicz Logic

Logica Universalis
Abhishek De
semanticscholar   +1 more source

On the theory of epistemic Łukasiewicz logic corresponding to the Chang algebra with application in Immune system

Archive for Mathematical Logic
R. Grigolia, R. Liparteliani, N. Mitskevich, Tamar Tsertsvadze, Tekle Kalichava   +4 more
semanticscholar   +1 more source

Infinite-Valued First-Order Łukasiewicz Logic: Hypersequent Calculi Without Structural Rules and Proof Search for Sentences in the Prenex Form

Siberian Advances in Mathematics, 2018
A. S. Gerasimov
semanticscholar   +1 more source

Learning Łukasiewicz Logic Fragments by Quadratic Programming

ECML/PKDD, 2017
Francesco Giannini, Michelangelo Diligenti, M. Gori, Marco Maggini   +3 more
semanticscholar   +1 more source

From Semi-fuzzy to Fuzzy Quantifiers via Łukasiewicz Logic and Games

EUSFLAT/IWIFSGN, 2017
P. Baldi, C. Fermüller
semanticscholar   +1 more source