ilość książek w kategorii: 1961
![]() |
A Logical Theory of Nonmonotonic Inference and Belief Change
ISBN: 9783540417668 / Angielski / Twarda / 436 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The main subject and objective of this book are logical foundations of non- monotonic reasoning. This bears a presumption that there is such a thing as a general theory of non monotonic reasoning, as opposed to a bunch of systems for such a reasoning existing in the literature. It also presumes that this kind of reasoning can be analyzed by logical tools (broadly understood), just as any other kind of reasoning. In order to achieve our goal, we will provide a common logical basis and semantic representation in which different kinds of non monotonic reasoning can be interpreted and studied....
The main subject and objective of this book are logical foundations of non- monotonic reasoning. This bears a presumption that there is such a thing a...
|
cena:
603,81 |
![]() |
Knowledge-Based Systems
ISBN: 9780763776473 / Angielski / Miękka / 354 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Knowledge Based Systems (KBS) are systems that use artificial intelligence techniques in the problem solving process. This text is designed to develop an appreciation of KBS and their architecture and to help users understand a broad variety of knowledge based techniques for decision support and planning. It assumes basic computer science skills and a math background that includes set theory, relations, elementary probability, and introductory concepts of artificial intelligence. Each of the 12 chapters are designed to be modular providing instructors with the flexibility to model the book to...
Knowledge Based Systems (KBS) are systems that use artificial intelligence techniques in the problem solving process. This text is designed to develop...
|
cena:
637,23 |
![]() |
Intelligent Information Systems: Proceedings of the Iis'2000 Symposium, Bystra, Poland, June 12-16, 2000
ISBN: 9783790813098 / Angielski / Miękka / 364 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains articles accepted for presentation during The Intelligent Information Systems Symposium I1S'2000 which was held in Bystra, Poland, on June 12-16, 2000. This is ninth, in the order, symposium organized by the Institute of Computer Science of Polish Academy of Sciences and devoted to new trends in (broadly understood) Artificial Intelligence. The idea of organizing such meetings dates back to 1992. Our main in tention guided the first, rather small-audience, workshop in the series was to resume the results gained in Polish scientific centers as well as contrast them with...
This volume contains articles accepted for presentation during The Intelligent Information Systems Symposium I1S'2000 which was held in Bystra, Poland...
|
cena:
201,24 |
![]() |
Problem-Solving Methods: Understanding, Description, Development, and Reuse
ISBN: 9783540678168 / Angielski / Miękka / 160 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Researchers in Artificial Intelligence have traditionally been classified into two categories: the "neaties" and the "scruffies." According to the scruffies, the neaties concentrate on building elegant formal frameworks, whose properties are beautifully expressed by means of definitions, lemmas, and theorems, but which are of little or no use when tackling real-world problems. The scruffies are described (by the neaties) as those researchers who build superficially impressive systems that may perform extremely well on one particular case study, but whose properties and underlying theories are...
Researchers in Artificial Intelligence have traditionally been classified into two categories: the "neaties" and the "scruffies." According to the scr...
|
cena:
201,24 |
![]() |
Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings
ISBN: 9783540676645 / Angielski / Miękka / 526 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. For the past 25 years the CADE conference has been the major forum for the presentation of new results in automated deduction. This volume contains the papers and system descriptions selected for the 17th International Conference on Automated Deduction, CADE-17, held June 17-20, 2000, at Carnegie Mellon University, Pittsburgh, Pennsylvania (USA). Fifty-three research papers and twenty system descriptions were submitted by researchers from ?fteen countries. Each submission was reviewed by at least three reviewers. Twenty-four research papers and ?fteen system descriptions were accepted. The...
For the past 25 years the CADE conference has been the major forum for the presentation of new results in automated deduction. This volume contains th...
|
cena:
201,24 |
![]() |
Spatial Cognition II: Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications
ISBN: 9783540675846 / Angielski / Miękka / 424 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Spatialcognitionisconcernedwiththewayshumans, animals, ormachinesthink about real or abstract space and also with the ways spatial structures can be used for reasoning. Thus, space is considered both, as an object of cognition and as ameans of cognition. Spatial cognition is an interdisciplinary research areainvolvingapproachesfromarti?cialintelligence, cognitivepsychology, ge- raphy, mathematics, biology, design, theoretical computer science, architecture, andphilosophy.Researchonspatialcognitionhasprogressedrapidlyduringthe past few years. The disciplines contributing to the ?eld have moved...
Spatialcognitionisconcernedwiththewayshumans, animals, ormachinesthink about real or abstract space and also with the ways spatial structures can be u...
|
cena:
201,24 |
![]() |
Automated Deduction in Classical and Non-Classical Logics: Selected Papers
ISBN: 9783540671909 / Angielski / Miękka / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents a collection of thoroughly reviewed revised full papers on automated deduction in classical, modal, and many-valued logics, with an emphasis on first-order theories.
Five invited papers by prominent researchers give a consolidated view of the recent developments in first-order theorem proving. The 14 research papers presented went through a twofold selection process and were first presented at the International Workshop on First-Order Theorem Proving, FTP'98, held in Vienna, Austria, in November 1998. The contributed papers reflect the current status in research in the... This volume presents a collection of thoroughly reviewed revised full papers on automated deduction in classical, modal, and many-valued logics, with ...
|
cena:
201,24 |
![]() |
Building Knowledge-Based Systems for Natural Resource Management
ISBN: 9780412019210 / Angielski / Twarda / 386 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. If one were forced to use a single key word to describe the decade of the 1980's, a very prominent one would be "technology. " Leading the forefront of tech- nology advancement were breakthroughs in electronics. Devices that were uncommon or unknown in 1980 became commonplace, and almost indispens- able, by 1989. This trend has continued into the 1990's and it does not seem to be abating in any way. Microwave ovens, video recorders, telephone answer- ing machines, compact disc players, computers, and a host of smaller or less sophisticated devices now appear in most households. The...
If one were forced to use a single key word to describe the decade of the 1980's, a very prominent one would be "technology. " Leading the forefront o...
|
cena:
603,81 |
![]() |
Constructing Ambient Intelligence
ISBN: 9783642106064 / Angielski / Miękka / 350 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ambient intelligence (AmI) was established in the late 1990s as a recent paradigm for electronic environments for the timeframe of 2010-2020. AmI is essentially an elabo- tion of Mark Weiser's vision of ubiquitous computing. Weiser was aiming at a novel mobile computing infrastructure integrated into the networked environment of people. AmI is the idea of a technology that will become invisibly embedded in our natural s- roundings, present whenever we need it, enabled by simple and effortless interaction, attuned to all our senses, adaptive to users, context-sensitive, and autonomous. AmI...
Ambient intelligence (AmI) was established in the late 1990s as a recent paradigm for electronic environments for the timeframe of 2010-2020. AmI is e...
|
cena:
201,24 |
![]() |
Grid and Distributed Computing: International Conference, Gdc 2009, Held as Part of the Future Generation Information Technology Conferences, Fgit 200
ISBN: 9783642105487 / Angielski / Miękka / 229 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the International Conference on Grid and Distributed Computing, GDC 2009, held as part of the Future Generation Information Technology Conferences, FGIT 2009, held on Jeju Island, Korea in December 2009. The 26 papers presented in this volume were carefully reviewed and selected from numerous submissions.
This book constitutes the proceedings of the International Conference on Grid and Distributed Computing, GDC 2009, held as part of the Future Gener... |
cena:
201,24 |
![]() |
Signal Processing, Image Processing and Pattern Recognition,
ISBN: 9783642105456 / Angielski / Miękka / 346 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the International Conference on Signal Processing, Image Processing and Pattern Recognition, SIP 2009, held as part of the Future Generation Information Technology Conference, FGIT 2009, held on Jeju Island, Korea, December 10-12, 2009. The 38 papers presented in this volume were carefully reviewed and selected from numerous submissions. The topics covered are from multifaceted aspects of signal processing, image processing and pattern recognition.
This book constitutes the proceedings of the International Conference on Signal Processing, Image Processing and Pattern Recognition, SIP 2009, hel... |
cena:
201,24 |
![]() |
Artificial Intelligence and Computational Intelligence: International Conference, AICI 2009, Shanghai, China, November 7-8, 2009, Proceedings
ISBN: 9783642052521 / Angielski / Miękka / 737 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 2009 International Conference on Artificial Intelligence and Computational Int- ligence (AICI 2009) was held during November 7-8, 2009 in Shanghai, China. The technical program of the conference reflects the tremendous growth in the fields of artificial intelligence and computational intelligence with contributions from a large number of participants around the world. AICI 2009 received 1,203 submissions from 20 countries and regions. After rig- ous reviews, 79 high-quality papers were selected for this volume, representing an acceptance rate of 6.6%. These selected papers cover many new...
The 2009 International Conference on Artificial Intelligence and Computational Int- ligence (AICI 2009) was held during November 7-8, 2009 in Shanghai...
|
cena:
402,53 |
![]() |
Intelligent Decision Aiding Systems Based on Multiple Criteria for Financial Engineering
ISBN: 9780792362739 / Angielski / Twarda / 217 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides a new point of view on the field of financial engineering, through the application of multicriteria intelligent decision aiding systems. The aim of the book is to provide a review of the research in the area and to explore the adequacy of the tools and systems developed according to this innovative approach in addressing complex financial decision problems, encountered within the field of financial engineering.
Audience: Researchers and professionals such as financial managers, financial engineers, investors, operations research specialists, computer... This book provides a new point of view on the field of financial engineering, through the application of multicriteria intelligent decision aiding sys...
|
cena:
402,53 |
![]() |
Cooperating Heterogeneous Systems
ISBN: 9780792395355 / Angielski / Twarda / 203 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Cooperating Heterogeneous Systems provides an in-depth introduction to the issues and techniques surrounding the integration and control of diverse and independent software components. Organizations increasingly rely upon diverse computer systems to perform a variety of knowledge-based tasks. This presents technical issues of interoperability and integration, as well as philosophical issues of how cooperation and interaction between computational entities is to be realized. Cooperating systems are systems that work together towards a common end. The concepts of cooperation must be...
Cooperating Heterogeneous Systems provides an in-depth introduction to the issues and techniques surrounding the integration and control of d...
|
cena:
402,53 |
![]() |
Knowledge Acquisition: Selected Research and Commentary: A Special Issue of Machine Learning on Knowledge Acquisition
ISBN: 9780792390626 / Angielski / Twarda / 152 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. What follows is a sampler of work in knowledge acquisition. It comprises three technical papers and six guest editorials. The technical papers give an in-depth look at some of the important issues and current approaches in knowledge acquisition. The editorials were pro- duced by authors who were basically invited to sound off. I've tried to group and order the contributions somewhat coherently. The following annotations emphasize the connections among the separate pieces. Buchanan's editorial starts on the theme of "Can machine learning offer anything to expert systems?" He emphasizes the...
What follows is a sampler of work in knowledge acquisition. It comprises three technical papers and six guest editorials. The technical papers give an...
|
cena:
402,53 |
![]() |
Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions
ISBN: 9781616928681 / Angielski / Twarda / 462 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions is a contribution to the emerging discipline of qualitative spatial information theory within artificial intelligence. This collection of research covers both theory and application-centric research in the area of qualitative spatial and temporal reasoning and provides a comprehensive perspective on the emerging area of qualitative spatio-temporal representation and reasoning.
Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions is a contribution to the emerging discipline of qualitative spa...
|
cena:
995,01 |
![]() |
Begründungsverwaltung: Beiträge Zu Einem Workshop Über Reason Maintenance Berlin, 9. Oktober 1986 Proceedings
ISBN: 9783540188537 / Angielski / Miękka / 153 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch enthalt die schriftlichen Ausarbeitungen von Vortragen, die am 9. Oktober 1986 auf einem Workshop uber Reason Maintenance gehalten worden sind. Der Begriff Begrundungsverwaltung als Ubersetzung von Reason Maintenance soll die Gleichzeitigkeit der Aspekte der Speicherung und Aufbewahrung der Begrundungen und der Erhaltung der Gultigkeit von Aussagen auf Grund der gultigen Begrundungen ausdrucken. Reason Maintenance ist eine Fortfuhrung und Verallgemeinerung von Truth Maintenance. Truth-Maintenance-Systeme sind Programmsysteme, die Speicher von Aussagen realisieren, die weitgehend...
Dieses Buch enthalt die schriftlichen Ausarbeitungen von Vortragen, die am 9. Oktober 1986 auf einem Workshop uber Reason Maintenance gehalten worden ...
|
cena:
402,53 |
![]() |
Knowledge Representation, Reasoning and Declarative Problem Solving
ISBN: 9780521147750 / Angielski / Miękka / 548 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Practitioner's guide to knowledge representation and reasoning using logic programming.
Practitioner's guide to knowledge representation and reasoning using logic programming.
|
cena:
339,34 |
![]() |
Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26–July 1, 1994 Proceedings
ISBN: 9783540581567 / Angielski / Miękka / 852 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the reviewed papers presented at the 12th International Conference on Automated Deduction (CADE-12) held at Nancy, France in June/July 1994.
The 67 papers presented were selected from 177 submissions and document many of the most important research results in automated deduction since CADE-11 was held in June 1992. The volume is organized in chapters on heuristics, resolution systems, induction, controlling resolutions, ATP problems, unification, LP applications, special-purpose provers, rewrite rule termination, ATP efficiency, AC unification, higher-order theorem... This volume contains the reviewed papers presented at the 12th International Conference on Automated Deduction (CADE-12) held at Nancy, France in June...
|
cena:
201,24 |
![]() |
Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30 - August 3, 1996. Proceedings
ISBN: 9783540615118 / Angielski / Miękka / 772 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC '96.
The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major forum for the presentation of new results in all aspects of automated deduction. Therefore, the volume is a timely report on the state-of-the-art in the area. This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New B...
|
cena:
402,53 |