02338nam 2200529 450 991079015120332120210208193002.01-283-95504-01-78042-650-X(CKB)2670000000170675(EBL)886828(OCoLC)784886775(MiAaPQ)EBC886828(NjHacI)992670000000170675(PPN)197277071(EXLCZ)99267000000017067520160211h20112011 uy 0engur|n|---|||||rdacontentrdamediardacarrierAntoni Gaudí[New York, New York] :Parkstone International,[2011]©[2011]1 online resource (82 p.)Perfect SquareIncludes index.1-84484-615-6 Includes bibliographical references.La Jeunesse de Gaudí et l'affirmation d'une personnalité; Architecture et identité catalane; Religion et spiritualité; Gaudí et la croissance d'une ville moderne; Gaudí et les idéaux de l'ère industrielle; Préserver les valeurs et les pratiques du passé à l'ère moderne; BIOGRAPHIE; LISTE DES ILLUSTRATIONSAntoni Gaudí i Cornet (25 juin 1852 - 10 juin 1926) est un architecte catalan. Diplômé de l'École d'architecture de Barcelone en 1878, il travaille dès ses débuts avec l'architecte Josep Fontsere sur le projet du parc de la Ciutadella. Sa carrière commence vraiment en 1883, avec le début de l'édification de la Casa Vicens. Jeune architecte, il est d'abord inspiré par Eugène Viollet-le-Duc mais bien vite, il rompt avec le modèle néogothique et se fait remarquer par son originalité et sa fantaisie. Dès ses premiers projets, il fait cohabiter architecture et mobilier. Inscrit dans la mouvance de Perfect SquareArchitectsSpainBiographyArchitectureSpainBarcelonaArchitectsArchitecture720.924720/.92/4Carl Klaus1465639MiAaPQMiAaPQMiAaPQBOOK9910790151203321Antoni Gaudí3809214UNINA05548nam 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