3 works on record
Reasoning Web. Semantic Interoperability on the Web
Logic Programming and Nonmonotonic Reasoning
Logics in Artificial Intelligence