Vol-2784⫷ Vol-2785 ⫸Vol-2786
urn:nbn:de:0074-2785-0


Vol-2785/paper7⫷Vol-2785/paper8⫸Vol-2785/paper9
Salvatore La TorreGennaro Parlato

A Fixed-point Model-checker for BDI Logics over Finite-state Worlds