Journal of the ACM (JACM)
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Logic of Programs, Workshop
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
The design of a computer language for linguistic information
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
A logical semantics for feature structures
ACL '86 Proceedings of the 24th annual meeting on Association for Computational Linguistics
Computational Linguistics
Unification: a multidisciplinary survey
ACM Computing Surveys (CSUR)
Inheritance hierarchies: Semantics and unification
Journal of Symbolic Computation
A language for legal Discourse I. basic features
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
An interpretation of negation in feature structure descriptions
Computational Linguistics
Journal of Logic, Language and Information
Off-Line Parsability and the Well-Foundedness of Subsumption
Journal of Logic, Language and Information
Computational Linguistics
Review of "The logic of typed feature structures" by Bob Carpenter. Cambridge University Press 1992.
Computational Linguistics
Computing with features as formulae
Computational Linguistics
Horn extended feature structures: fast unification with negation and limited disjunction
EACL '91 Proceedings of the fifth conference on European chapter of the Association for Computational Linguistics
A three-valued interpretation of negation in feature structure descriptions
ACL '89 Proceedings of the 27th annual meeting on Association for Computational Linguistics
Expressing disjunctive and negative feature constraints with classical first-order logic
ACL '90 Proceedings of the 28th annual meeting on Association for Computational Linguistics
A model-theoretic framework for theories of syntax
ACL '96 Proceedings of the 34th annual meeting on Association for Computational Linguistics
Conditional descriptions in Functional Unification Grammar
ACL '88 Proceedings of the 26th annual meeting on Association for Computational Linguistics
CLG(n): constraint logic grammars
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 3
A treatment of negative descriptions of typed feature structures
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 1
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
| Hi-index | 0.00 |