Published on IIIA (http://www.iiia.csic.es)

Home > Publications > Content
An SMT-based solver for continuous t-norm based logics

Publication Type:

Conference Paper

Authors:

Amanda Vidal [1]; Fèlix Bou [2]; Lluís Godo [3]

Source:

Scalable Uncertainty Management (SUM 2012), Springer-Verlag Berlin Heidelberg, Volume 7520, Marburg (Germany), p.633-640 (2012)

Projects: 
ARINF [7]
AT [8]
TASSAT [9]
IIIA-CSIC
Campus de la UAB, E-08193 Bellaterra, Catalonia (Spain)
Tel: (+34) 93 580 9570 - Fax: (+34) 93 580 9661
Source URL: http://www.iiia.csic.es/en/publications/smt-based-solver-continuous-t-norm-based-logics

Links:
[1] http://www.iiia.csic.es/en/individual/amanda-vidal
[2] http://www.iiia.csic.es/en/individual/felix-bou
[3] http://www.iiia.csic.es/en/individual/lluis-godo
[4] http://www.iiia.csic.es/en/publications/export/tagged/4654
[5] http://www.iiia.csic.es/en/publications/export/xml/4654
[6] http://www.iiia.csic.es/en/publications/export/bib/4654
[7] http://www.iiia.csic.es/en/project/arinf
[8] http://www.iiia.csic.es/en/project/at
[9] http://www.iiia.csic.es/en/project/tassat