01449nam2 22003613i 450 CFI016720820231121125443.08815027319IT91-9202 19951024d1990 ||||0itac50 baitaitz01i xxxe z01n˜5: La œcritica inglese, 1900-1950René WellekBolognaIl mulino[1990]475 p.22 cmEd. italiana a cura di Agostino Lombardo - Trad. di Giovanni Luciani.001CFI01671892001 Storia della critica modernaRené Wellek5Critica letterariaStoriaFIRRMLC010599I801.950921Wellek, RenéCFIV015682070384794ITIT-0119951024IT-RM0289 IT-RM0290 IT-RM0418 IT-FR0017 Biblioteca Statale A. BaldiniRM0289 BIBLIOTECA ANGELICARM0290 BIBLIOTECA ACCADEMIA NAZ. DEI LINCEI E CORSINIANARM0418 Biblioteca umanistica Giorgio ApreaFR0017 NCFI0167208Biblioteca umanistica Giorgio Aprea 52MAG 13/716.5 52FLS0000220395 VMN RS A 2015030420150304 04 06 10 52Critica inglese 1900-1950102492UNICAS00980nam0 22002771i 450 UON0023167220231205103505.37583-87495-05-020030730d1999 |0itac50 bapolPL|||| 1||||Odyseja DuszyArtemus LambWarszawa : Wydawnictwo Bah'i w Polsce199994 p.18 cmTit. or.The Oddyssey of the soul.PLWarszawaUONL000573828.99Letteratura in lingua inglese21LAMBArtemusUONV140427687212Baha'ì w PolsceUONV272950650ITSOL20240220RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00231672SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI POLACCO B A 0034 SI EO 33769 5 0034 Odyseja Duszy1272819UNIOR05548nam 22008655 450 991048484110332120251226200028.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(BIP)32412867(EXLCZ)99255000000001991520101031d2010 u| 0engurnn#008mamaatxtccrComputational Logic in Multi-Agent Systems 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,2945-9141 ;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.These are the proceedings of the 10th International Workshop on Compu- tional Logic in Multi-Agent Systems (CLIMA-X), held September 9-10, 2009 in Hamburg, co-located with MATES. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, in a formal way, programming and reasoning about agents and multi-agent systems. Multi-agentsystemsarecommunitiesofproblem-solvingentitiesthatcanp- ceive and act upon their environment in order to achieve both their individual goals and their joint goals. The work on such systems integrates many techno- giesandconceptsfromarti'cialintelligenceandotherareasofcomputingaswell as other disciplines. Over recent years, the agent paradigm gained popularity, due to its applicability to a full spectrum of domains, such as search engines, recommendation systems, educational support, e-procurement, simulation and routing,electroniccommerceandtrade,etc.Computationallogicprovidesawe- de'ned, general, and rigorousframeworkfor studying the syntax, semantics and procedures for the various tasks in individual agents, as well as the interaction between, and integration among, agents in multi-agent systems. It also provides tools, techniques and standards for implementations and environments, for li- ing speci'cations to implementations, and for the veri'cation of properties of individual agents, multi-agent systems and their implementations. These proceedings feature nine regularpapers (from a total of 18 papers s- mitted), as wellas one paper basedonthe invited talk givenby TranCao Son. IntheinvitedpaperbyTranCaoSon,EnricoPontelli,andNgoc-HieuNguyen, "Planning for Multi-Agents Using ASP-Prolog," the action language B is - tended to the multi-agent case. The used technology is based on answer set programming. The contribution by Nils Bulling and Berndt Farwer on "Expressing Prop-Lecture Notes in Artificial Intelligence,2945-9141 ;6214Artificial intelligenceMachine theoryComputer networksSoftware engineeringApplication softwareComputer scienceArtificial IntelligenceFormal Languages and Automata TheoryComputer Communication NetworksSoftware EngineeringComputer and Information Systems ApplicationsComputer Science Logic and Foundations of ProgrammingArtificial intelligence.Machine theory.Computer networks.Software engineering.Application software.Computer science.Artificial Intelligence.Formal Languages and Automata Theory.Computer Communication Networks.Software Engineering.Computer and Information Systems Applications.Computer Science Logic and Foundations of Programming.006.3Dix Jurgen1754562Fisher Michael12384Novak Peter1759851CLIMA (Conference)MiAaPQMiAaPQMiAaPQBOOK9910484841103321Computational logic in multi-agent systems4198514UNINA