Model Checking and Artificial Intelligence

Model Checking and Artificial Intelligence

Author: Doron A. Peled

Publisher: Springer

ISBN: 9783642004315

Category: Computers

Page: 189

View: 401

Get eBOOK →
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a satellite event of ECAI 2008, the 18th biannual European conference on Artificial Intelligence. The 9 revised full workshop papers presented together with 2 invited lectures have gone through two rounds of reviewing and improvement and were carefully selected for inclusion in the book. The workshop covers all ideas, research, experiments and tools that relate to both MC and AI fields.

The Semantic Web

The Semantic Web

Author: Karl Aberer

Publisher: Springer Science & Business Media

ISBN: 9783540762973

Category: Computers

Page: 973

View: 513

Get eBOOK →
This book constitutes the refereed proceedings of the joint 6th International Semantic Web Conference, ISWC 2007, and the 2nd Asian Semantic Web Conference, ASWC 2007, held in Busan, Korea, in November 2007. The 50 revised full academic papers and 12 revised application papers presented together with 5 Semantic Web Challenge papers and 12 selected doctoral consortium articles were carefully reviewed and selected from a total of 257 submitted papers to the academic track and 29 to the applications track. The papers address all current issues in the field of the semantic Web, ranging from theoretical and foundational aspects to various applied topics such as management of semantic Web data, ontologies, semantic Web architecture, social semantic Web, as well as applications of the semantic Web. Short descriptions of the top five winning applications submitted to the Semantic Web Challenge competition conclude the volume.

Principles and Practice of Constraint Programming - CP 2010

Principles and Practice of Constraint Programming - CP 2010

Author: David Cohen

Publisher: Springer

ISBN: 9783642153969

Category: Computers

Page: 650

View: 223

Get eBOOK →
The 16th annual International Conference on the Principles and Practice of Constraint Programming (CP 2010) was held in St. Andrews, Scotland, during September 6–10, 2010. We would like to thank our sponsors for their generous support of this event. This conference is concerned with all aspects of computing with constraints, including:theory,algorithms,applications,environments,languages,modelsand systems. We received a wide variety of submissions, each of which was reviewed by at least three referees. Referees were chosen for each submission by an initial bidding process where Program Committee members chose papers from their area of interest. The range of expertise represented by the large Program C- mittee meant that almost all submissions were reviewed by subject experts on the Program Committee, or by colleagues chosen by members of the Program Committee for their particular expertise. Papers weresolicitedeither as long (15 page), or short (8 page) submissions. Short-paper submissions were refereed to exactly the same high standards as long-paper submissions but naturally were expected to contain a smaller quantity of new material. Thus there is no disti- tion in these proceedings between short and long papers. I used the excellent EasyChair conference management system to support this process of reviewing, and for the collation and organization of these proceedings. Submissions were made either to the applications track or to the research track. Therewere101(23short)researchtracksubmissionsofwhich36(8short) wereaccepted,whichisa36%(35%ofshort)acceptancerate. Applicationstrack submissions received special consideration and the acceptance rate was sign- cantly higher than for the research track.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Author: Carla Gomes

Publisher: Springer

ISBN: 9783642381713

Category: Computers

Page: 403

View: 913

Get eBOOK →
This volume is a compilation of the research program of the 10th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, CPAIOR 2013, held at Yorktown Heights, NY, USA, in May 2013. This volume contains 20 full papers and 11 short papers that were carefully reviewed and selected from 71 submissions. The papers focus on new techniques or applications in the intersection of constraint programming (CP), artificial intelligence (AI) and operations research (OR).

Artificial Intelligence in Medicine

Artificial Intelligence in Medicine

Author: Riccardo Bellazzi

Publisher: Springer

ISBN: 9783540735991

Category: Medical

Page: 509

View: 653

Get eBOOK →
This book constitutes the refereed proceedings of the 11th Conference on Artificial Intelligence in Medicine in Europe, AIME 2007, held in Amsterdam, The Netherlands in July 2007. The 28 revised full papers and 38 revised short papers presented were carefully reviewed and selected from 137 submissions. The papers are organized in topical sections on agent-based systems, temporal data mining, machine learning and knowledge discovery, text mining, natural language processing and generation, ontologies, decision support systems, applications of AI-based image processing techniques, protocols and guidelines, as well as workflow systems.

Principles and Practice of Constraint Programming -- CP 2011

Principles and Practice of Constraint Programming -- CP 2011

Author: Jimmy Lee

Publisher: Springer

ISBN: 9783642237867

Category: Computers

Page: 836

View: 830

Get eBOOK →
This book constitutes the refereed proceedings of the 17th International Conference on Principles and Practice of Constraint Programming, CP 2011, held in Perugia, Italy, September 12-16, 2011. The 51 revised full papers and 7 short papers presented together with three invited talks were carefully reviewed and selected from 159 submissions. The papers are organized in topical sections on algorithms, environments, languages, models and systems, applications such as decision making, resource allocation and agreement technologies.

Artificial Intelligence: Methodology, Systems, and Applications

Artificial Intelligence: Methodology, Systems, and Applications

Author: Darina Dicheva

Publisher: Springer

ISBN: 9783642154317

Category: Computers

Page: 286

View: 550

