2 works on record
Logics in Artificial Intelligence
Reasoning Web. Declarative Artificial Intelligence