CL '00 Proceedings of the First International Conference on Computational Logic
Tableaux for Quantified Hybrid Logic
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Higher-Order Syntax and Saturation Algorithms for Hybrid Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Declarative programming for artificial intelligence applications
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Declarative programming for agent applications
Autonomous Agents and Multi-Agent Systems
Partly Free Semantics for Some Anderson-Like Ontological Proofs
Journal of Logic, Language and Information
A theory of names and true intensionality
AC'11 Proceedings of the 18th Amsterdam colloquim conference on Logic, Language and Meaning
The QMLTP problem library for first-order modal logics
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
Hi-index | 0.00 |