» książki » Computers - Artificial Intelligence - Expert Systems
topmenu
Kategoria BISAC: Computers >> Artificial Intelligence - Expert Systems
ilość książek w kategorii: 2016
 |
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings
ISBN: 9783540676973 / Angielski / Miękka / 440 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the main papers presented at the International Conference on Analytic Tableaux and Related Methods (TABLEAUX 2000) held on July 3 7, 2000 in St Andrews, Scotland. This conference succeeded other meetings on the same topic held in Lautenbach (1992), Marseille (1993), Abingdon (1994), St Goar (1995), Terrasini (1996), Pont- a-Mousson (1997), Oisterwijk (1998) and Saratoga Springs (1999). Tableaux and related methods, such as Gentzen calculi, are convenient and e?ective for automating deduction not just in classical logic but also in various non-standard logics. Examples...
This volume contains the main papers presented at the International Conference on Analytic Tableaux and Related Methods (TABLEAUX 2000) held on July 3...
|
cena:
203,13 |
 |
Recent Advances in AI Planning: 5th European Conference on Planning, ECP'99 Durham, UK, September 8-10, 1999 Proceedings
ISBN: 9783540678663 / Angielski / Miękka / 380 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 5th European Conference on Planning, ECP'99, held in Durham, UK, in September 1999.
The 27 revised full papers presented together with one invited survey were carefully reviewed and selected for inclusion in the book. They address all current aspects of AI planning and scheduling. Several prominent planning paradigms are represented, including planning as satisfiability and other model checking strategies, planning as heuristic state-space search, and Graph-plan-based approaches. Moreover, various new scheduling... This book constitutes the thoroughly refereed post-proceedings of the 5th European Conference on Planning, ECP'99, held in Durham, UK, in September 19...
|
cena:
203,13 |
 |
Real-Time Search for Learning Autonomous Agents
ISBN: 9780792399445 / Angielski / Twarda / 126 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Autonomous agents or multiagent systems are computational systems in which several computational agents interact or work together to perform some set of tasks. These systems may involve computational agents having common goals or distinct goals.
Real-Time Search for Learning Autonomous Agents focuses on extending real-time search algorithms for autonomous agents and for a multiagent world. Although real-time search provides an attractive framework for resource-bounded problem solving, the behavior of the problem solver is not rational enough for autonomous agents. The problem... Autonomous agents or multiagent systems are computational systems in which several computational agents interact or work together to perform some set ...
|
cena:
609,48 |
 |
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:
203,13 |
 |
Computer Safety, Reliability, and Security: 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings
ISBN: 9783540201267 / Angielski / Miękka / 426 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Edinburgh, the Scottish capital, hosted SAFECOMP 2003. Since its establishment, SAFECOMP, the series of conferences on Computer Safety, Reliability and Security, has contributed to the progress of the state of the art in dependable applications of computer systems. SAFECOMP provides ample opportunity to exchange insights and experiences in emerging methods across the borders of different disciplines. SAFECOMP year after year registers new multidisciplinary trends on dependability of computer-based systems. The cross-fertilization between different scientific communities and industry supports...
Edinburgh, the Scottish capital, hosted SAFECOMP 2003. Since its establishment, SAFECOMP, the series of conferences on Computer Safety, Reliability an...
|
cena:
203,13 |
 |
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:
406,31 |
 |
Distributed Computing: 15th International Conference, DISC 2001, Lisbon, Portugal, October 3-5, 2001. Proceedings
ISBN: 9783540426059 / Angielski / Miękka / 346 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 15th International Conference on Distributed Computing, DISC 2001, held in Lisbon, Portugal, in October 2001. The 23 revised papers presented were carefully reviewed and selected from 70 submissions. Among the issues addressed are mutual exclusion, anonymous networks, distributed files systems, information diffusion, computation slicing, commit services, renaming, mobile search, randomized mutual search, message-passing networks, distributed queueing, leader election algorithms, Markov chains, network routing, ad-hoc mobile networks, and...
This book constitutes the refereed proceedings of the 15th International Conference on Distributed Computing, DISC 2001, held in Lisbon, Portugal, in ...
|
cena:
203,13 |
 |
