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

Home > Publications > Content
Decidability of a Description Logic over infinite-valued Product Logic(extended abstract)

Publication Type:

Conference Paper

Authors:

Marco Cerami [1]; Francesc Esteva [2]; Fèlix Bou [3]

Source:

3st LINZ seminar: Lattice-valued Logic and its Applications, p.21-25 (2010)

Projects: 
ARINF [7]
AT [8]
MULOG 2 [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/decidability-a-description-logic-over-infinite-valued-product-logicextended-abstract

Links:
[1] http://www.iiia.csic.es/en/individual/marco-cerami
[2] http://www.iiia.csic.es/en/individual/francesc-esteva
[3] http://www.iiia.csic.es/en/individual/felix-bou
[4] http://www.iiia.csic.es/en/publications/export/tagged/3776
[5] http://www.iiia.csic.es/en/publications/export/xml/3776
[6] http://www.iiia.csic.es/en/publications/export/bib/3776
[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/mulog-2