Get eBOOK →
The 14th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2010) was held in Varna, Bulgaria, during September 8–10, 2010. The AIMSA conference series has provided a biennial forum for the presen- tion of artificial intelligence research and development since 1984. The conference covers the full range of topics in artificial intelligence (AI) and related disciplines and provides an ideal forum for international scientific exchange between Central/Eastern Europe and the rest of the world. The 2010 AIMSA edition continued this tradition. For AIMSA 2010, we decided to place special emphasis on the application and leverage of AI technologies in the context of knowledge societies where knowledge creation, accessing, acquiring, and sharing empower individuals and communities. A number of AI techniques play a key role in responding to these challenges. AI is - tensively used in the development of systems for effective management and flexible and personalized access to large knowledge bases, in the Semantic Web technologies that enable sharing and reuse of and reasoning over semantically annotated resources, in the emerging social Semantic Web applications that aid humans to collaboratively build semantics, in the construction of intelligent environments for supporting (human and agent) learning, etc. In building such intelligent applications, AI techniques are typically combined with results from other disciplines such as the social sciences, distributed systems, databases, digital libraries, information retrieval, service-oriented applications, etc.

Integration of AI and OR Techniques in Constraint Programming

Integration of AI and OR Techniques in Constraint Programming

Author: Domenico Salvagnin

Publisher: Springer

ISBN: 9783319597768

Category: Computers

Page: 420

View: 706

Get eBOOK →
This book constitutes the proceedings of the 14th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2017, held in Padua, Italy, in June 2017. The 32 full papers presented together with 6 abstracts were carefully reviewed and selected from numerous submissions. The conference brings together interested researchers from constraint programming, artificial intelligence, and operations research to present new techniques or applications in the intersection of these fields and provides an opportunity for researchers in one area to learn about techniques in the others, and to show how the integration of techniques from different fields can lead to interesting results on large and complex problems.

Multi-Agent Systems

Multi-Agent Systems

Author: Adelinde M. Uhrmacher

Publisher: CRC Press

ISBN: 9781351834674

Category: Computers

Page: 566

View: 882

Get eBOOK →
Methodological Guidelines for Modeling and Developing MAS-Based Simulations The intersection of agents, modeling, simulation, and application domains has been the subject of active research for over two decades. Although agents and simulation have been used effectively in a variety of application domains, much of the supporting research remains scattered in the literature, too often leaving scientists to develop multi-agent system (MAS) models and simulations from scratch. Multi-Agent Systems: Simulation and Applications provides an overdue review of the wide ranging facets of MAS simulation, including methodological and application-oriented guidelines. This comprehensive resource reviews two decades of research in the intersection of MAS, simulation, and different application domains. It provides scientists and developers with disciplined engineering approaches to modeling and developing MAS-based simulations. After providing an overview of the field’s history and its basic principles, as well as cataloging the various simulation engines for MAS, the book devotes three sections to current and emerging approaches and applications. Simulation for MAS — explains simulation support for agent decision making, the use of simulation for the design of self-organizing systems, the role of software architecture in simulating MAS, and the use of simulation for studying learning and stigmergic interaction. MAS for Simulation — discusses an agent-based framework for symbiotic simulation, the use of country databases and expert systems for agent-based modeling of social systems, crowd-behavior modeling, agent-based modeling and simulation of adult stem cells, and agents for traffic simulation. Tools — presents a number of representative platforms and tools for MAS and simulation, including Jason, James II, SeSAm, and RoboCup Rescue. Complete with over 200 figures and formulas, this reference book provides the necessary overview of experiences with MAS simulation and the tools needed to exploit simulation in MAS for future research in a vast array of applications including home security, computational systems biology, and traffic management.

Social Robotics

Social Robotics

Author: Haizhou Li

Publisher: Springer

ISBN: 9783642172489

Category: Computers

Page: 412

View: 376

Get eBOOK →
The papers in this volume were the fruitful scientific results of the Second International Conference on Social Robotics (ICSR), held during November 23–24, 2010 in Singapore, which was jointly organized by the Social Robotics Laboratory (SRL), Interactive Digital Media Institute (IDMI), the National University of Singapore and 2 Human Language Technology Department, the Institute for Infocomm Research (I R), A*STAR, Singapore. These papers address a range of topics in social robotics and its applications. We received paper submissions from America, Asia, and Europe. All the papers were reviewed by at least three referees from the 32-member Program Committee who were assembled from the global community of social robotics researchers. This v- ume contains the 42 papers that were selected to report on the latest developments and studies of social robotics in the areas of human––robot interaction; affective and cognitive sciences for interactive robots; design philosophies and software archit- tures for robots; learning, adaptation and evolution of robotic intelligence; and mec- tronics and intelligent control.

Knowledge Representation for Agents and Multi-Agent Systems

Knowledge Representation for Agents and Multi-Agent Systems

Author: John-Jules Meyer

Publisher: Springer

ISBN: 9783642053016

Category: Computers

Page: 162

View: 772

Get eBOOK →
This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Knowledge Representation for Agents and Multi-Agent Systems, KRAMAS 2008, held in Sydney, Australia, in September 2008 as a satellite event of KR 2008, the 11th International Conference on Principles of Knowledge Representation and Reasoning. The 10 revised full papers presented were carefully reviewed and selected from 14 submissions. The papers foster the cross-fertilization between the KR (knowledge representation and reasoning) and agent communities, by discussing knowledge representation theories and techniques for agent-based systems.