Authors: Giunchiglia, E Tacchella, A

Citation: E. Giunchiglia et A. Tacchella, A subset-matching size-bounded cache for testing satisfiability in modal logics, ANN MATH A, 33(1), 2001, pp. 39-67

Authors: Benerecetti, M Giunchiglia, E Serafini, L Villafiorita, A

Citation: M. Benerecetti et al., Formal specification of beliefs in multi-agent systems, INT J INTEL, 14(10), 1999, pp. 1021-1040