Search

Your search keyword '"Muskens, Reinhard"' showing total 276 results
Start Over Author "Muskens, Reinhard"

Refine your results

more »

more »

more »

more »
276 results on '"Muskens, Reinhard"'

1. Description Theory, LTAGs and Underspecified Semantics

Author

Muskens, Reinhard and Krahmer, Emiel

Subjects
Linguistics: Computational Linguistics, Linguistics: Semantics, Linguistics: Syntax, Computational Linguistics, Semantics, Syntax
Abstract

An attractive way to model the relation between an underspecified syntactic representation and its completions is to let the underspecified representation correspond to a logical description and the completions to the models of that description. This approach, which underlies the Description Theory of (Marcus et al. 1983) has been integrated in (Vijay-Shanker 1992) with a pure unification approach to Lexicalized Tree-Adjoining Grammars (Joshi et al.\ 1975, Schabes 1990). We generalize Description Theory by integrating semantic information, that is, we propose to tackle both syntactic and semantic underspecification using descriptions.

Published
1998

2. Tense and the Logic of Change

Author

Muskens, Reinhard, Egli, Urs, Pause, Peter, Schwarze, Christoph, von Stechow, Arnim, and Wienold, Goetz

Subjects
Philosophy: Philosophy of Language, Linguistics: Semantics, Philosophy: Logic, Philosophy of Language, Semantics, Logic
Abstract

In this paper it is shown how the DRT (Discourse Representation Theory) treatment of temporal anaphora can be formalized within a version of Montague Semantics that is based on classical type logic.

Published
1995

3. Categorial Grammar and Discourse Representation Theory

Author

Muskens, Reinhard

Subjects
Linguistics: Computational Linguistics, Linguistics: Semantics, Philosophy: Logic, Computational Linguistics, Semantics, Logic
Abstract

In this paper it is shown how simple texts that can be parsed in a Lambek Categorial Grammar can also automatically be provided with a semantics in the form of a Discourse Representation Structure in the sense of Kamp [1981]. The assignment of meanings to texts uses the Curry-Howard-Van Benthem correspondence.

Published
1994

4. Anaphora and the Logic of Change

Author

Muskens, Reinhard and van Eijck, Jan

Subjects
Philosophy: Philosophy of Language, Linguistics: Computational Linguistics, Linguistics: Semantics, Philosophy of Language, Computational Linguistics, Semantics
Abstract

This paper shows how the dynamic interpretation of natural language introduced in work by Hans Kamp and Irene Heim can be modeled in classical type logic. This provides a synthesis between Richard Montague's theory of natural language semantics and the work by Kamp and Heim.

Published
1991

5. Combining Montague Semantics and Discourse Representation

Author

Muskens, Reinhard

Subjects
Philosophy: Philosophy of Language, Linguistics: Computational Linguistics, Linguistics: Semantics, Philosophy: Logic, Philosophy of Language, Computational Linguistics, Semantics, Logic
Abstract

This paper embeds the core part of Discourse Representation Theory in the classical theory of types plus a few simple axioms that allow the theory to express key facts about variables and assignments on the object level of the logic. It is shown how the embedding can be used to combine core analyses of natural language phenomena in Discourse Representation Theory with analyses that can be obtained in Montague Semantics.

Published
1996

6. Hyperfine-Grained Meanings in Classical Logic

Author

Muskens, Reinhard

Subjects
Philosophy: Philosophy of Language, Linguistics: Semantics, Philosophy: Logic, Philosophy of Language, Semantics, Logic
Abstract

This paper develops a semantics for a fragment of English that is based on the idea of `impossible possible worlds'. This idea has earlier been formulated by authors such as Montague, Cresswell, Hintikka, and Rantala, but the present set-up shows how it can be formalized in a completely unproblematic logic---the ordinary classical theory of types. The theory is put to use in an account of propositional attitudes that is `hyperfine-grained', i.e. that does not suffer from the well-known problems involved with replacing expressions by logical equivalents.

Published
1991

7. Program Semantics and Classical Logic

Author

Muskens, Reinhard

