Artificial intelligence

Constraint satisfaction and constraint programming have shown to be very simple but powerful ideas, with applications in various areas.

The International Conference on Computational Science (ICCS 2004) held in Krak' ow, Poland, June 6-9, 2004, was a follow-up to the highly successful ICCS 2003 held at two locations, in Melbourne, Australia and St.

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe.

The evaluation of a logical formula can be viewed as a game played by two opponents, one trying to show that the formula is true and the other trying to prove it is false.

New paradigms can popularize old technologies.

Constraints have emerged as the basis of a representational and computational paradigm that draws from many disciplines and can be brought to bear on many problem domains.

Underlying most of the IWANN calls for papers is the aim to reassume some of the motivations of the groundwork stages of biocybernetics and the later bionics formulations and to try to reconsider the present value of two basic questions.

This textbook is intended to give an introduction to and an overview of sta- of-the-art techniques in the design of complex embedded systems.

This volume constitutes the proceedings of the16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003) held September 8-12, 2003 in Rome, Italy.

This volume presents the proceedings of the 2nd International Workshop on - gebraic Frames for the Perception and Action Cycle.

In this book we present a collection of papers around the topic of Agent-Mediated Electronic Commerce.

This volume contains the papers selected for presentation at the 9th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing (RSFDGrC 2003) held at Chongqing University of Posts and Telecommunications, Chongqing, P.

RuleML 2003 was the second international workshop on rules and rule markup languages for the Semantic Web, held in conjunction with the International Semantic Web Conference (ISWC).

The International Symposium on Smart Graphics 2003 was held on July 2-4, 2003 in Heidelberg, Germany.

This volume contains the papers presented at the 13th Annual Conference on Algorithmic Learning Theory (ALT 2002), which was held in Lub * eck (Germany) during November 24-26, 2002.

The advancement of information and communication technologies (ICT) has enabled broad use of ICT and facilitated the use of ICT in the private and personal domain.

Welcome to the proceedings of the 8th European Conference on Computer - sion!

Die Konferenz "e;BVM – Bildverarbeitung für die Medizin"e; ist seit vielen Jahren als die nationale Plattform für den Austausch von Ideen und die Diskussion der neuesten Forschungsergebnisse im Bereich der Medizinischen Bildverarbeitung und der Künstlichen Intelligenz (KI) etabliert.

This book constitutes the refereed proceedings of the 28th International Symposium on Practical Aspects of Declarative Languages, PADL 2026, held in Rennes, France, during January 2026.

This book constitutes the refereed proceedings of the 28th International Symposium on Practical Aspects of Declarative Languages, PADL 2026, held in Rennes, France, during January 2026.

This 18-volume set constitutes the refereed proceedings of the 8th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2025, held in Shanghai, China, during October 15-18, 2025.

Preferences are useful in many real-life problems, guiding human decision making from early childhood up to complex professional and organizational decisions.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the third volume of the FoLLI LNAI subline.

Fuzzy Days in Dortmund were held for the first time in 1991.

This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen.

This book constitutes the refereed proceedings of the Third International Workshop on Ant Algorithms, ANTS 2002, held in Brussels, Belgium in September 2002.

Ubiquitous computing is coming of age.

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.

The agent metaphor and the agent-based approach to systems design constitute a promising new paradigm for building complex distributed systems.

Digital libraries (DLs) are major advances in information technology that frequently fall short of expectations [7, 28].

Conditionals are omnipresent, in everyday life as well as in scientific environments; they represent generic knowledge acquired inductively or learned from books.

Haptic human-computer interaction is interaction between a human computer user and the computer user interface based on the powerful human sense of touch.

Welcome to the proceedings of the 8th European Conference on Computer - sion!

This book constitutes the refereed proceedings of the International Workshop on Human-Computer Interaction, HCI 2004, held at ECCV 2004 in Prague, Czech Republic in May 2004.

Thesetransactions publish research in computer-based methods of computationalcollective intelligence (CCI) and their applications in a wide range of fieldssuch as the semantic Web, social networks, and multi-agent systems.