» książki » Computers - Artificial Intelligence - Expert Systems
topmenu
Kategoria BISAC: Computers >> Artificial Intelligence - Expert Systems
ilość książek w kategorii: 1787
 |
Cooperative Information Agents II. Learning, Mobility and Electronic Commerce for Information Discovery on the Internet: Second International Workshop
ISBN: 9783540646761 / Angielski / Miękka / 314 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Second International Workshop on Cooperative Information Systems, CIA'98, held in cognition with Agents World in July 1998 in Paris.
The book presents nine invited contributions together with 14 revised full papers selected from a total of 54 submissions. The book is divided in parts on systems and applications; issues of design, querying, and communication; rational cooperation and electronic commerce; adaptive and collaborative information gathering; and mobile information agents in the internet. This book constitutes the refereed proceedings of the Second International Workshop on Cooperative Information Systems, CIA'98, held in cognition with...
|
cena:
191,40 zł |
 |
Conceptual Structures: Knowledge Representations as Interlingua: 4th International Conference on Conceptual Structures, Iccs'96, Sydney, Australia, Au
ISBN: 9783540615347 / Angielski / Miękka / 330 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the refereed proceedings of the Fourth International Conference on Conceptual Structures, ICCS '96, held in Sydney, Australia, in August 1996.
The book presents five full papers by the invited speakers together with 15 revised full papers selected for presentation at the conference from a respectable number of submissions. The issues addressed are natural language processing, information retrieval, graph operations, conceptual graph and Peirce theory, knowledge acquisition, theorem proving and CG programming, and order-based organisation and encoding. This volume constitutes the refereed proceedings of the Fourth International Conference on Conceptual Structures, ICCS '96, held in Sydney, Australia,...
|
cena:
191,40 zł |
 |
Conceptual Structures: Fulfilling Peirce's Dream: Fifth International Conference on Conceptual Structures, Iccs'97, Seattle, Washington, Usa, August 3
ISBN: 9783540633082 / Angielski / Miękka / 630 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Fifth International Conference on Conceptual Structures, ICCS '97, held in Seattle, Washington, USA, in August 1997.
The 39 full papers presented were carefully selected and revised for inclusion in the volume. Also included are 9 abstracts of conceptual graphs tools. The papers are organized in sections on knowledge representation, knowledge modeling, formal concept analysis, formal reasoning, applications of conceptual graphs, and conceptual graphs tools. This book competently documents the progress achieved in the area since the... This book constitutes the refereed proceedings of the Fifth International Conference on Conceptual Structures, ICCS '97, held in Seattle, Washington, ...
|
cena:
382,84 zł |
 |
