» książki » Computers - Artificial Intelligence - Expert Systems
topmenu
Kategoria BISAC: Computers >> Artificial Intelligence - Expert Systems
ilość książek w kategorii: 1961
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
402,53 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
Spatial Cognition III: Routes and Navigation, Human Memory and Learning, Spatial Representation and Spatial Learning
ISBN: 9783540404309 / Angielski / Miękka / 422 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Spatial cognition is an interdisciplinary research area involving artificial intelligence, cognitive psychology, computational linguistics, geography, mathematics, biology, theoretical computer science, architecture, design, and philosophy of mind. As these different disciplines gain a deeper understanding of their fellow disciplines and their research approaches, they increasingly find ways to combine their insights and to conceive powerful mechanisms to analyze and synthesize cognitive systems. Spatial cognition has now reached a point where we can see how different pieces of the puzzle may...
Spatial cognition is an interdisciplinary research area involving artificial intelligence, cognitive psychology, computational linguistics, geography,...
|
cena:
201,24 |
 |
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:
201,24 |
 |
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:
402,53 |
 |
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:
402,53 |
 |
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:
201,24 |
 |
Non-Standard Inferences in Description Logics: From Foundations and Definitions to Algorithms and Analysis
ISBN: 9783540423973 / Angielski / Miękka / 254 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Description logics (DLs) are used to represent structured knowledge. Inference services testing consistency of knowledge bases and computing subconcept/superconcept hierarchies are the main feature of DL systems. Intensive research during the last fifteen years has led to highly optimized systems that allow to reason about knowledge bases efficiently. However, applications often require additional non-standard inferences to support both the construction and the maintenance of knowledge bases, thus making the inference procedures again incomplete.
This book, which is a revised version of... Description logics (DLs) are used to represent structured knowledge. Inference services testing consistency of knowledge bases and computing subconcep...
|
cena:
201,24 |
 |
Advances in Knowledge Acquisition: 9th European Knowledge Acquisition Workshop, EKAW'96, Nottingham, UK, May 14 - 17, 1996. Proceedings
ISBN: 9783540612735 / Angielski / Miękka / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the refereed proceedings of the 9th European Knowledge Acquisition Workshop, EKAW '96, held in Nottingham, UK, in May 1996.
The 23 revised full papers included address the most relevant theoretical and applicational aspects of knowledge acquisition with a certain emphasis on the acquisition of knowledge for the modelling or automation of complex problem-solving behaviour. The volume is organized in sections on theoretical and general issues, eliciting knowledge from textual or other sources, data-mining, group elicitation, and planning. This book presents the refereed proceedings of the 9th European Knowledge Acquisition Workshop, EKAW '96, held in Nottingham, UK, in May 1996.
The ... |
cena:
201,24 |
 |
Uncertainty in Knowledge-Based Systems: International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, France, June 30 - July 4, 1986. Selected and
ISBN: 9783540185796 / Angielski / Miękka / 412 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
201,24 |
 |
Foundations of Intelligent Systems: 15th International Symposium ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings
ISBN: 9783540258780 / Angielski / Miękka / 706 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers selected for presentation at the 15th International S- posiumonMethodologiesforIntelligentSystems, ISMIS2005, heldinSaratogaSprings, NewYork,25 28May,2005. ThesymposiumwasorganizedbySUNYatAlbany. Itwas sponsored by the Army Research Of?ce and by several units of the University at Albany including its Division for Research, College of Arts and Sciences, Department of C- puter Science, and Institute for Informatics, Logics, and Security Studies (formerly the Institute for Programming and Logics). ISMIS is a conference series that was started in 1986 in Knoxville,...
This volume contains the papers selected for presentation at the 15th International S- posiumonMethodologiesforIntelligentSystems, ISMIS2005, heldinSa...
|
cena:
402,53 |
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