Subjects
Computer Science: Language, Philosophy: Logic, Language, Logic
Abstract

In the tradition of Denotational Semantics one usually lets program constructs take their denotations in reflexive domains, i.e. in domains where self-application is possible. For the bulk of programming constructs, however, working with reflexive domains is an unnecessary complication. In this paper we shall use the domains of ordinary classical type logic to provide the semantics of a simple programming language containing choice and recursion. We prove that the rule of {\em Scott Induction\/} holds in this new setting, prove soundness of a Hoare calculus relative to our semantics, give a direct calculus ${\cal C}$ on programs, and prove that the denotation of any program $P$ in our semantics is equal to the union of the denotations of all those programs $L$ such that $P$ follows from $L$ in our calculus and $L$ does not contain recursion or choice.

Published
1997

8. A Relational Formulation of the Theory of Types

Author

Muskens, Reinhard

Subjects
Philosophy: Philosophy of Language, Linguistics: Semantics, Philosophy: Logic, Philosophy of Language, Semantics, Logic
Abstract

This paper developes a relational---as opposed to a functional---theory of types. The theory is based on Hilbert and Bernays' eta operator plus the identity symbol, from which Church's lambda and the other usual operators are then defined. The logic is intended for use in the semantics of natural language.

Published
1989

9. Static and Dynamic Vector Semantics for Lambda Calculus Models of Natural Language

Author

Sadrzadeh, Mehrnoosh and Muskens, Reinhard

Subjects
Computer Science - Computation and Language, 03B65, I.2.7
Abstract

Vector models of language are based on the contextual aspects of language, the distributions of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, compositional properties of words and how they compose to form sentences. In the truth conditional approach, the denotation of a sentence determines its truth conditions, which can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In the vector models, the degree of co-occurrence of words in context determines how similar the meanings of words are. In this paper, we put these two models together and develop a vector semantics for language based on the simply typed lambda calculus models of natural language. We provide two types of vector semantics: a static one that uses techniques familiar from the truth conditional tradition and a dynamic one based on a form of dynamic interpretation inspired by Heim's context change potentials. We show how the dynamic model can be applied to entailment between a corpus and a sentence and we provide examples., Comment: To appear in Journal of Language Modelling. Short versions presented in DSALT 2016, SaLMoM 2016, LACL 2016. A version presented in AC 2017

Published
2018

11. Intensional Models for the Theory of Types

Author

Muskens, Reinhard

Subjects
Mathematics - Logic, Computer Science - Artificial Intelligence, 03B15
Abstract

In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. Firstly, it is argued that, since ITL is truly intensional, it can be used to model ascriptions of propositional attitude without predicting logical omniscience. In order to illustrate this a small fragment of English is defined and provided with an ITL semantics. Secondly, it is shown that ITL models contain certain objects that can be identified with possible worlds. Essential elements of modal logic become available within classical type theory once the axiom of Extensionality is given up., Comment: 25 pages

Published
2006

13. Context Update for Lambdas and Vectors

Author

Muskens, Reinhard, Sadrzadeh, Mehrnoosh, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Amblard, Maxime, editor, de Groote, Philippe, editor, Pogodalla, Sylvain, editor, and Retoré, Christian, editor

Published
2016
Full Text
View/download PDF

15. Computing The Semantic Information In An Utterance

Author

Bunt, Harry, Muskens, Reinhard, Von Fintel, Kai, editor, Matthewson, Lisa, editor, Van Benthem, Johan, editor, Carlson, Gregory N., editor, Dowty, David, editor, Gazdar, Gerald, editor, Heim, Irene, editor, Klein, Ewan, editor, Ladusaw, Bill, editor, Parsons, Terrence, editor, Bunt, Harry, editor, and Muskens, Reinhard, editor

Published
2007
Full Text
View/download PDF

19. A Theory of Names and True Intensionality

Author

Muskens, Reinhard, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Aloni, Maria, editor, Kimmelman, Vadim, editor, Roelofsen, Floris, editor, Sassoon, Galit W., editor, Schulz, Katrin, editor, and Westera, Matthijs, editor

