000 02839nam a22005535i 4500
001 978-3-642-19211-1
003 DE-He213
005 20140220083755.0
007 cr nn 008mamaa
008 110216s2011 gw | s |||| 0|eng d
020 _a9783642192111
_9978-3-642-19211-1
024 7 _a10.1007/978-3-642-19211-1
_2doi
050 4 _aQ334-342
050 4 _aTJ210.2-211.495
072 7 _aUYQ
_2bicssc
072 7 _aTJFM1
_2bicssc
072 7 _aCOM004000
_2bisacsh
082 0 4 _a006.3
_223
100 1 _aLecomte, Alain.
_eeditor.
245 1 0 _aLudics, Dialogue and Interaction
_h[electronic resource] :
_bPRELUDE Project - 2006-2009. Revised Selected Papers /
_cedited by Alain Lecomte, Samuel Tronçon.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2011.
300 _aXIII, 221p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v6505
520 _aThis volume contains the key contributions to workshops and meetings that were held within the context of the PRELUDE project. PRELUDE, an acronym for “Towards Theoretical Pragmatics based on Ludics and Continuation Theory”, ran from November 2006 to November 2009, with funding from the new French National Agency for Research (ANR). The objective of the project was to develop perspectives on Natural Language Semantics and Pragmatics based on recent developments in Logic and Theoretical Computer Science; the articles shed light on the role of Ludics in the study of speech acts, inferential semantics, game-theoretical frameworks, interactive situations in the dynamics of language, the representation of commitments and interaction, programming web applications, as well as the impact of Ludics on the fundamental concepts of computability.
650 0 _aComputer science.
650 0 _aComputational complexity.
650 0 _aInformation systems.
650 0 _aArtificial intelligence.
650 1 4 _aComputer Science.
650 2 4 _aArtificial Intelligence (incl. Robotics).
650 2 4 _aInformation Systems Applications (incl.Internet).
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aComputation by Abstract Devices.
650 2 4 _aDiscrete Mathematics in Computer Science.
650 2 4 _aMathematics of Computing.
700 1 _aTronçon, Samuel.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642192104
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v6505
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-642-19211-1
912 _aZDB-2-SCS
912 _aZDB-2-LNC
999 _c107495
_d107495