Computer Aided Systems Theory - Eurocast '97: A Selection of Papers from the Sixth International Workshop on Computer Aided Systems Theory, Las Palmas
ISBN: 9783540638117 / Angielski / Miękka / 632 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 50 revised full papers presented were carefully selected for inclusion in this volume. The book is divided into sections on design environments and tools, theory and methods, engineering systems, intelligent systems, signal processing and specific methods and applications.
The 50 revised full papers presented were carefully selected for inclusion in this volume. The book is divided into sections on design environments an...
|
cena:
382,84 zł |
 |
Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings
ISBN: 9783540662228 / Angielski / Miękka / 438 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented at the Sixteenth International Conference on Automated Deduction (CADE-16), held in Trento, Italy, July 7{10, 1999, and hosted by Istituto Trentino di Cultura { Centro per la ricerca scientic a e tecnologica (ITC-IRST). The year 1999 marks the 25th anniv- sary of CADE. Since their inception in 1974 at Argonne National Laboratory, the CADE conferences have matured into the major forum for presentation of research in all aspects of automated deduction. CADE-16 was one of the conferences participating in the 1999 Federated LogicConference (FLoC). FLoC...
This volume contains the papers presented at the Sixteenth International Conference on Automated Deduction (CADE-16), held in Trento, Italy, July 7{10...
|
cena:
191,40 zł |
 |
Cooperative Information Agents III: Third International Workshop, Cia'99 Uppsala, Sweden, July 31 - August 2, 1999 Proceedings
ISBN: 9783540663256 / Angielski / Miękka / 412 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Third International Workshop on Cooperative Information Systems, CIA'99, held in Uppsala, Sweden in July/August 1999.
The 16 revised full papers presented were carefully reviewed and selected from a total of 46 submissions. Also included are ten invited contributions by leading experts. The volume is divided in sections on information discovery and management on the Internet; information agents on the Internet-prototypes systems and applications; communication and collaboration, mobile information agents; rational information agents for... This book constitutes the refereed proceedings of the Third International Workshop on Cooperative Information Systems, CIA'99, held in Uppsala, Sweden...
|
cena:
191,40 zł |
 |
Contemporary Knowledge Engineering and Cognition: First Joint Workshop, Kaiserslautern, Germany, February 21-22,1991. Proceedings
ISBN: 9783540557111 / Angielski / Miękka / 260 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book has its source in the question of whether anyknowledge engineering tools can be applied or analyzed incognition research and what insights and methods ofcognitive science might be relevant for knowledge engineers.It presents the proceedings of a workshop organized by theSpecial Interest Groups Cognition and Knowledge Engineeringof the German Society for Informatics, held in February 1992in Kaiserslautern.The book is structured into three parts. The first partcontrasts work in knowledge engineering with approaches fromthe side of the "soft sciences." The second part deals...
This book has its source in the question of whether anyknowledge engineering tools can be applied or analyzed incognition research and what insights a...
|
cena:
191,40 zł |
 |
Automated Deduction - Cade-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Pro
ISBN: 9783540631040 / Angielski / Miękka / 469 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the strictly refereed proceedings of the 14th International Conference on Automated Deduction, CADE-14, held in Townsville, North Queensland, Australia, in July 1997.
The volume presents 25 revised full papers selected from a total of 87 submissions; also included are 17 system descriptions and two invited contributions. The papers cover a wide range of current issues in the area including resolution, term rewriting, unification theory, induction, high-order logics, nonstandard logics, AI methods, and applications to software verification, geometry, and social... This book constitutes the strictly refereed proceedings of the 14th International Conference on Automated Deduction, CADE-14, held in Townsville, Nort...
|
cena:
191,40 zł |
 |
Foundations of Intelligent Systems: 10th International Symposium, Ismis '97. Charlotte, North Carolina, Usa, October 15-18, 1997. Proceedings
ISBN: 9783540636144 / Angielski / Miękka / 634 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 57 revised full papers presented were selected from a total of 117 submissions. Also included are four invited papers. Among the topics covered are intelligent information systems, approximate reasoning, evolutionary computation, knowledge representation and integration, and more.
The 57 revised full papers presented were selected from a total of 117 submissions. Also included are four invited papers. Among the topics covered ar...
|
cena:
382,84 zł |
 |
The Automation of Reasoning with Incomplete Information: From Semantic Foundations to Efficient Computation
ISBN: 9783540645153 / Angielski / Miękka / 166 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Reasoning with incomplete information constitutes a major challenge for any intelligent system. In fact, we expect such systems not to become paralyzed by missing information but rather to arrive at plausible results by bridging the gaps in the information available.
A versatile way of reasoning in the absence of information is to reason by default. This book aims at providing formal and practical means for automating reasoning with incomplete information by starting from the approach taken by the framework of default logic. For this endeavor, a bridge is spanned between formal semantics,... Reasoning with incomplete information constitutes a major challenge for any intelligent system. In fact, we expect such systems not to become paralyze...
|
cena:
191,40 zł |
 |
Conceptual Structures: Theory, Tools and Applications: 6th International Conference on Conceptual Structures, ICCS'98, Montpellier, France, August, 10-12, 1998, Proceedings
ISBN: 9783540647911 / Angielski / Miękka / 446 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 6th International Conference on Conceptual Structures, ICCS'98, held in Montpellier, France, in August 1998.
The 20 revised full papers and 10 research reports presented were carefully selected from a total of 66 submissions; also included are three invited contributions. The volume is divided in topical sections on knowledge representation and knowledge engineering, tools, conceptual graphs and other models, relationships with logics, algorithms and complexity, natural language processing, and applications. This book constitutes the refereed proceedings of the 6th International Conference on Conceptual Structures, ICCS'98, held in Montpellier, France, in ...
|
cena:
191,40 zł |
 |
Conceptual Structures: Standards and Practices: 7th International Conference on Conceptual Structures, ICCS'99, Blacksburg, VA, USA, July 12-15, 1999, Proceedings
ISBN: 9783540662235 / Angielski / Miękka / 524 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 7th International Conference on Conceptual Structures, ICCS'99, held in Blacksburg, Virginia, USA in July 1999.
The 34 revised full papers presented were carefully reviewed and selected for inclusion in the book. Also included is a 65 page proposed draft standard for conceptual graphs. The papers are organized in sections on conceptual graph modeling; natural language; applications; SISYPHUS-I, contexts, logics and conceptual graphs; and position papers. This book constitutes the refereed proceedings of the 7th International Conference on Conceptual Structures, ICCS'99, held in Blacksburg, Virginia, US...
|
cena:
191,40 zł |
 |
Progress in Artificial Intelligence: 8th Portuguese Conference on Artificial Intelligence, EPIA '97, Coimbra, Portugal, October 6-9, 1997. Proceedings
ISBN: 9783540635864 / Angielski / Miękka / 402 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 8th Portuguese Conference on Artificial Intelligence, EPIA '97, held in Coimbra, Portugal, in October 1997.
The volume presents 24 revised full papers and 9 revised posters selected from 74 submissions from various countries. Also included are two full invited papers and two abstracts of invited talks. The papers are organized in topical sections on automated reasoning and theorem proving; CBR and machine learning; constraints; intelligent tutoring; knowledge representation; multi-agent systems and DAI; nonmonotonic, qualitative and... This book constitutes the refereed proceedings of the 8th Portuguese Conference on Artificial Intelligence, EPIA '97, held in Coimbra, Portugal, in Oc...
|
cena:
191,40 zł |
 |
Knowledge Acquisition, Modeling and Management: 10th European Workshop, EKAW'97, Sant Feliu de Guixols, Catalonia, Spain, October 15-18, 1997. Proceedings
ISBN: 9783540635925 / Angielski / Miękka / 396 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the refereed proceedings of the 10th European Workshop on Knowledge Acquisition, Modelling and Management, EKAW '97, held in Sant Feliu de Guixols, Catalonia, Spain, in October 1997.
The 20 revised full papers and 11 short papers presented were carefully selected from numerous submissions. Also included is one invited presentation. Among the topics covered are the mainstream knowledge acquisition issues, but also more innovative ones, knowledge integration, enterprise modelling, knowledge reuse, natural language processing, problem solving, knowledge extraction,... This volume constitutes the refereed proceedings of the 10th European Workshop on Knowledge Acquisition, Modelling and Management, EKAW '97, held in S...
|
cena:
191,40 zł |
 |
Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings
ISBN: 9783540646754 / Angielski / Miękka / 450 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998.
The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected from a total of 120 submissions. The papers address all current issues in automated deduction and theorem proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics, and describe... This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July ...
|
cena:
191,40 zł |
 |
Agent Systems, Mobile Agents, and Applications: Second International Symposium on Agent Systems and Applications and Fourth International Symposium on
ISBN: 9783540410522 / Angielski / Miękka / 278 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text constitues the refereed proceedings of the Second International Symposium on Agent Systems and Applications and the Fourth International Symposium on Mobile Agents, ASA/MA 2000 held in Zurich, Switzerland in September 2000. The 20 revised full papers presented were carefully reviewed and selected from 107 submissions. The papers are organized in topical sections on migration, security issues, systems and applications, mobile agent applications, applications of multi-agent systems, communication and mobility control, co-operation and interaction.
This text constitues the refereed proceedings of the Second International Symposium on Agent Systems and Applications and the Fourth International Sym...
|
cena:
191,40 zł |
 |
Foundations of Intelligent Systems: 12th International Symposium, ISMIS 2000, Charlotte, NC, USA October 11-14, 2000 Proceedings
ISBN: 9783540410942 / Angielski / Miękka / 648 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers selected for presentation at the Twelfth - ternational Symposium on Methodologies for Intelligent Systems - ISMIS 2000, held in Charlotte, N.C., 11{14 October, 2000. The symposium was co-organized by the College of Information Technology at UNC-Charlotte and the Polish- Japanese Institute of Information Technology. It was sponsored by the US Army Research O ce, NCR Data Mining Laboratory, College of IT at UNC-Charlotte, and others. ISMIS is a conference series that was started in 1986 in Knoxville, Tennessee. Since then it has been held in Charlotte (North...
This volume contains the papers selected for presentation at the Twelfth - ternational Symposium on Methodologies for Intelligent Systems - ISMIS 2000...
|
cena:
382,84 zł |
 |
Automated Reasoning: First International Joint Conference, Ijcar 2001 Siena, Italy, June 18-23, 2001 Proceedings
ISBN: 9783540422549 / Angielski / Miękka / 712 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The last ten years have seen a gradual fragmentation of the Automated Reas- ing community into various disparate groups, each with its own conference: the Conference on Automated Reasoning (CADE), the International Workshop on First-Order Theorem Proving (FTP), and the International Conference on - tomated Reasoning with Analytic Tableau and Related Methods (TABLEAUX) to name three. During 1999, various members of these three communities d- cussed the idea of holding a joint conference in 2001 to bring our communities togetheragain.Theplanwastoholdaone-o?conferencefor2001, toberepeated...
The last ten years have seen a gradual fragmentation of the Automated Reas- ing community into various disparate groups, each with its own conference:...
|
cena:
382,84 zł |
 |
Case-Based Reasoning Research and Development: 4th International Conference on Case-Based Reasoning, Iccbr 2001 Vancouver, Bc, Canada, July 30 - Augus
ISBN: 9783540423584 / Angielski / Miękka / 764 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 2001 International Conference on Case-Based Reasoning (ICCBR 2001, www.iccbr.org/iccbr01), the fourth in the biennial ICCBR series (1995 in Sesimbra, Portugal; 1997 in Providence, Rhode Island (USA); 1999 in Seeon, Germany), was held during 30 July - 2 August 2001 in Vancouver, Canada. ICCBR is the premier international forum for researchers and practitioners of case based reasoning (CBR). The objectives of this meeting were to nurture significant, relevant advances made in this field (both in research and application), communicate them among all attendees, inspire future advances, and...
The 2001 International Conference on Case-Based Reasoning (ICCBR 2001, www.iccbr.org/iccbr01), the fourth in the biennial ICCBR series (1995 in Sesimb...
|
cena:
382,84 zł |
 |
Conditionals in Nonmonotonic Reasoning and Belief Revision: Considering Conditionals as Agents
ISBN: 9783540423676 / Angielski / Miękka / 194 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Conditionals are omnipresent, in everyday life as well as in scientific environments; they represent generic knowledge acquired inductively or learned from books. They tie a flexible and highly interrelated network of connections along which reasoning is possible and which can be applied to different situations. Therefore, conditionals are important, but also quite problematic objects in knowledge representation.
This book presents a new approach to conditionals which captures their dynamic, non-proportional nature particularly well by considering conditionals as agents shifting possible... Conditionals are omnipresent, in everyday life as well as in scientific environments; they represent generic knowledge acquired inductively or learned...
|
cena:
191,40 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
