C o m p u t a t i o n a l L o g i c
Area News:
Knowldge Representation and Resoning