Theoretical Computer Science
Foundations of Modal Deductive Databases
Fundamenta Informaticae
Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity
Fundamenta Informaticae
Beliefs in agent implementation
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
An SLD-resolution calculus for basic serial multimodal logics
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Reasoning about epistemic states of agents by modal logic programming
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Foundations of Modal Deductive Databases
Fundamenta Informaticae
Hi-index | 0.00 |