A fixpoint semantics and an SLD-resolution calculus for modal logic programs
Fundamenta Informaticae
Theoretical Computer Science
A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs
Fundamenta Informaticae
Hi-index | 0.00 |