Published
2012
Full Text
View/download PDF

20. An Analytic Tableau System for Natural Logic

Author

Muskens, Reinhard, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Aloni, Maria, editor, Bastiaanse, Harald, editor, de Jager, Tikitu, editor, and Schulz, Katrin, editor

Published
2010
Full Text
View/download PDF

21. Computational Semantics

Author

Bunt, Harry, Muskens, Reinhard, Chierchia, Gennaro, editor, Jacobson, Pauline, editor, Pelletier, Francis J., editor, Bunt, Harry, editor, and Muskens, Reinhard, editor

Published
1999
Full Text
View/download PDF

22. Language, Lambdas, and Logic

Author

Muskens, Reinhard, Chierchia, Gennaro, editor, Jacobson, Pauline, editor, Pelletier, Francis J., editor, Kruijff, Geert-Jan M., editor, and Oehrle, Richard T., editor

Published
2003
Full Text
View/download PDF

23. Underspecified Semantics

Author

Muskens, Reinhard, Chierchia, Gennaro, editor, Jacobson, Pauline, editor, Pelletier, Francis J., editor, von Heusinger, Klaus, editor, and Egli, Urs, editor

Published
2000
Full Text
View/download PDF

33. Proceedings of the Symposium Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021)

Author

Ljungström, Axel, Loukanova, Roussanka, Lumsdaine, Peter LeFanu, Muskens, Reinhard, Ljungström, Axel, Loukanova, Roussanka, Lumsdaine, Peter LeFanu, and Muskens, Reinhard

Abstract

Computational linguistics studies natural language in its various manifestations from a computational point of view, both on the theoretical level (modeling grammar modules dealing with natural language form and meaning, and the relation between these two) and on the practical level (developing applications for language and speech technology). Right from the start in the 1950s, there have been strong links with computer science, logic, and many areas of mathematics - one can think of Chomsky's contributions to the theory of formal languages and automata, or Lambek's logical modeling of natural language syntax. The symposium on Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021) assesses the place of logic, mathematics, and computer science in present day computational linguistics. It is a forum for presenting new results as well as work in progress.

Published
2021

36. Dynamics

Author

Muskens, Reinhard, primary, van Benthem, Johan, additional, and Visser, Albert, additional

Published
2011
Full Text
View/download PDF

41. Dynamics

Author

Muskens, Reinhard, primary, van Benthem, Johan, additional, and Visser, Albert, additional

Published
1997
Full Text
View/download PDF

46. Formal Grammar

Author

Foret, Annie, Muskens, Reinhard, Pogodalla, Sylvain, Semantics, Logics, Information Systems for Data-User Interaction ( SemLIS), GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Tilburg University [Netherlands], Semantic Analysis of Natural Language (SEMAGRAMME), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Natural Language Processing & Knowledge Discovery (LORIA - NLPKD), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-CentraleSupélec-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), and Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)

Subjects
ComputingMilieux_MISCELLANEOUS, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Abstract

International audience

Published
2018
Full Text
View/download PDF

48. Lambdas, Vectors, and Word Meaning in Context

Author

Muskens, Reinhard, Sadrzadeh, Mehrnoosh, Cremers, Alexandre, van Gessel, Thom, Roelofsen, Floris, and Tilburg Center for Logic, Ethics and Philosophy of Science

Published
2017

49. Formal Grammar: 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings

Author

Foret, Annie, Morrill, Glyn, Muskens, Reinhard, Osswald, Rainer, Pogodalla, Sylvain, Logical Information Systems (LIS), GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Université de Rennes (UR), Universitat Politècnica de Catalunya [Barcelona] (UPC), Tilburg University [Netherlands], Heinrich Heine Universität Düsseldorf = Heinrich Heine University [Düsseldorf], Semantic Analysis of Natural Language (SEMAGRAMME), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Natural Language Processing & Knowledge Discovery (LORIA - NLPKD), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), and Tilburg Center for Logic, Ethics and Philosophy of Science

Subjects
ComputingMilieux_MISCELLANEOUS, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Abstract

International audience

Published
2016
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results