Verification of Inconsistency-Aware Knowledge and Action Bases - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov. Verification of Inconsistency-Aware Knowledge and Action Bases. In Francesca Rossi, editor, IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. pages 810-816, IJCAI/AAAI, 2013. [doi]

This author has not been identified. Look up 'Diego Calvanese' in GoogleThis author has not been identified. Look up 'Evgeny Kharlamov' in GoogleThis author has not been identified. Look up 'Marco Montali' in GoogleThis author has not been identified. Look up 'Ario Santoso' in GoogleThis author has not been identified. Look up 'Dmitriy Zheleznyakov' in Google

runs on WebDSL