LEADER 04034nam  22007455  450 
001 996466045203316
005 20200701235333.0
010   $a3-642-19211-4
024 7 $a10.1007/978-3-642-19211-1
035   $a(CKB)2670000000071956
035   $a(SSID)ssj0000476375
035   $a(PQKBManifestationID)11331991
035   $a(PQKBTitleCode)TC0000476375
035   $a(PQKBWorkID)10479634
035   $a(PQKB)11728857
035   $a(DE-He213)978-3-642-19211-1
035   $a(MiAaPQ)EBC3066450
035   $a(PPN)151585113
035   $a(EXLCZ)992670000000071956
100   $a20110216d2011      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aLudics, Dialogue and Interaction$b[electronic resource] $ePRELUDE Project ? 2006-2009. Revised Selected Papers /$fedited by Alain Lecomte, Samuel Tronçon
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (XIII, 221 p. 33 illus., 1 illus. in color.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v6505
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-19210-6 
320   $aIncludes bibliographical references and index.
330   $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.
410  0$aLecture Notes in Artificial Intelligence ;$v6505
606   $aArtificial intelligence
606   $aApplication software
606   $aMathematical logic
606   $aComputers
606   $aComputer science?Mathematics
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013
606   $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028
606   $aMathematics of Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I17001
615  0$aArtificial intelligence.
615  0$aApplication software.
615  0$aMathematical logic.
615  0$aComputers.
615  0$aComputer science?Mathematics.
615 14$aArtificial Intelligence.
615 24$aInformation Systems Applications (incl. Internet).
615 24$aMathematical Logic and Formal Languages.
615 24$aComputation by Abstract Devices.
615 24$aDiscrete Mathematics in Computer Science.
615 24$aMathematics of Computing.
676   $a006.3
702   $aLecomte$b Alain$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aTronçon$b Samuel$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 02$aPRELUDE project.
906   $aBOOK
912   $a996466045203316
996   $aLudics, Dialogue and Interaction$92829736
997   $aUNISA