You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book presents selected tutorial lectures given at the summer school on Multi-Agent Systems and Their Applications held in Prague, Czech Republic, in July 2001 under the sponsorship of ECCAI and Agent Link. The 20 lectures by leading researchers in the field presented in the book give a competent state-of-the-art account of research and development in the field of multi-agent systems and advanced applications. The book offers parts on foundations of MAS; social behaviour, meta-reasoning, and learning; and applications.
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties. These foundations are built on a solid mathematical basis, using elements of universal algebra, category theory and logic, and this mathematical toolbox provides a convenient language for precisely formulating the concepts involved in software specification and development. Once formally defined, these notions become subject to mathematical investigation, and this interplay between mathematics and software engineering yields results that are mathematically intere...
This book constitutes the thoroughly refereed proceedings of the First International Conference on InformationTechnology in Bio- and Medical Informatics, held in Bilbao, Spain, in September 2010. The 14 selected long papers and 8 selected short papers are divided in the following groups:Workflow management and database; Decision support and data management in biomedicine; Medical data modelling and information retrieval; Data mining in bioinformatics; Knowledge representation and data management in bioinformatics; Biological data and signal processing.
The emergence of new paradigms for data management raises a variety of exciting challenges. An important goal of database theory is to answer these challenges by providing sound foundations for the development of the field. This volume contains the papers selected for the third International Conference on Database Theory, ICDT'90. The conferences in this series are held biannually in beautiful European cities, Rome in 1986 and Bruges in 1988 with proceedings published as volumes 234 and 326 in the same series. ICDT'90 was organized in Paris by the Institut National de Recherche en Informatique et Automatique. The conference features 2 invited presentations and 31 papers selected from 129 submissions. The papers describe original ideas and new results on the foundations of databases, knowledge bases, object-oriented databases, relational theory, transaction management, data structures and deductive databases. The volume offers a good overview of the state of the art and the current trends in database theory. It should be a valuable source of information for researchers interested in the field.
Papers from an October 2002 symposium describe research in areas including algorithms, artificial intelligence, computer graphics, computer networks, databases, evolutionary computation, graph theory, image processing, multimedia technology, software engineering, and software performance engineering
This volume constitutes the proceedings of the 4th International Conference on Database and Expert Systems Applications (DEXA), held in Prague, Czech Republic, in September 1993. Traditionally the objective of the DEXA conferences is to serve as an international forum for the discussion and exchange of research results and practical experinece among theoreticians and professionals working in the field of database and artificial intelligence technologies. Despite the fact that in the conference title the applications aspect is mentioned explicitly, the theoretical and the practical points of view in the field are well-balanced in the program of DEXA'93. The growing importance of the conferenc...
This volume contains the proceedings of the First International Workshop on Algebraic and Logic Programming held in Gaussig (German Democratic Republic) from November 14 to 18, 1988. The workshop was devoted to Algebraic Programming, in the sense of programming by algebraic specifications and rewrite rule systems, and Logic Programming, in the sense of Horn clause specifications and resolution systems. This includes combined algebraic/logic programming systems, mutual relations and mutual implementation of programming paradigms, completeness and efficiency considerations in both fields, as well as related topics.
This book contains the collection of full papers accepted at the 11th International Conference on Enterprise Information Systems (ICEIS 2009), organized by the Ins- tute for Systems and Technologies of Information Control and Communication (INSTICC) in cooperation with the Association for Advancement of Artificial Intel- gence (AAAI) and ACM SIGMIS (SIG on Management Information Systems), and technically co-sponsored by the Japanese IEICE SWIM (SIG on Software Interprise Modeling) and the Workflow Management Coalition (WfMC). ICEIS 2009 was held in Milan, Italy. This conference has grown to become a - jor point of contact between research scientists, engineers and practitioners in the area o...
This book contains the final reports of 19 workshops held during the 20th European Conference on Object-Oriented Programming, ECOOP 2006, held in Nantes, France in July 2006. The 19 reports cover the entire range of object technology and related topics, presenting a coherent and highly representative snapshot of the major trends in the field.