Decidability of a Description Logic over Infinite-Valued Product Logic

Marco Cerami, Francesc Esteva, Félix Bou. Decidability of a Description Logic over Infinite-Valued Product Logic. In Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010. AAAI Press, 2010. [doi]

Authors

Marco Cerami

This author has not been identified. Look up 'Marco Cerami' in Google

Francesc Esteva

This author has not been identified. Look up 'Francesc Esteva' in Google

Félix Bou

This author has not been identified. Look up 'Félix Bou' in Google