01021nam0-2200361---450 99000914321040332120200603100347.0978-1-4200-6410-0000914321FED01000914321(Aleph)000914321FED0100091432120100208d2009----km-y0itay50------baengUSaf------001yyInsect symbiosisedited by Kostas Bourtzis, Thomas A. MillerBoca RatonCRC Press2009XVII, 408 p., [16] c. di tav.ill.26 cmContemporary topics in entomology series3InsettiSimbiosi595.720ita595.7178223itaBourtzis,KostasMiller,Thomas A.ITUNINARICAUNIMARCBK99000914321040332160 595.717 BOUK-3 200912186FAGBCFAGBCInsect symbiosis752276UNINA03111nam 2200601 450 99646598060331620210331125304.03-540-77564-110.1007/978-3-540-77564-5(CKB)1000000000490464(SSID)ssj0000317152(PQKBManifestationID)11253058(PQKBTitleCode)TC0000317152(PQKBWorkID)10292620(PQKB)11355893(DE-He213)978-3-540-77564-5(MiAaPQ)EBC3062117(MiAaPQ)EBC6413996(PPN)123743354(EXLCZ)99100000000049046420210331d2008 uy 0engurnn#008mamaatxtccrDeclarative agent languages and technologies V 5th international workshop, DALT 2007, Honolulu, Hawaii, USA, May 14, 2007 : revised, selected, and invited papers /Matteo Baldoni (editors)1st ed. 2008.Berlin, Germany ;New York, New York :Springer,[2008]©20081 online resource (X, 248 p.)Lecture notes in computer science ;4897Bibliographic Level Mode of Issuance: Monograph3-540-77563-3 Includes bibliographical references and index.Invited 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.Lecture notes in computer science ;4897.Intelligent agents (Computer software)Programming languages (Electronic computers)CongressesDeclarative programmingCongressesIntelligent agents (Computer software)Programming languages (Electronic computers)Declarative programming006.3Baldoni Matteo1968-International Workshop on Declarative Agent Languages and TechnologiesMiAaPQMiAaPQMiAaPQBOOK996465980603316Declarative Agent Languages and Technologies V774397UNISA02208oam 22004575 450 99646545000331620231207170225.03-319-65645-710.1007/978-3-319-65645-8(CKB)4100000009845166(DE-He213)978-3-319-65645-8(MiAaPQ)EBC6112030(PPN)260303747(EXLCZ)99410000000984516620191109d2020 uy 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierSemantics /András Kornai1st ed. 2020.Cham :Springer International Publishing :Imprint: Springer,2020.1 online resource (xviii, 298 pages) 33 illustrations, 8 illustrations in color3-319-65644-9 Includes bibliographical references and index.Introduction -- Linear Spaces, Boolean Algebras, and First Order Logic -- Prolepsis -- Graphs and Machines -- Phenogrammar -- Lexemes -- Models -- Embodiment -- The Meaning of Life.The focus of this textbook is the meaning of linguistic expressions, typically full sentences and longer texts. The author describes the conceptual and formal tools required for building semantic systems capable of understanding text, both for specific tasks such as information extraction and question answering and for broad undertakings such as the Semantic Web. The goal here is to present the fundamental ideas that working systems rest on, and this book is aimed primarily at Computer Science or Engineering students interested in developing semantic systems. The ideal reader is a hacker, a person who delights in having an intimate understanding of the internal workings of a system.SemanticsSemantic WebSemantics.Semantic Web.025.04Kornai András1957-authttp://id.loc.gov/vocabulary/relators/aut972178MiAaPQMiAaPQMiAaPQBOOK996465450003316Semantics2210344UNISA