A logic for partially specified data structures

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A logic for partially specified data structures

Full text

Pdf (1.34 MB)

Source

Annual Symposium on Principles of Programming Languages archive
Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages table of contents

Munich, West Germany

Pages: 156 - 167

Year of Publication: 1987

ISBN:0-89791-215-2

Authors

M. D. Moshier	Electrical Engineering and Computer Science Department, University of Michigan, Ann Arbor, Michigan
W. C. Rounds	Electrical Engineering and Computer Science Department, University of Michigan, Ann Arbor, Michigan

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 15, Citation Count: 18

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/41625.41639 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	AIT86	Hassan Aït-Kaci , Roger Nasr, Logic and inheritance, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.219-228, January 01, 1986, St. Petersburg Beach, Florida [doi>10.1145/512644.512664]
	CHA81	Ashok K. Chandra , Dexter C. Kozen , Larry J. Stockmeyer, Alternation, Journal of the ACM (JACM), v.28 n.1, p.114-133, Jan. 1981 [doi>10.1145/322234.322243]
	CLA81	Edmund M. Clarke , E. Allen Emerson, Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic, Logic of Programs, Workshop, p.52-71, May 01, 1981
	FIT69	M.C. Fitting. Istuitionistic Logic and Model Theoretic Forcing, North-Holland, London, 1969.
	FIT83	M.C. Fitting. Proof Metkod~ }'or Modal and lntuitionistic Logics, D. Reidel, Boston, Massachusetts, 1983.
	KAP83	R. Kaplan and 3. Bresnan. Lexical Functional Grammar: A Formal System for Grammatical Representation. In J. Bresnan, editor, The Mental Representation of Grammatical Relations, MIT Press, Cambridge, Massachusetts, 1983.
	KAR84	Lauri Karttunen, Features and values, Proceedings of the 22nd annual meeting on Association for Computational Linguistics, p.28-33, July 02-06, 1984, Stanford, California
	KAS86a	R.T. K~per and W.C. Rounds. A complete logical calculus for record structures representing linguistic information. In Proceedings of the 15th Annual Sympo~i~tm on Logic in Computer Science, Cambridge, Massachusetts, 1986.
	KAS86b	R.T. Kasper. Systemic Grammar and Functional Unification Grammar. In Proceedings of the 12th International Systemics Workshop, Norwood, New Jersey: Ablex (Forthcoming).
	KAY79	M. Kay. Functional Grammar. In Proceedings of the Fifth Annual Meetin9 of the Berkeley Linguistics Society, Berkeley, California, 1979.
	KRE79	G.R. Kress, editor. Halliday: System and Function in Lanquaqe. Oxford University Press, London, England, 1979.
	MIL78	R. Milner. A Theory of Type Polymorphism in Programming." In Journal of Computer and System Sciences, 17(3), 1978.
	ROU86	Robert T. Kasper , William C. Rounds, A logical semantics for feature structures, Proceedings of the 24th annual meeting on Association for Computational Linguistics, p.257-266, July 10-13, 1986, New York, New York [doi>10.3115/981131.981166]
	SHI84	Stuart M. Shieber, The design of a computer language for linguistic information, Proceedings of the 22nd annual meeting on Association for Computational Linguistics, p.362-366, July 02-06, 1984, Stanford, California
	SMU68	R. Smully~n.First-Order Logic, Springer, Berlin, 1968.
	STA79	R. Statman. Intuitionistic PropositionM Logic is Polynomial-Space Complete. In Theoretical Computer Science, Vol. 9, 1979.

CITED BY 18

	L. T. McCarty, A language for legal Discourse I. basic features, Proceedings of the 2nd international conference on Artificial intelligence and law, p.180-189, May 1989, Vancouver, British Columbia, Canada
	Kevin Knight, Unification: a multidisciplinary survey, ACM Computing Surveys (CSUR), v.21 n.1, p.93-124, March 1989
	Kiyoshi Kogure, A treatment of negative descriptions of typed feature structures, Proceedings of the 14th conference on Computational linguistics, August 23-28, 1992, Nantes, France
	Sergio Balari , Giovanni B. Varile , Luis Damas , Nelma Moreira, CLG(n): constraint logic grammars, Proceedings of the 13th conference on Computational linguistics, p.7-12, August 20-25, 1990, Helsinki, Finland
	Fernando Pereira, Review of "The logic of typed feature structures" by Bob Carpenter. Cambridge University Press 1992., Computational Linguistics, v.19 n.3, September 1993
	Mark Johnson, Features and formulae, Computational Linguistics, v.17 n.2, p.131-151, June 1991
	Robert T. Kasper, Conditional descriptions in Functional Unification Grammar, Proceedings of the 26th annual meeting on Association for Computational Linguistics, p.233-240, June 07-10, 1988, Buffalo, New York
	Anuj Dawar , K. Vijay-Shanker, A three-valued interpretation of negation in feature structure descriptions, Proceedings of the 27th annual meeting on Association for Computational Linguistics, p.18-24, June 26-29, 1989, Vancouver, British Columbia, Canada
	Mark Johnson, Expressing disjunctive and negative feature constraints with classical first-order logic, Proceedings of the 28th annual meeting on Association for Computational Linguistics, p.173-179, June 06-09, 1990, Pittsburgh, Pennsylvania
	James Rogers, A model-theoretic framework for theories of syntax, Proceedings of the 34th annual meeting on Association for Computational Linguistics, p.10-16, June 24-27, 1996, Santa Cruz, California
	Gerald Gazda , Geoffrey K. Pullum , Robert Carpenter , Ewan Klein , Thomas E. Hukari , Robert D. Levine, Category structures, Computational Linguistics, v.14 n.1, p.1-19, Winter 1988
	Robert Kuhns, Review of "Attribute-value logic and the theory of grammar" by Mark Johnson. Center for the Study of Language and Information 1988., Computational Linguistics, v.15 n.4, December 1989
	Stephen J. Hegner, Horn extended feature structures: fast unification with negation and limited disjunction, Proceedings of the fifth conference on European chapter of the Association for Computational Linguistics, p.33-38, April 09-11, 1991, Berlin, Germany
	Mark Johnson, Computing with features as formulae, Computational Linguistics, v.20 n.1, p.1-25, March 1994
	Anuj Dawar , K. Vijay-Shanker, An interpretation of negation in feature structure descriptions, Computational Linguistics, v.16 n.1, p.11-21, March 1990
	Patrick Blackburn , Maarten De Rijke, Zooming In, Zooming Out, Journal of Logic, Language and Information, v.6 n.1, p.5-31, January 1997
	Shuly Wintner , Nissim Francez, Off-Line Parsability and the Well-Foundedness of Subsumption, Journal of Logic, Language and Information, v.8 n.1, p.1-16, January 1999
	Mark Johnson, Logic and feature structures, Proceedings of the 12th international joint conference on Artificial intelligence, p.992-996, August 24-30, 1991, Sydney, New South Wales, Australia