Journal of the ACM (JACM)
Incorporating hierarchy in a relational model of data
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Sentential semantics for propositional attitudes
Computational Linguistics
Logic programming with typed unification and its realization on an abstract machine
IBM Journal of Research and Development
IBM Journal of Research and Development
Integrating Multiple Paradigms within the Blackboard Framework
IEEE Transactions on Software Engineering
Coloring Terms to Control Equational Reasoning
Journal of Automated Reasoning
An Order-Sorted Resolution with Implicitly Negative Sorts
Proceedings of the 17th International Conference on Logic Programming
Simultaneous Rigid Sorted Unification
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Free Variable Tableaux for a Logic with Term Declarations
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Encoding two-valued nonclassical logics in classical logic
Handbook of automated reasoning
Order-sorted logic programming with predicate hierarchy
Artificial Intelligence
Context Dependent Procedures and Computed Types in √eriFun
Electronic Notes in Theoretical Computer Science (ENTCS)
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
Understanding complex natural language explanations in tutorial applications
ScaNaLU '06 Proceedings of the Third Workshop on Scalable Natural Language Understanding
Modal theorem proving: an equational viewpoint
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Parameter structures for parametrized modal operators
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Distributed reasoning with ontologies and rules in order-sorted logic programming
Web Semantics: Science, Services and Agents on the World Wide Web
Building theories into instantiation
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Understanding script-based stories using commonsense reasoning
Cognitive Systems Research
| Hi-index | 0.00 |