Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2011, held in Barcelona, Spain, in July 2011 as satellite event of IJCAI 2011, the 22nd International Joint Conference on Artificial Intelligence. The 7 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 12 submissions. The papers feature current research involved in the development and application of graph-based knowledge representation formalisms and reasoning techniques and investigate further developments of knowledge representation and reasoning graph based techniques. Topics addressed are such as: bayesian networks, semantic networks, conceptual graphs, formal concept analysis, cp-nets, gai-nets, euler diagrams, existential graphs all of which have been successfully used in a number of applications (semantic Web, recommender systems, bioinformatics etc.)."

"This book constitutes the refereed proceedings of the 5th International Symposium on Algorithmic Game Theory, SAGT 2012, held in Barcelona, Spain, in October 2012. The papers present original research at the intersection of algorithms and game theory and address various current topics such as solution concepts in game theory, efficiency of equilibria and price of anarchy, complexity classes in game theory, computational aspects of equilibria, computational aspects of fixed-point theorems, repeated games, evolution and learning in games, convergence of dynamics, coalitions, coordination and collective action; reputation, recommendation and trust systems, graph-theoretic aspects of social networks, network games; cost-sharing algorithms and analysis, computing with incentives, algorithmic mechanism design, computational social choice, decision theory, and pricing, auction algorithms and analysis, economic aspects of distributed computing, internet economics and computational advertising."

"This book constitutes the refereed proceedings of the 16th Annual International Conference on Research in Computational Molecular Biology, RECOMB 2012, held in Barcelona, Spain, in April 2012. The 31 revised full papers presented together with 5 keynote lectures were carefully reviewed and selected from 200 submissions. The papers feature current research in all areas of computational molecular biology, including, molecular sequence analysis, recognition of genes and regulatory elements, molecular evolution, protein structure, structural genomics, analysis of gene expression, biological networks, sequencing and genotyping technologies, drug design, probabilistic and combinatorial algorithms, systems biology, computational proteomics, structural and functional genomics, and information systems for computational biology and imaging."

"This book constitutes the proceedings of the First International Conference on Biomimetic and Biohybrid Systems, Living Machines 2012, held in Barcelona, Spain, in July 2012. The 28 full papers and 33 extended abstracts presented in this volume were carefully reviewed and selected for inclusion in this book. The conference addresses themes related to the development of future real-world technologies which will depend strongly on our understanding and harnessing of the principles underlying living systems and the flow of communication signals between living and artificial systems."

"This book constitutes the thoroughly refereed proceedings of the First International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2011, held in Barcelona, Spain, in Juli 2011, as a workshop at IJCAI 2011, the 22nd International Joint Conference on Artificial Intelligence. The 9 revised full papers presented together with 8 revised poster papers were carefully selected during two rounds of reviewing and improvement from 32 initial submissions. The workshop promotes and fosters uptake of argumentation as a viable AI paradigm with wide ranging application, and provides a forum for further development of ideas and the initiation of new and innovative collaborations. The papers cover the following topics, properties of formal models of argumentation, instantiations of abstract argumentation frameworks, relationships among different argumentation frameworks, practical applications of formal models of argumentation, argumentation and other artificial intelligence techniques, evaluation of formal models of argumentation, validation and evaluation of applications of argumentation."