Reason on UML Diagrams with Answer Set Programming

Wenjun Deng, Yiwen Liang. Reason on UML Diagrams with Answer Set Programming. In International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 1: Artificial Intelligence, December 12-14, 2008, Wuhan, China. pages 205-209, IEEE Computer Society, 2008. [doi]

Bibliographies