Constructing the least models for positive modal logic programs

A fixpoint semantics and an SLD-resolution calculus for modal logic programs

Fundamenta Informaticae

Multimodal logic programming

Theoretical Computer Science

The Modal Query Language MDatalog

Fundamenta Informaticae

Foundations of Modal Deductive Databases

Fundamenta Informaticae

Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity

Fundamenta Informaticae

A bottom-up method for the deterministic horn fragment of the description logic ALC

JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence

The data complexity of MDatalog in basic modal logics

MFCS'06 Proceedings of the 31st international conference on Mathematical Foundations of Computer Science