From post

A Knowledge Compilation Technique for ALC TBoxes

, , и . Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference, 2009, Sanibel Island, Florida, USA, AAAI Press, (2009)

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.

 

Другие публикации лиц с тем же именем

Applications of Automated Reasoning, и . KI 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, KI 2006, Bremen, Germany, 2006, Proceedings, том 4314 из Lecture Notes in Computer Science, Springer, (2007)A Knowledge Compilation Technique for ALC TBoxes, , и . Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference, 2009, Sanibel Island, Florida, USA, AAAI Press, (2009)Towards an evolved lower bound for the most circular partition of a square., и . IEEE Congress on Evolutionary Computation, стр. 1463-1469. IEEE, (2009)