2 books • 1 series
Introduction to Annotated Logics (Intelligent Systems Reference Library, #88)
Advances in Logic Based Intelligent Systems