00933nam0 22002411i 450 SUN002270520040906120000.020040906d1972 |0itac50 baitaIT|||| |||||ˆIl ‰nostro mondo adulto e altri saggiMelanie Kleintraduzione di Alberto PonsiFirenzeMartinelli1972162 p.22 cm.FirenzeSUNL000014Klein, MelanieSUNV016508118735MartinelliSUNV000059650ITSOL20181109RICASUN0022705UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI PSICOLOGIA16 CONS 617 16 VS 2026 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI PSICOLOGIAIT-CE0119VS2026CONS 617caNostro mondo adulto e altri saggi1432540UNICAMPANIA04179nam 22008295 450 991048484110332120200706055813.01-280-39027-197866135681993-642-16867-110.1007/978-3-642-16867-3(CKB)2550000000019915(SSID)ssj0000446360(PQKBManifestationID)11299744(PQKBTitleCode)TC0000446360(PQKBWorkID)10506310(PQKB)10505617(DE-He213)978-3-642-16867-3(MiAaPQ)EBC3066067(PPN)149029969(EXLCZ)99255000000001991520101031d2010 u| 0engurnn#008mamaatxtccrComputational Logic in Multi-Agent Systems[electronic resource] 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers /edited by Jürgen Dix, Michael Fisher, Peter Novák1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (IX, 197 p. 40 illus.)Lecture Notes in Artificial Intelligence ;6214Bibliographic Level Mode of Issuance: Monograph3-642-16866-3 Includes bibliographical references and index.Planning for Multiagent Using ASP-Prolog -- Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL -- Reasoning about Multi-agent Domains Using Action Language : A Preliminary Study -- Model Checking Normative Agent Organisations -- Operational Semantics for BDI Modules in Multi-agent Programming -- InstQL: A Query Language for Virtual Institutions Using Answer Set Programming -- Interacting Answer Sets -- Argumentation-Based Preference Modelling with Incomplete Information -- A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier -- On the Implementation of Speculative Constraint Processing.Lecture Notes in Artificial Intelligence ;6214Artificial intelligenceMathematical logicComputer communication systemsSoftware engineeringApplication softwareComputer logicArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Information Systems Applications (incl. Internet)https://scigraph.springernature.com/ontologies/product-market-codes/I18040Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XHamburg <2009>swdKongress.swdArtificial intelligence.Mathematical logic.Computer communication systems.Software engineering.Application software.Computer logic.Artificial Intelligence.Mathematical Logic and Formal Languages.Computer Communication Networks.Software Engineering.Information Systems Applications (incl. Internet).Logics and Meanings of Programs.006.3Dix Jürgenedthttp://id.loc.gov/vocabulary/relators/edtFisher Michaeledthttp://id.loc.gov/vocabulary/relators/edtNovák Peteredthttp://id.loc.gov/vocabulary/relators/edtCLIMA (Conference)BOOK9910484841103321Computational Logic in Multi-Agent Systems772133UNINA