LEADER 07091nam 22006735 450 001 996465398403316 005 20200703225811.0 010 $a3-540-36127-8 024 7 $a10.1007/3-540-36127-8 035 $a(CKB)1000000000211817 035 $a(SSID)ssj0000320870 035 $a(PQKBManifestationID)11264091 035 $a(PQKBTitleCode)TC0000320870 035 $a(PQKBWorkID)10250230 035 $a(PQKB)11423771 035 $a(DE-He213)978-3-540-36127-5 035 $a(MiAaPQ)EBC3073310 035 $a(PPN)155195433 035 $a(EXLCZ)991000000000211817 100 $a20121227d2002 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAdvances in Artificial Intelligence$b[electronic resource] $e16th Brazilian Symposium on Artificial Intelligence, SBIA 2002, Porto de Galinhas/Recife, Brazil, November 11-14, 2002, Proceedings /$fedited by Guilherme Bittencourt, Geber L. Ramalho 205 $a1st ed. 2002. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2002. 215 $a1 online resource (XIV, 422 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v2507 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-00124-7 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aTheoretical and Logical Methods -- On Special Functions and Theorem Proving in Logics for ?Generally? -- First-Order Contextual Reasoning -- Logics for Approximate Reasoning: Approximating Classical Logic ?From Above? -- Attacking the Complexity of Prioritized Inference Preliminary Report -- A New Approach to the Identification Problem -- Towards Default Reasoning through MAX-SAT -- Autonomous Agents and Multi-agent Systems -- Multiple Society Organisations and Social Opacity: When Agents Play the Role of Observers -- Altruistic Agents in Dynamic Games -- Towards a Methodology for Experiments with Autonomous Agents -- How Planning Becomes Improvisation? ? A Constraint Based Approach for Director Agents in Improvisational Systems -- Extending the Computational Study of Social Norms with a Systematic Model of Emotions -- A Model for the Structural, Functional, and Deontic Specification of Organizations in Multiagent Systems -- The Queen Robots: Behaviour-Based Situated Robots Solving the N-Queens Puzzle -- The Conception of Agents as Part of a Social Model of Distance Learning -- Emotional Valence-Based Mechanisms and Agent Personality -- Simplifying Mobile Agent Development through Reactive Mobility by Failure -- Dynamic Social Knowledge: The Timing Evidence -- Machine Learning -- Empirical Studies of Neighborhood Shapes in the Massively Parallel Diffusion Model -- Ant-ViBRA: A Swarm Intelligence Approach to Learn Task Coordination -- Automatic Text Summarization Using a Machine Learning Approach -- Towards a Theory Revision Approach for the Vertical Fragmentation of Object Oriented Databases -- Speeding up Recommender Systems with Meta-prototypes -- ActiveCP: A Method for Speeding up User Preferences Acquisition in Collaborative Filtering Systems -- Making Recommendations for Groups Using Collaborative Filtering and Fuzzy Majority -- Knowledge Discovery and Data Mining -- Mining Comprehensible Rules from Data with an Ant Colony Algorithm -- Learning in Fuzzy Boolean Networks ? Rule Distinguishing Power -- Attribute Selection with a Multi-objective Genetic Algorithm -- Applying the Process of Knowledge Discovery in Databases to Identify Analysis Patterns for Reuse in Geographic Database Design -- Lithology Recognition by Neural Network Ensembles -- Evolutionary Computation and Artificial Life -- 2-Opt Population Training for Minimization of Open Stack Problem -- Grammar-Guided Genetic Programming and Automatically Defined Functions -- An Evolutionary Behavior Tool for Reactive Multi-agent Systems -- Controlling the Population Size in Genetic Programming -- Uncertainty -- The Correspondence Problem under an Uncertainty Reasoning Approach -- Random Generation of Bayesian Networks -- Evidence Propagation in Credal Networks: An Exact Algorithm Based on Separately Specified Sets of Probability -- Restoring Consistency in Systems of Fuzzy Gradual Rules Using Similarity Relations -- Natural Language Processing -- Syntactic Analysis for Ellipsis Handling in Coordinated Clauses -- Assessment of Selection Restrictions Acquisition. 330 $aThe biennial Brazilian Symposium on Arti?cial Intelligence (SBIA 2002) ? of which this is the 16th event ? is a meeting and discussion forum for arti?cial intelligence researchers and practitioners worldwide. SBIA is the leading c- ference in Brazil for the presentation of research and applications in arti?cial intelligence. The ?rst SBIA was held in 1984, and since 1995 it has been an international conference, with papers written in English and an international program committee, which this year was composed of 45 researchers from 13 countries. SBIA 2002 was held in conjunction with the VII Brazilian Symposium on Neural Networks (SBRN 2002). SBRN 2002 focuses on neural networks and on other models of computational intelligence. SBIA 2002, supported by the Brazilian Computer Society (SBC), was held in Porto de Galinhas/Recife, Brazil, 11?14 November 2002. The call for papers was very successful, resulting in 146 papers submitted from 18 countries. A total of 39 papers were accepted for publication in the proceedings. We would like to thank the SBIA 2002 sponsoring organizations, CNPq, Capes, and CESAR, and also all the authors who submitted papers. In particular, we would like to thank the program committee members and the additional referees for the di?cult task of reviewing and commenting on the submitted papers. 410 0$aLecture Notes in Artificial Intelligence ;$v2507 606 $aArtificial intelligence 606 $aMathematical logic 606 $aDatabase management 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 0$aDatabase management. 615 14$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 615 24$aDatabase Management. 676 $a006.3 702 $aBittencourt$b Guilherme$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRamalho$b Geber L$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aSimpâosio Brasileiro de Inteligãencia Artificial 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465398403316 996 $aAdvances in Artificial Intelligence$9772131 997 $aUNISA LEADER 03009nam 2200541 450 001 9910813237603321 005 20230126202857.0 010 $a92-64-11999-X 024 7 $a10.1787/9789264119994-es 035 $a(CKB)2550000000092239 035 $a(FR-PaOEC)9789264119994-es 035 $a(SSID)ssj0000505286 035 $a(PQKBManifestationID)11939753 035 $a(PQKBTitleCode)TC0000505286 035 $a(PQKBWorkID)10501190 035 $a(PQKB)11156172 035 $a(WaSeSS)IndRDA00030017 035 $a(MiAaPQ)EBC6410403 035 $a(Au-PeEL)EBL6410403 035 $a(OCoLC)752206146 035 $a(EXLCZ)992550000000092239 100 $a20220524d2011 uy 0 101 0 $aspa 135 $aur||#|||m|n|| 181 $ctxt 182 $cc 183 $acr 200 00$aPrevencio?n y reduccio?n de la violencia armada en las zonas urbanas Notas de programacio?n /$fOECD 210 1$aParis :$cOECD Publishing,$d[2011] 210 4$d©2011 215 $a1 online resource (65 p. )$cill. ; 300 $aBibliographic Level Mode of Issuance: Monograph 320 $aIncludes bibliographical references. 327 $aAbreviaciones y acrónimos Notas de programación de la OCDE sobre la reducción de la violencia armada 1. Ciudades y violencia -Estructura de la nota 2. Características de los programas de prevención de la violencia urbana3. La evaluación y la elaboración de los programas -Una evaluación inclusiva para la elaboración de los programas -Las fuentes de datos -La utilización de la óptica de la RVA para la evaluación4. Puntos de partida para la programación de la RVA 5. La programación directa de la reducción de la violencia armada en las zonas urbanas -La importancia de implicar varios niveles de gobierno 6. La programación indirecta de la reducción de la violencia armada en las zonas urbanas 7. La gestión de los riesgos vinculados a la programación 8. Seguimiento y evaluación Fuentes adicionales Bibliografía 330 3 $aCon el fin de ayudar los expertos en desarrollo a hacer frente al problema de la violencia armada, tres notas de programación han sido elaboradas con el fin de sacar todo el partido a la publicación de 2009 Reducir la violencia armada: Hacer posible el desarrollo. Estas tres notas cubren los siguientes temas: la violencia armada en zonas urbanas, la juventud y la violencia armada, los vínculos existentes entre la reducción de la violencia armada y la reforma de los sistemas de seguridad. 606 $aSocial problems 606 $aSociology of environment 615 0$aSocial problems. 615 0$aSociology of environment. 676 $a361.1 712 02$aOrganisation for Economic Co-operation and Development, 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910813237603321 996 $aPrevencio?n y reduccio?n de la violencia armada en las zonas urbanas Notas de programacio?n$93989935 997 $aUNINA