The Internet is spawning many new markets and electronic commerce is changing many market conventions. Not only are old commercial practices being adapted to the new conditions of immediacy brought forth by the global networks, but new products and services, as well as new practices, are beginning to appear. There is already ample evidence that agent-based technologies will be crucial for these - velopments. However many theoretical, technological, sociological, and legal - pects will need to be addressed before such opportunities become a significant reality. In addition to streamlining traditional transactions, agents enable new types of transactions. For example, the elusive one-to-one marketing becomes more of a - ality when consumer agents capture and share (or sell) consumer demographics. Prices and other transaction dimensions need no longer to be fixed; selling agents can dynamically tailor merchant offerings to each consumer. Economies of scale become feasible in new markets when agents negotiate on special arbitration c- tracts. Dynamic business relationships will give rise to more competitively agile organizations. It is these new opportunities combined with substantial reduction in transaction costs that will revolutionize electronic commerce.

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Agent-Mediated Electronic Commerce, AMEC 2002, held in Bologna, Italy in July 2002 during the AAMAS 2002 conference. The 20 revised full papers presented together with an introductory survey by the volume editors were carefully selected and improved during two rounds of reviewing and revision. The book gives a unique overview of the state of the art of designing mechanisms and systems for agent-mediated e-commerce- The papers are organized in topical sections on electronic auctions, negotiations, and electronic markets.

This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Agent-Mediated Electronic Commerce, AMEC 2006, held in New York, NY, USA in July 2004 as part of AAMAS 2004. The 15 revised full papers presented were carefully selected from 39 submissions during two rounds of reviewing and revision. The papers bring together novel work from such diverse fields as Computer Science, Operations Research, Artificial Intelligence and Distributed Systems that focus on modeling, implementation and evaluation of computational trading institution and/or agent strategies over a diverse set of goods. They are organized in topical sections on mechanism design, trading agents, and tools.

This book presents 12 revised full papers on Agent-Mediated Electronic Commerce: seven papers were initially presented at the AMEC 2000 Workshop and the five others were solicited by the volume editors in order to achieve competent coverage of all relevant topics. The book is divided in topical sections on electronic negotiation models for agents, formal issues for agents operating on electronic market places, virtual trading institutions and platforms, and trading strategies for interrelated transactions.

Electronic Commerce, as a gamut of activities involving electronic transactions performed over a network via software that may be more or less autonomous, is an emerging reality. Strategic studies have shown that electronic commerce is a major growth industry. The book is devoted to the challenges and opportunities that electronic commerce opens for agent technology. For some time, electronic commerce has attracted the avid attention of agent-builders and agent technology researchers, and these have decisively contributed to advancing the state of the art in the field. The second-generation software agents now entering the scene hold great promise for the further advancement of electronic commerce. This book originates from a workshop on Agent-Mediated Electronic Trading held at Agents'98 in Minneapolis, Minnesota, in May 1998. The eleven carefully reviewed and revised papers present a unique survey of software agents in the context of electronic commerce.

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Agent-Mediated Electronic Commerce, AMEC 2003, held in Melbourne, Australia in July 2003 as part of AAMAS 2003. The 9 revised full papers presented were carefully selected from 22 submissions during two rounds of reviewing and revision. The papers are organized in topical sections on automated negotiation, systems and mechanism design, and multi-agent markets.

The growing complexity of agent systems calls for models and technologies that allow for system predictability and enable feature discovery and verification. Formal methods and declarative technologies have recently attracted a growing interest as a means for dealing with such issues. This book presents revised and extended versions of 11 papers selected for presentation at the First International Workshop on Declarative Agent Languages and Technologies, DALT 2003, held in Melbourne, Australia in July 2003 during AAMAS; also included are 3 invited papers by leading researchers in the area to ensure competent coverage of all relevant topics. The papers are organized in topical sections on - software engineering and MAS prototyping - agent reasoning, BDI logics, and extensions - social aspects of multi-agent systems

The aim of IeCCS 2007 is to bring together leading scientists of the international Computer Science community and to attract original research papers of very high quality. The topics to be covered include (but are not limited to): Numerical Analysis, Scientific Computation, Computational Mathematics, Mathematical Software, Programming Techniques and Languages, Parallel Algorithms and its Applications, Symbolic and Algebraic Manipulation, Analysis of Algorithms, Problem Complexity, Mathematical Logic, Formal Languages, Data Structures, Data Bases, Information Systems, Artificial Intelligence, Expert Systems, Simulation and Modeling, Computer Graphics, Software Engineering, Image Processing, Computer Applications, Hardware, Computer Systems Organization, Software, Data, Theory of Computation, Mathematics of Computing, Information Systems, Computing Methodologies, Computer Applications, Computing Milieu (see http://www.ieccs.net/topics.htm).

The OECD Information Technology Outlook 2000 describes the rapid growth in the supply and demand for information technology goods and services and their role in the expanding Internet economy and looks at emerging uses of information technology.

AAAI proceedings describe innovative concepts, techniques, perspectives, and observations that present promising research directions in artificial intelligence. The annual AAAI National Conference and Innovative Applications of Artificial Intelligence Conference provide a forum for information exchange and interaction among researchers from all disciplines of AI. Contributions include theoretical, experimental, and empirical results. The technical papers published in this proceedings were selected by a rigorous, double-blind review process. The National Conference papers cover a myriad of topics, including agents, artificial intelligence and the world wide web, cognitive systems, constraint satisfaction problems, knowledge acquisition, knowledge representation, learning, model-based reasoning, natural language and information retrieval, planning, robotics, satisfiability, scheduling, search, tractable reasoning, and vision. The Innovative Applications Conference papers feature deployed and emerging applications. These papers will be of special benefit to AI applications developers. In addition, abstracts from the Invited talks, Intelligent Systems Demonstrations, Robotic Competition and Exhibition, SIGART/AAAI Doctoral Consortium, and Student programs are also included in this proceedings.