Title: Advances in logic based intelligent systems
First published: 2005
Subjects: Artificial intelligence, Congresses, Logic, Symbolic and mathematical, Symbolic and mathematical Logic
LC classification: Q334 .C69 2005