A logic-programming/object-oriented cocktail
ACM SIGMOD Record
Temporal ontology and temporal reference
Computational Linguistics - Special issue on tense and aspect
Efficient implementation of lattice operations
ACM Transactions on Programming Languages and Systems (TOPLAS)
Unification: a multidisciplinary survey
ACM Computing Surveys (CSUR)
Type theories and object-oriented programmimg
ACM Computing Surveys (CSUR)
CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Journal of Symbolic Computation
Concurrent constraint programming
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Abstract semantics for a higher-order functional language with logic variables
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Application of knowledge base design techniques to genetic markers
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
PROTEUS: objectifying the DBMS user interface
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Description Logics in Data Management
IEEE Transactions on Knowledge and Data Engineering
Knowledge Representation for Natural Language Understanding: The L_LILOG Approach
IEEE Transactions on Knowledge and Data Engineering
Lexical rules in constraint-based grammars
Computational Linguistics
Parsing with an extended domain of locality
EACL '99 Proceedings of the ninth conference on European chapter of the Association for Computational Linguistics
Incorporating inheritance and feature structures into a Logic Grammar formalism
ACL '87 Proceedings of the 25th annual meeting on Association for Computational Linguistics
A transfer model using a typed feature structure rewriting system with inheritance
ACL '89 Proceedings of the 27th annual meeting on Association for Computational Linguistics
Types in Functional Unification Grammars
ACL '90 Proceedings of the 28th annual meeting on Association for Computational Linguistics
Feature graphs and abstract data types: a unifying approach
COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 1
Theoretical Computer Science
Constrained types for object-oriented languages
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
A semantics and complete algorithm for subsumption in the classic description logic
Journal of Artificial Intelligence Research
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Using classification as a programming language
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Computing least common subsumers in description logics
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Learning word meanings by instruction
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Constructing design representations
EG-ICE'06 Proceedings of the 13th international conference on Intelligent Computing in Engineering and Architecture
Hi-index | 0.00 |