Foundations of Information and Knowledge Systems: Second International Symposium, Foiks 2002 Salzau Castle, Germany, February 20-23, 2002 Proceedings
ISBN: 9783540432203 / Angielski / Miękka / 294 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented at the Second International S- posium on Foundations of Information and Knowledge Systems (FoIKS 2002), which was held in Schloss Salzau, Germany from February 20th to 23rd, 2002. FoIKS is a biennial event focusing on theoretical foundations of information and knowledge systems. It aims to bring together researchers working on the theoretical foundations of information and knowledge systems and to attract researchers working in mathematical ?elds such as discrete mathematics, c- binatorics, logics, and ?nite model theory who are interested in applying...
This volume contains the papers presented at the Second International S- posium on Foundations of Information and Knowledge Systems (FoIKS 2002), whic...
|
cena:
203,13 |
 |
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:
406,31 |
 |
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:
203,13 |
 |
Foundations of Intelligent Systems: 9th International Symposium, ISMIS'96, Zakopane, Poland, June (9-13), 1996. Proceedings
ISBN: 9783540612865 / Angielski / Miękka / 668 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 9th International Symposium on Methodologies for Intelligent Systems, ISMIS '96, held in Zakopane, Poland, in June 1996.
The 53 revised full papers presented were selected from a total of 124 submissions; also included are 10 invited papers by leading experts surveying the state of the art in the area. The volume covers the following areas: approximate reasoning, evolutionary computation, intelligent information systems, knowledge representation and integration, learning and knowledge discovery, and AI logics. This book constitutes the refereed proceedings of the 9th International Symposium on Methodologies for Intelligent Systems, ISMIS '96, held in Zakopan...
|
cena:
406,31 |
 |
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:
203,13 |
 |
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:
203,13 |
 |
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:
406,31 |
 |
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:
203,13 |
 |
Dependable Computing: First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings
ISBN: 9783540202240 / Angielski / Miękka / 374 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the First Latin-American Symposium on Dependable Computing, LADC 2003, held in Sao Paulo, Brazil in October 2003. The 21 revised full papers presented together with abstracts of invited talks, a panel, workshops, and tutorials were carefully reviewed and selected for presentation. The papers are organized in topical sections on fault injection, security, adaptive fault tolerance, distributed algorithms, and components and fault tolerance.
This book constitutes the refereed proceedings of the First Latin-American Symposium on Dependable Computing, LADC 2003, held in Sao Paulo, Brazil in ...
|
cena:
203,13 |
 |
Environments for Multi-Agent Systems: First International Workshop, E4MAS, 2004, New York, NY, July 19, 2004, Revised Selected Papers
ISBN: 9783540245759 / Angielski / Miękka / 279 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The modern ?eld of multiagent systems has developed from two main lines of earlier research. Its practitioners generally regard it as a form of arti?cial intelligence (AI). Some of its earliest work was reported in a series of workshops in the US dating from1980, revealinglyentitled,"DistributedArti?cialIntelligence,"andpioneers often quoted a statement attributed to Nils Nilsson that "all AI is distributed. " The locus of classical AI was what happens in the head of a single agent, and much MAS research re?ects this heritage with its emphasis on detailed modeling of the mental state and...
The modern ?eld of multiagent systems has developed from two main lines of earlier research. Its practitioners generally regard it as a form of arti?c...
|
cena:
203,13 |
 |
Dependable Computing - Edcc 2005: 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings
ISBN: 9783540257233 / Angielski / Miękka / 480 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established conferences in the ?eld of dependability in the European research area. Budapest was selected as the host of this conference due to its traditions in organizing international scienti?c events and its traditional role of serving as a meeting point between East and West. EDCC-5 was the ?fth in the series of these high-quality scienti?c conf- ences. In addition to the overall signi?cance of such a pan-European event, this year s conference was a special one due...
It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established conferences in ...
|
cena:
203,13 |
 |
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:
406,31 |
 |
SDL 2003: System Design: 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings
ISBN: 9783540405399 / Angielski / Miękka / 412 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented at the 11th SDL Forum, Stuttgart. As well as the papers, the 11th SDL Forum also hosted a system design competition sponsored by Solinet with a cash prize for the best design. This follows a similar competition at the SAM 2002 workshop (papers published in LNCS 2599). The winning entry from SAM 2002 is described in the last paper in this volume. The SDL Forum was ?rst held in 1982, and then every two years from 1985. Initially the Forum was concerned only with the Speci?cation and Descr- tion Language ?rst standardized in the 1976 Orange Book of the...
This volume contains the papers presented at the 11th SDL Forum, Stuttgart. As well as the papers, the 11th SDL Forum also hosted a system design comp...
|
cena:
203,13 |
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
