Ghent University Academic Bibliography

Advanced

Two kinds of procedural semantics for privative modification

Giuseppe Primiero and Bjørn Jespersen (2010) LECTURE NOTES IN COMPUTER SCIENCE. 6284. p.252-271
abstract
In this paper we present two kinds of procedural semantics for privative modification. We do this for three reasons. The first reason is to launch a tough test case to gauge the degree of substantial agreement between a constructivist and a realist interpretation of procedural semantics; the second is to extend Martin-L ̈f’s Constructive Type Theory to privative modification, which is characteristic of natural language; the third reason is to sketch a positive characterization of privation.
Please use this url to cite or link to this publication:
author
organization
year
type
conference (conferencePaper)
publication status
published
subject
keyword
constructivist interpretation, privative modification, realist interpretation, Martin-Lof constructive type theory, natural language, procedural semantics, type theory, programming language semantics, natural languages
in
LECTURE NOTES IN COMPUTER SCIENCE
Lect. Notes Comput. Sci.
editor
Kumiyo Nakakoji, Yohei Murakami and Eric McCready
volume
6284
issue title
New frontiers in artificial intelligence
pages
252 - 271
publisher
Springer
place of publication
Berlin, Germany
conference name
New Frontiers in Artificial Intelligence : JSAI-isAI 2009 workshops : LENLS, JURISIN, KCSD, LLLL
conference location
Tokyo, Japan
conference start
2009-11-19
conference end
2009-11-20
Web of Science type
Conference Paper
Web of Science id
11503471
ISSN
0302-9743
ISBN
9783642148873
DOI
10.1007/978-3-642-14888-0_21
language
English
UGent publication?
yes
classification
C1
copyright statement
I have transferred the copyright for this publication to the publisher
VABB id
c:vabb:319963
VABB type
VABB-5
id
1047303
handle
http://hdl.handle.net/1854/LU-1047303
date created
2010-09-29 15:35:11
date last changed
2017-01-02 09:52:56
@inproceedings{1047303,
  abstract     = {In this paper we present two kinds of procedural semantics for privative modification. We do this for three reasons. The first reason is to launch a tough test case to gauge the degree of substantial agreement between a constructivist and a realist interpretation of procedural semantics; the second is to extend Martin-L \unmatched{0308}f{\textquoteright}s Constructive Type Theory to privative modification, which is characteristic of natural language; the third reason is to sketch a positive characterization of privation.},
  author       = {Primiero, Giuseppe and Jespersen, Bj{\o}rn},
  booktitle    = {LECTURE NOTES IN COMPUTER SCIENCE},
  editor       = {Nakakoji, Kumiyo and Murakami, Yohei and McCready, Eric},
  isbn         = {9783642148873},
  issn         = {0302-9743},
  keyword      = {constructivist interpretation,privative modification,realist interpretation,Martin-Lof constructive type theory,natural language,procedural semantics,type theory,programming language semantics,natural languages},
  language     = {eng},
  location     = {Tokyo, Japan},
  pages        = {252--271},
  publisher    = {Springer},
  title        = {Two kinds of procedural semantics for privative modification},
  url          = {http://dx.doi.org/10.1007/978-3-642-14888-0\_21},
  volume       = {6284},
  year         = {2010},
}

Chicago
Primiero, Giuseppe, and Bjørn Jespersen. 2010. “Two Kinds of Procedural Semantics for Privative Modification.” In Lecture Notes in Computer Science, ed. Kumiyo Nakakoji, Yohei Murakami, and Eric McCready, 6284:252–271. Berlin, Germany: Springer.
APA
Primiero, G., & Jespersen, B. (2010). Two kinds of procedural semantics for privative modification. In K. Nakakoji, Y. Murakami, & E. McCready (Eds.), LECTURE NOTES IN COMPUTER SCIENCE (Vol. 6284, pp. 252–271). Presented at the New Frontiers in Artificial Intelligence : JSAI-isAI 2009 workshops : LENLS, JURISIN, KCSD, LLLL, Berlin, Germany: Springer.
Vancouver
1.
Primiero G, Jespersen B. Two kinds of procedural semantics for privative modification. In: Nakakoji K, Murakami Y, McCready E, editors. LECTURE NOTES IN COMPUTER SCIENCE. Berlin, Germany: Springer; 2010. p. 252–71.
MLA
Primiero, Giuseppe, and Bjørn Jespersen. “Two Kinds of Procedural Semantics for Privative Modification.” Lecture Notes in Computer Science. Ed. Kumiyo Nakakoji, Yohei Murakami, & Eric McCready. Vol. 6284. Berlin, Germany: Springer, 2010. 252–271. Print.