Incorporating hierarchy in a relational model of data
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
A language for legal Discourse I. basic features
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Stepwise refinement process with modularity
ICSE '89 Proceedings of the 11th international conference on Software engineering
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
CAKE: an implemented hybrid knowledge representation and limited reasoning system
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Seven Layers of Knowledge Representation and Reasoning in Support of Software Development
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
IBM Journal of Research and Development
Integrating Multiple Paradigms within the Blackboard Framework
IEEE Transactions on Software Engineering
Spatial Cognition and Computation
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
Resolution for label-based formulas in hierarchical representation
New Generation Computing
Order-sorted logic programming with predicate hierarchy
Artificial Intelligence
Everyday language is highly intensional
STEP '08 Proceedings of the 2008 Conference on Semantics in Text Processing
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
Qualitative simulation based on a logical formalism of space and time
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Using ontologies to facilitate post-processing of association rules by domain experts
Information Sciences: an International Journal
Inference scheme for order-sorted logic using noun phrases with variables as sorts
MICAI'06 Proceedings of the 5th Mexican international conference on Artificial Intelligence
The TPTP typed first-order form with arithmetic
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
| Hi-index | 0.00 |