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 |