Interpolative Boolean Logic

Dragan G. Radojevic, Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic. Interpolative Boolean Logic. In Danail Dochev, Marco Pistore, Paolo Traverso, editors, Artificial Intelligence: Methodology, Systems, and Applications, 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings. Volume 5253 of Lecture Notes in Computer Science, pages 209-219, Springer, 2008. [doi]

Authors

Dragan G. Radojevic

This author has not been identified. Look up 'Dragan G. Radojevic' in Google

Aleksandar Perovic

This author has not been identified. Look up 'Aleksandar Perovic' in Google

Zoran Ognjanovic

This author has not been identified. Look up 'Zoran Ognjanovic' in Google

Miodrag Raskovic

This author has not been identified. Look up 'Miodrag Raskovic' in Google