Browsing English resources by Issue Date

Intelligent Systems and Soft Computing: Prospects, Tools and Applications

Zadeh, Lotfi A. (Springer-Verlag Berlin Heidelberg, 2000)

Artificial intelligence has, traditionally focused on solving human-centered problems like natural language processing or common-sense reasoning. On the other hand, for a while now soft computing has been applied successfully ...

Knowledge Discovery and Data Mining. Current Issues and New Applications: 4th Pacific-Asia Conference, PAKDD 2000 Kyoto, Japan, April 18–20, 2000 Proceedings

Sato, Yoshiharu (Springer-Verlag Berlin Heidelberg, 2000)

The Fourth Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD 2000) was held at the Keihanna-Plaza, Kyoto, Japan, April 18 - 20, 2000. PAKDD 2000 provided an international forum for researchers and ...

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings

Bryant, Randal E.; German, Steven; Velev, Miroslav N. (Springer-Verlag Berlin Heidelberg, 2000)

This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'99, held in Saratoga Springs, NY, USA, in June 1999.The volume presents 18 revised full ...

Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings

Cousot, Patrick (Springer-Verlag Berlin Heidelberg, 2000)

This volume contains the proceedings of SARA 2000, the fourth Symposium on Abstraction, Reformulations, and Approximation (SARA). The conference was held at Horseshoe Bay Resort and Conference Club, Lake LBJ, Texas, July ...

Large-Scale Parallel Data Mining

Zaki, Mohammed J. (Springer-Verlag Berlin Heidelberg, 2000)

With the unprecedented growth-rate at which data is being collected and stored electronically today in almost all fields of human endeavor, the efficient extraction of useful information from the data available is becoming ...

Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings

Benthem, Johan van (Springer-Verlag Berlin Heidelberg, 2000)

This book constitutes the refereed proceedings of the European Workshop on Logics in Artificial Intelligence, JELIA 2000, held in Malaga, Spain in September/October 2000. The 24 revised full papers presented together with ...

Algorithmic Learning Theory: 9th International Conference, ALT’98 Otzenhausen, Germany, October 8–10, 1998 Proceedings

Richter, Michael M. (Springer-Verlag Berlin Heidelberg, 2000)

This volume contains all the papers presented at the Ninth International Con- rence on Algorithmic Learning Theory (ALT’98), held at the European education centre Europ¨aisches Bildungszentrum (ebz) Otzenhausen, Germany, ...

Issues in Agent Communication

Dignum, Frank; Greaves, Mark (Springer-Verlag Berlin Heidelberg, 2000)

A first attempt to develop a standardized agent communication language (ACL) resulted in KQML, probably the most widely used such language. However, a lot of technical work remains to be done. Even worse, so far, there ...

Learning Classifier Systems: From Foundations to Applications

Holland, John H. (Springer-Verlag Berlin Heidelberg, 2000)

Learning Classifier Systems (LCS) are a machine learning paradigm introduced by John Holland in 1976. They are rule-based systems in which learning is viewed as a process of ongoing adaptation to a partially unknown ...

RoboCup-97: Robot Soccer World Cup I

Kitano, Hiroaki; Asada, Minoru; Kuniyoshi, Yasuo (Springer-Verlag Berlin Heidelberg, 2000)

RoboCup is an international initiative devoted to advancing the state of the art in artificial intelligence and robotics. The ultimate, long range goal is to build a team of robot soccer players that can beat a human World ...

Algorithmic Learning Theory: 11th International Conference, ALT 2000 Sydney, Australia, December 11–13, 2000 Proceedings

Cohen, William W. (Springer-Verlag Berlin Heidelberg, 2000)

This book constitutes the refereed proceedings of the 11th International Conference on Algorithmic Learning Theory, ALT 2000, held in Sydney, Australia in December 2000. The 22 revised full papers presented together with ...

Agent Mediated Electronic Commerce II: Towards Next-Generation Agent-Based Electronic Commerce Systems

Greenwald, Amy R.; Kephart, Jeffrey O. (Springer-Verlag Berlin Heidelberg, 2000)

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 ...

Intelligent Agents VII Agent Theories Architectures and Languages: 7th International Workshop, ATAL 2000 Boston, MA, USA, July 7–9, 2000 Proceedings

Wooldridge, Micheal; Dunne, Paul E. (Springer-Verlag Berlin Heidelberg, 2001)

Intelligent agents are one of the most important developments in computer science of the past decade. Agents are of interest in many important application areas, ranging from human-computer interaction to industrial process ...