» książki » Computers - Artificial Intelligence - Expert Systems
topmenu
Kategoria BISAC: Computers >> Artificial Intelligence - Expert Systems
ilość książek w kategorii: 1787
 |
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:
191,40 zł |
 |
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:
191,40 zł |
 |
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:
382,84 zł |
 |
Foundations of Intelligent Systems: 13th International Symposium, Ismis 2002, Lyon, France, June 27-29, 2002. Proceedings
ISBN: 9783540437857 / Angielski / Miękka / 616 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 13th International Symposium on Methodologies for Intelligent Systems, ISMIS 2002, held in Lyon, France, in June 2002.
The 63 revised full papers presented were carefully reviewed and selected from around 160 submissions. The book offers topical sections on learning and knowledge discovery, intelligent user interfaces and ontologies, logic for AI, knowledge representation and reasoning, intelligent information retrieval, soft computing, intelligent information systems, and methodologies. This book constitutes the refereed proceedings of the 13th International Symposium on Methodologies for Intelligent Systems, ISMIS 2002, held in Lyon,...
|
cena:
382,84 zł |
 |
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux 2002. Copenhagen, Denmark, July 30 - August 1, 2002
ISBN: 9783540439295 / Angielski / Miękka / 346 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2002, held in Copenhagen, Denmark, in July/August 2002.
The 20 revised full papers and two system descriptions presented together with two invited contributions were carefully reviewed and selected for inclusion in the book. All current issues surrounding the mechanization of logical reasoning with tableaux and similar methods are addressed. Among the logic calculi investigated are linear logic, temporal logic, modal logics, hybrid... This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABL...
|
cena:
191,40 zł |
 |
