Lauri Carlson
Datos Biográficos
| ID | 3592352 |
|---|---|
| NOMBRE | Lauri Carlson |
| NOMBRES | Lauri |
| APELLIDO | Carlson |
| FIRMA | CARLSON L |
| AFILIACIONES | University of Helsinki |
| VERIFICADO | No |
| TOTAL DE OBRAS | 6 |
| TOTAL DE CITAS | 20 |
| TOTAL COMO AUTOR | 6 |
| TOTAL COMO EDITOR | 0 |
| PRIMER AÑO DE PUBLICACIÓN | 1977 |
| AÑO MÁS RECIENTE DE PUBLICACIÓN | 1994 |
| ÍNDICE H | 2 |
Logic for dialogue games
Quantified Hintikka-style epistemic logic
Unification as a Grammatical Tool
The present paper is an introduction to unification as a formalism for writing grammars for natural languages. The paper is structured as follows. Section 1 briefly describes the history and the current scene of unification based grammar formalisms. Sections 2–3 describe the basic design of current formalisms. Section 4 constitutes a tutorial introduction to a representative unification based grammar formalism, the D–PATR system of Karttunen (198…
Focus and Dialogue Games
Dialogue Games
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 1982
Pronouns of Laziness in Game-Theoretical Semantics
Dialogue Games
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 1982
Quantified Hintikka-style epistemic logic
Pronouns of Laziness in Game-Theoretical Semantics
Focus and Dialogue Games
Dialogue Games
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 1982
Unification as a Grammatical Tool
The present paper is an introduction to unification as a formalism for writing grammars for natural languages. The paper is structured as follows. Section 1 briefly describes the history and the current scene of unification based grammar formalisms. Sections 2–3 describe the basic design of current formalisms. Section 4 constitutes a tutorial introduction to a representative unification based grammar formalism, the D–PATR system of Karttunen (198…
Quantified Hintikka-style epistemic logic
Logic for dialogue games
Computer Science (6 obras) · Philosophy (5 obras) · Linguistics (4 obras) · Artificial Intelligence (3 obras) · Logic, Reasoning, and Knowledge (3 obras) · Programming language (3 obras) · Psychology (3 obras) · Artificial Intelligence (2 obras) · Epistemology (2 obras) · Mathematics (2 obras)