Records and Record Types in Semantic Theory

Authors:
Robin Cooper
Affiliations:
Department of Linguistics, Göteborg University, Box 200, 40530 Göteborg, Sweden. E-mail: cooper@ling.gu.se
Venue:
Journal of Logic and Computation
Year:
2005

Citing 0
Cited 13

Situations as Strings

Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Context Theory for Context-aware systems

Proceedings of the 2007 conference on Advances in Ambient Intelligence
A Theorem Prover with Dependent Types for Reasoning about Actions

Proceedings of the 2008 conference on STAIRS 2008: Proceedings of the Fourth Starting AI Researchers' Symposium
Situations in LTL as strings

Information and Computation
Goal reasoning with context record types

CONTEXT'07 Proceedings of the 6th international and interdisciplinary conference on Modeling and using context
Frames in formal semantics

IceTAL'10 Proceedings of the 7th international conference on Advances in natural language processing
Modeling Contexts with Dependent Types

Fundamenta Informaticae
Incremental semantic construction in a dialogue system

IWCS '11 Proceedings of the Ninth International Conference on Computational Semantics
Copredication, quantification and frames

LACL'11 Proceedings of the 6th international conference on Logical aspects of computational linguistics
Contextual analysis of word meanings in type-theoretical semantics

LACL'11 Proceedings of the 6th international conference on Logical aspects of computational linguistics
Negative inquisitiveness and alternatives-based negation

AC'11 Proceedings of the 18th Amsterdam colloquim conference on Logic, Language and Meaning
Formal foundations for situation awareness based on dependent type theory

Information Fusion
A type-theoretical approach for ontologies: The case of roles

Applied Ontology

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper explores possibilities for formulating linguistic semantics in terms of records and record types of the kind used in recent developments of Martin-Löf type theory. We will suggest that this gives us tools to develop a single theory which includes aspects of Montague semantics, Discourse Representation Theory, situation semantics and Head-Driven Phrase Structure Grammar. We will also argue that formulating these theories in terms of record types may provide us not only with a unified approach but also with certain improvements over the individual theories.