Revisiting quantification in autoepistemic logic
ACM Transactions on Computational Logic (TOCL)
On Computer-Assisted Proofs in Ordinal Number Theory
Journal of Automated Reasoning
Partial Instantiation Methods for Inference in First-Order Logic
Journal of Automated Reasoning
First-Order Logic Characterization of Program Properties
IEEE Transactions on Knowledge and Data Engineering
Notes on Formalizing Coordination
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Default Theories Over Monadic Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Logical reasoning for higher-order functions with local state
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
An axiomatic basis of trust in distributed systems
SP'88 Proceedings of the 1988 IEEE conference on Security and privacy
Rule-enhanced domain models for cloud security governance, risk and compliance management
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Theory and Practice of Logic Programming
Unifying functional and parametric timing verification
Proceedings of the great lakes symposium on VLSI
Annals of Mathematics and Artificial Intelligence
First-Order Ground Non-Monotonic Modal Logic
Fundamenta Informaticae
First-order Non-monotonic Modal Logics
Fundamenta Informaticae
Substitutivity Principles in Some Theories of Uncertainty
Fundamenta Informaticae
A Domain Knowledge as a Tool For Improving Classifiers
Fundamenta Informaticae - To Andrzej Skowron on His 70th Birthday
| Hi-index | 0.00 |