( en | de | ru )

 

Disambiguation of "Marchioni, Enrico"

Author of the publication

copydeleteadd this publication to your clipboard
Rational Verification: From Model Checking to Equilibrium Checking.

, , , , , and . AAAI, page 4184-4191. AAAI Press, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Enrico Taliani

Enrico Fest

Enrico Streit

Enrico Meier

Enrico Körner

 

Other publications of authors with the same name

T-norm-based logics with an independent involutive negation., and . Fuzzy Sets Syst., 157 (24): 3125-3144 (2006)Amalgamation through quantifier elimination for varieties of commutative residuated lattices.. Arch. Math. Log., 51 (1-2): 15-34 (2012)Craig interpolation for semilinear substructural logics., and . Math. Log. Q., 58 (6): 468-481 (2012)Some notes on possibilistic randomisation with t-norm based joint distributions in strategic-form games., , and . Int. J. Approx. Reason., (March 2024)Logics for belief functions on MV-algebras., , and . Int. J. Approx. Reason., 54 (4): 491-512 (2013)Logics for Non-Cooperative Games with Expectations., and . EUMAS, volume 1113 of CEUR Workshop Proceedings, page 82-96. CEUR-WS.org, (2013)On the Logical Formalization of Possibilistic Counterparts of States over n-valued Łukasiewicz Events., , and . J. Log. Comput., 21 (3): 429-446 (2011)Geometrical aspects of possibility measures on finite domain MV-clans., , and . Soft Comput., 16 (11): 1863-1873 (2012)Advances in the theory of μŁΠ algebras., and . Logic Journal of the IGPL, 19 (3): 476-489 (2011)Extending the Monoidal T-norm Based Logic with an Independent Involutive Negation., and . EUSFLAT Conf., page 860-865. Universidad Polytecnica de Catalunya, (2005)