Knowledge Acquisition, Modeling and Management: 11th European Workshop, EKAW'99, Dagstuhl Castle, Germany, May 26-29, 1999, Proceedings
ISBN: 9783540660446 / Angielski / Miękka / 412 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Past, Present, and Future of Knowledge Acquisition This book contains the proceedings of the 11th European Workshop on Kno- edge Acquisition, Modeling, and Management (EKAW '99), held at Dagstuhl Castle (Germany) in May of 1999. This continuity and the high number of s- missions re?ect the mature status of the knowledge acquisition community. Knowledge Acquisition started as an attempt to solve the main bottleneck in developing expert systems (now called knowledge-based systems): Acquiring knowledgefromahumanexpert. Variousmethodsandtoolshavebeendeveloped to improve this process. These...
Past, Present, and Future of Knowledge Acquisition This book contains the proceedings of the 11th European Workshop on Kno- edge Acquisition, Modeling...
|
cena:
191,40 zł |
 |
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings
ISBN: 9783540660866 / Angielski / Miękka / 334 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ThisvolumecontainsaselectionofpaperspresentedattheInternationalConf- ence on Analytic Tableaux and Related Methods (TABLEAUX 99) held on June 7-11, 1999 at the Inn at Saratoga, Saratoga Springs, NY, USA. This conference was the continuation of international meetings on Theorem Proving with A- lytic Tableaux and Related Methods held in Lautenbach near Karlsruhe (1992), Marseille (1993), Abingdon near Oxford (1994), St. Goar near Koblenz (1995), Terrasini near Palermo (1996), Pont- a-Mousson near Nancy (1997), and Oist- wijk near Tilburg (1998). TABLEAUX 99 marks the ?rst time the conference...
ThisvolumecontainsaselectionofpaperspresentedattheInternationalConf- ence on Analytic Tableaux and Related Methods (TABLEAUX 99) held on June 7-11, 19...
|
cena:
191,40 zł |
 |
Case-Based Reasoning Research and Development: Third International Conference on Case-Based Reasoning, Iccbr-99, Seeon Monastery, Germany, July 27-30,
ISBN: 9783540662372 / Angielski / Miękka / 604 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Third International Conference on Case-Based Reasoning, ICCBR-99, held in Seeon Monastery near Munich, Germany, in July 1999.
The 43 revised papers presented were carefully reviewed and selected from a total of 80 submissions. The book presents mature work and innovative ideas on fundamental and applied research in case-based reasoning and various fields of advanced application. The topics addressed cover the whole spectrum of CBR from formal logics and knowledge-based systems to software engineering, workflow management, decision... This book constitutes the refereed proceedings of the Third International Conference on Case-Based Reasoning, ICCBR-99, held in Seeon Monastery near M...
|
cena:
382,84 zł |
 |
Part-Whole Reasoning in an Object-Centered Framework
ISBN: 9783540672258 / Angielski / Miękka / 183 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In this title, the author develops an object-centered framework with specialized support of the part-of relation based on description logics. These logics are a family of object-cetered knowledge representation languages tailored for describing knowledge about concepts.
In this title, the author develops an object-centered framework with specialized support of the part-of relation based on description logics. These lo...
|
cena:
191,40 zł |
 |
Case-Based Reasoning Research and Development: 5th International Conference on Case-Based Reasoning, Iccbr 2003, Trondheim, Norway, June 23-26, 2003,
ISBN: 9783540404330 / Angielski / Miękka / 734 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The refereed proceedings of the 5th International Conference on Case-Based Reasoning, ICCBR 2003, held in Trondheim, Norway, in June 2003. The 51 revised full papers presented were carefully reviewed and selected from 92 submissions. All current aspects of CBR are addressed including case representation, similarity retrieval, adaptation, case library maintenance, multi-agent collaborative systems, data mining, soft computing, recommender systems, knowledge management, legal reasoning, software reuse, and music. The refereed proceedings of the 5th International Conference on Case-Based Reasoning, ICCBR 2003, held in Trondheim, Norway, in June 2003. T... |
cena:
382,84 zł |
 |
Knowledge Engineering and Knowledge Management. Methods, Models, and Tools: 12th International Conference, EKAW 2000, Juan-les-Pins, France, October 2-6, 2000 Proceedings
ISBN: 9783540411192 / Angielski / Miękka / 462 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 12th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2000, held in Juan-les-Pins, France in October 2000.
The 28 revised full papers and six revised short papers presented were carefully reviewed and selected from a high number of high-quality submissions. The book offers topical sections on knowledge modeling languages and tools, ontologies, knowledge acquisition from texts, machine learning, knowledge management and electronic commerce, problem solving methods, knowledge representation, validation,... This book constitutes the refereed proceedings of the 12th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2000, held...
|
cena:
191,40 zł |
 |
Case-Based Reasoning Research and Development: First International Conference, ICCBR-95, Sesimbra, Portugal, October 23 - 26, 1995. Proceedings
ISBN: 9783540605980 / Angielski / Miękka / 458 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the First International Conference on Case-Based Reasoning, ICCBR-95, held in Sesimbra, Portugal, in October 1995.
The 52 revised papers included are classified as scientific papers, application papers, and posters . All current aspects of research and development aiming at industrial applications in CBR are addressed. Among the topical sections are case and knowledge representation, case retrieval, nearest neighbour methods, case adaption and learning, cognitive modelling, integrated reasoning methods, and application-oriented methods:... This book constitutes the refereed proceedings of the First International Conference on Case-Based Reasoning, ICCBR-95, held in Sesimbra, Portugal, in...
|
cena:
382,84 zł |
 |
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux'97, Pont-A-Mousson, France, May 13-16, 1997 Proceed
ISBN: 9783540629207 / Angielski / Miękka / 380 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'97, held in Pont-a-Mousson, France, in May 1997.
The volume presents 22 revised full papers selected from a total of 49 submissions. Also included are two invited papers and two system descriptions. The volume covers the whole spectrum of tableaux-based theorem proving and its applications including theoretical foundations, methodological issues, implementation techniques, and system development. Besides classical logics, among the logics dealt with are modal,... This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'97, held in Pont-a-M...
|
cena:
191,40 zł |
 |
Case-Based Reasoning Research and Development: Second International Conference on Case-Based Reasoning, Iccbr-97 Providence, Ri, Usa, July 25-27, 1997
ISBN: 9783540632337 / Angielski / Miękka / 654 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Second International Conference on Case-Based Reasoning, ICCBR-97, held in Providence, RI, USA, in July 1997.
The volume presents 39 revised full scientific papers selected from a total of 102 submissions; also included are 20 revised application papers. Among the topics covered are representation and formalization, indexing and retrieval, adaptation, learning, integrated approaches, creative reasoning, CBR and uncertainty. This collection of papers is a comprehensive documentation of the state of the art in CBR research and... This book constitutes the refereed proceedings of the Second International Conference on Case-Based Reasoning, ICCBR-97, held in Providence, RI, USA, ...
|
cena:
382,84 zł |
 |
Foundations of Information and Knowledge Systems: First International Symposium, Foiks 2000, Burg, Germany, February 14-17, 2000 Proceedings
ISBN: 9783540671008 / Angielski / Miękka / 306 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text constitutes the refereed proceedings of the First International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2000, held in Burg, Germany, in February 2000. The 14 revised full papers and four short papers were carefully reviewed and selected from a total of 45 submissions. Among the topics addressed are: logical foundations and semantics of datamodels; dependency theory; integrity and security; temporal aspects; foundations of information systems design including Web-based information services; and query languages and optimization.
This text constitutes the refereed proceedings of the First International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2000, h...
|
cena:
191,40 zł |
 |
Mathematical Models for Handling Partial Knowledge in Artificial Intelligence
ISBN: 9780306450761 / Angielski / Twarda / 308 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Knowledge acquisition is one of the most important aspects influencing the quality of methods used in artificial intelligence and the reliability of expert systems. The various issues dealt with in this volume concern many different approaches to the handling of partial knowledge and to the ensuing methods for reasoning and decision making under uncertainty, as applied to problems in artificial intelligence. The volume is composed of the invited and contributed papers presented at the Workshop on Mathematical Models for Handling Partial Knowledge in Artificial Intelligence, held at the Ettore...
Knowledge acquisition is one of the most important aspects influencing the quality of methods used in artificial intelligence and the reliability of e...
|
cena:
574,29 zł |
 |
Web Knowledge Management and Decision Support: 14th International Conference on Applications of Prolog, Inap 2001, Tokyo, Japan, October 20-22, 2001,
ISBN: 9783540006800 / Angielski / Miękka / 314 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 20 revised full papers presented in this book together with 4 section surveys were carefully reviewed and selected from the papers contributed to the 14th International Conference on Applications of Prolog, INAP 2001, held in Tokyo, Japan, in October 2002. The papers are devoted to the four tightly interwoven aspects knowledge acquisition, knowledge management, knowledge processing, and knowledge distribution, all in the context of the World Wide Web; they are organized in topical sections on Web languages and logic, knowlege acquisition and knowledge representation, decision... The 20 revised full papers presented in this book together with 4 section surveys were carefully reviewed and selected from the papers contributed ... |
cena:
191,40 zł |
 |
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
ISBN: 9783540223450 / Angielski / Miękka / 491 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the proceedings of the 2nd International Joint C- ference on Automated Reasoning (IJCAR 2004) held July 4-8, 2004 in Cork, Ireland. IJCAR 2004 continued the tradition established at the ?rst IJCAR in Siena, Italyin2001, whichbroughttogetherdi?erentresearchcommunitieswo- ing in automated reasoning. The current IJCAR is the fusion of the following conferences: CADE: The International Conference on Automated Deduction, CALCULEMUS: Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, FroCoS: Workshop on Frontiers of Combining Systems, FTP: The...
This volume constitutes the proceedings of the 2nd International Joint C- ference on Automated Reasoning (IJCAR 2004) held July 4-8, 2004 in Cork, Ire...
|
cena:
382,84 zł |
 |
Automated Deduction - Cade-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings
ISBN: 9783540439318 / Angielski / Miękka / 540 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27-30th, 2002, at the University of Copenhagen as part of the Federated Logic Conference (FLoC 2002). Despite a large number of deduction-related conferences springing into existence at the end of the last millennium, the CADE conferences continue to be the major forum for the presentation of new research in all aspects of automated deduction. CADE-18 was sponsored by the Association for Auto- ted Reasoning, CADE Inc., the...
The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CA...
|
cena:
191,40 zł |
 |
Recent Advances in Intelligent Paradigms and Applications
ISBN: 9783790815382 / Angielski / Twarda / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Digital systems that bring together the computing capacity for processing large bodies of information with the human cognitive capability are called intelligent systems. Building these systems has become one of the great goals of modem technology. This goal has both intellectual and economic incentives. The need for such intelligent systems has become more intense in the face of the global connectivity of the internet. There has become an almost insatiable requirement for instantaneous information and decision brought about by this confluence of computing and communication. This requirement...
Digital systems that bring together the computing capacity for processing large bodies of information with the human cognitive capability are called i...
|
cena:
382,84 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
