Back to Results
First PageMeta Content
Metalogic / Structure / Interpretation / Type system / Symbol / First-order logic / If and only if / Type theory / Orbifold / Model theory / Logic / Mathematical logic


First order axiomatization of typed feature structures Richard Elling Moe? ? Department of information science and media studies University of Bergen
Add to Reading List

Document Date: 2006-10-19 04:44:00


Open Document

File Size: 187,33 KB

Share Result on Facebook

City

Constraint / /

Company

Chicago University Press / Cambridge University Press / MIT Press / /

/

IndustryTerm

semantic web ontologies / compromise solution / natural language processing / semantic web / /

Organization

Cambridge University / MIT / Association for Computational Linguistics / /

Person

Ivan Sag / Warren D. Goldfarb / Joseph A. Goguen / Carl Pollard / Ann Copestake / Ulrike Sattler / Burton Dreben / Bob Carpenter / Diego Calvanese / Ian Horrocs / Bill Keller / Deborah McGuiness / Peter Patel-Schneider / Stuart M. Shieber / Bernhard Nebel / Daniele Nardi / Werner Nutt / Franz Baader / Mark Johnson / Richard Elling Moe / /

Position

Carpenter / model for Γ / qualifier / /

PublishedMedium

Journal of Symbolic Computation / Computational Linguistics / /

Technology

natural language processing / artificial intelligence / /

SocialTag