LEADER 00977cam2-2200325---450- 001 990005500880403321 005 20141008163038.0 035 $a000550088 035 $aFED01000550088 035 $a(Aleph)000550088FED01 035 $a000550088 100 $a19990604d1866----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $ay---b---001yy 200 1 $aRaccolta pornografica 210 $aNapoli$cStabilimento tipografico in S.ta Teresa$d1866 215 $a17 p.$d40 cm 461 0$1001000550075$12001$aCatalogo del Museo Nazionale di Napoli 610 0 $aPornografia$aMuseo archeologico nazionale 610 0 $aErotismo nell'arte 676 $a700.4538 710 02$aMuseo archeologico nazionale di Napoli$0176769 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990005500880403321 952 $a708.573 MUSEO NAZ NAPOLI 9 (2)$bBibl.$fFLFBC 959 $aFLFBC 996 $aRaccolta pornografica$9589268 997 $aUNINA LEADER 00900nam0-2200325---450- 001 990009637190403321 005 20121121121723.0 010 $a88-389-2714-6 035 $a000963719 035 $aFED01000963719 035 $a(Aleph)000963719FED01 035 $a000963719 100 $a20121022d2012----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $a--------001yy 200 1 $aCibo e rito$eil gesto e la parola nell'alimentazione tradizionale$fPiercarlo Grimaldi 210 $aPalermo$cSellerio$d2012 215 $a255 p.$d18 cm 225 1 $aTutto e subito$i23 610 0 $aCibo$aAspetti socioculturali 676 $a394.12$v22$zita 700 1$aGrimaldi,$bPiercarlo$0144065 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990009637190403321 952 $a394.1 GRI 1$b5945$fBFS 959 $aBFS 996 $aCibo e rito$9847743 997 $aUNINA LEADER 04308nam 22008055 450 001 9910483487103321 005 20251226195631.0 010 $a3-540-77564-1 024 7 $a10.1007/978-3-540-77564-5 035 $a(CKB)1000000000490464 035 $a(SSID)ssj0000317152 035 $a(PQKBManifestationID)11253058 035 $a(PQKBTitleCode)TC0000317152 035 $a(PQKBWorkID)10292620 035 $a(PQKB)11355893 035 $a(DE-He213)978-3-540-77564-5 035 $a(MiAaPQ)EBC3062117 035 $a(MiAaPQ)EBC6413996 035 $a(PPN)123743354 035 $a(MiAaPQ)EBC336932 035 $a(BIP)37160536 035 $a(BIP)17712496 035 $a(EXLCZ)991000000000490464 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aDeclarative Agent Languages and Technologies V $e5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers /$fedited by Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (X, 248 p.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v4897 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-77563-3 320 $aIncludes bibliographical references and index. 327 $aInvited Talk -- Agent-Oriented Modelling: Declarative or Procedural? -- Invited Papers -- Joint Conversation Specification and Compliance -- Interoperation in Protocol Enactment -- Contributed Papers: Modeling -- Integrating Agent Models and Dynamical Systems -- Contributed Papers: Goals -- Composing High-Level Plans for Declarative Agent Programming -- Satisfying Maintenance Goals -- Towards Alternative Approaches to Reasoning About Goals -- Contributed Papers: Foundational Concepts -- Reflections on Agent Beliefs -- Modeling Agents? Choices in Temporal Linear Logic -- Conflict Resolution in Norm-Regulated Environments Via Unification and Constraints -- On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition -- Contributed Papers: Communication -- Structured Argumentation in a Mediator for Online Dispute Resolution -- Extending Propositional Logic with Concrete Domains for Multi-issue Bilateral Negotiation -- Component-Based Standardisation of Agent Communication. 330 $aThis book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative Agent Languages and Technologies, DALT 2007, held in Honolulu, USA, in 2007. It was an associated event of AAMAS 2007, the conference on autonomous agents and multi-agent systems. The 11 full papers, together with 1 keynote lecture and 2 invited papers from the AAMAS main conference were carefully selected and substantially enhanced after the workshop. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v4897 606 $aCompilers (Computer programs) 606 $aArtificial intelligence 606 $aComputer networks 606 $aSoftware engineering 606 $aComputer science 606 $aCompilers and Interpreters 606 $aArtificial Intelligence 606 $aComputer Communication Networks 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 615 0$aCompilers (Computer programs). 615 0$aArtificial intelligence. 615 0$aComputer networks. 615 0$aSoftware engineering. 615 0$aComputer science. 615 14$aCompilers and Interpreters. 615 24$aArtificial Intelligence. 615 24$aComputer Communication Networks. 615 24$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 676 $a006.3 702 $aBaldoni$b Matteo$f1968- 712 12$aInternational Workshop on Declarative Agent Languages and Technologies. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483487103321 996 $aDeclarative Agent Languages and Technologies V$9774397 997 $aUNINA