The Functions Provable by First Order Abstraction
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Using Decision Procedures with a Higher-Order Logic
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Russellian and Strawsonian Definite Descriptions in Situation Semantics
CICLing '01 Proceedings of the Second International Conference on Computational Linguistics and Intelligent Text Processing
Handbook of automated reasoning
Arity and alternation: a proper hierarchy in higher order logics
Annals of Mathematics and Artificial Intelligence
Probabilistic modelling, inference and learning using logical theories
Annals of Mathematics and Artificial Intelligence
Automated deduction for verification
ACM Computing Surveys (CSUR)
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
A formal calculus for informal equality with binding
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
Declarative programming for agent applications
Autonomous Agents and Multi-Agent Systems
Arity and alternation: a proper hierarchy in higher order logics
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Computing in cantor's paradise with λZFC
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
| Hi-index | 0.00 |