You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book constitutes the refereed proceedings of the 10th European Conference on Logics in Artificial Intelligence, JELIA 2006. The 34 revised full papers and 12 revised tool description papers presented together with 3 invited talks were carefully reviewed and selected from 96 submissions. The papers cover a range of topics within the remit of the Conference, such as logic programming, description logics, non-monotonic reasoning, agent theories, automated reasoning, and machine learning.
The theory of formal languages is widely recognized as the backbone of theoretical computer science, originating from mathematics and generative linguistics, among others. As a foundational discipline, formal language theory concepts and techniques are present in a variety of theoretical and applied fields of contemporary research which are concerned with symbol manipulation: discrete mathematics, bioinformatics, natural language processing, pattern recognition, text retrieval, learning, cryptography, compression, etc. This volume presents the main results of some recent, quickly developing subfields of formal language theory in an easily accessible way and provides the reader with extensive...
This book constitutes the refereed proceedings of the 11th International Workshop on Cooperative Information Agents, CIA 2007, held in Delft, The Netherlands, September 2007. The 19 revised full papers presented together with four invited papers were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections on information search and processing, applications, rational cooperation, interaction and cooperation and trust.
This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Engineering Societies in the Agents World, ESAW 2001, held in Prague, Czech Republic in July 2001. The 12 revised full papers presented together with a survey by the volume editors were carefully selected during two rounds of reviewing and improvement. The papers are organized in topical sections on foundations of engineering with agents, logics and languages for MAS engineering, and agent middleware and applications.
The East European Conference on Advances in Databases and Information - stems (ADBIS) is the successor of the annual International Workshops with the same title that during 1993{1996 were organized in Russia by the Moscow ACM SIGMOD Chapter. Initiated in St. Petersburg, Russia, in 1997, it con- nued in Poznan, Poland, in 1998 and in Maribor, Slovenia, in 1999. The ADBIS Conference became the premier database and information systems conference in Eastern Europe. It intended to increase interaction and collaboration b- ween researchers from the East and the West, and to provide an internationally recognized tribune for the presentation of research results. The International Conference on Datab...
This supplement to the Encyclopedia of Computer Science and Technology looks at subjects ranging from algorithmic learning theory to statistical language modelling.
The Ninth International Workshop on Foundations of Models and Languages for Data and Objects (FoMLaDO) took place in Dagstuhl Germany, Sept- ber 18{21, 2000. The topic of this workshop was Database schema Evolution and Meta-Modeling; this FoMLaDO Workshop was hence assigned the acronym DEMM 2000. These post-proceedings contain the revised versions of the accepted papers of the DEMM 2000 workshop. Twelve regular papers were accepted for inclusion in the proceedings. The papers address the following issues: { Consistency of evolving concurrent information systems { Adaptive speci cations of technical information systems { Change propagation in schema evolution of object-based systems { Evolvin...
Existence of huge amounts of data on the Web has developed an undeferring need to locate right information at right time, as well as to integrating information effectively to provide a comprehensive source of relevant information. There is a need to develop efficient tools for analyzing and managing Web data, and efficiently managing Web information from the database perspective. The book proposes a data model called WHOM (Warehouse Object Model) to represent HTML and XML documents in the warehouse. It defines a set of web algebraic operators for building new web tables by extracting relevant data from the Web, as well as generating new tables from existing ones. These algebraic operators are used for change detection.
After a discussion of the theory of software agents, this book presents IMPACT (Interactive Maryland Platform for Agents Collaborating Together), an experimental agent infrastructure that translates formal theories of agency into a functional multiagent system that can extend legacy software code and application-specific or legacy data structures.