From philosophical to industrial logics. (English) Zbl 1209.68325
Ramanujam, R. (ed.) et al., Logic and its applications. Third Indian conference, ICLA 2009, Chennai, India, January 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-92700-6/pbk). Lecture Notes in Computer Science 5378. Lecture Notes in Artificial Intelligence, 89-115 (2009).