On Constructing Fibred Tableaux for BDI Logics.

Vineet Padmanabhan, Guido Governatori

Browse the full PRICAI paper archive.