Alessio Lomuscio, Bozena Wozna. A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results. In Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni, editors, Declarative Agent Languages and Technologies III, Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers. Volume 3904 of Lecture Notes in Computer Science, pages 188-204, Springer, 2005. [doi]
Abstract is missing.