» książki » Computers - Artificial Intelligence - Expert Systems
topmenu
Kategoria BISAC: Computers >> Artificial Intelligence - Expert Systems
ilość książek w kategorii: 1787
 |
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:
361,18 zł |
 |
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:
191,40 zł |
 |
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:
382,84 zł |
 |
Research and Development in Intelligent Systems XXVII: Incorporating Applications and Innovations in Intelligent Systems XVIII Proceedings of Ai-2010,
ISBN: 9780857291295 / Angielski / Miękka / 494 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Contains the papers presented at AI-2010, the Thirtieth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, held in Cambridge in December 2010 in both the technical and the application streams.
Contains the papers presented at AI-2010, the Thirtieth SGAI International Conference on Innovative Techniques and Applications of Artificial Intellig...
|
cena:
765,72 zł |
 |
Data-Driven Techniques in Speech Synthesis
ISBN: 9781441947338 / Angielski / Miękka / 316 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This first review of a new field covers all areas of speech synthesis from text, ranging from text analysis to letter-to-sound conversion. At the leading edge of current research, the concise and accessible book is written by well respected experts in the field. This first review of a new field covers all areas of speech synthesis from text, ranging from text analysis to letter-to-sound conversion. At the l... |
cena:
574,29 zł |
 |
Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice
ISBN: 9781441951076 / Angielski / Miękka / 366 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Knowledge-based (KB) technology is being applied to complex problem-solving and critical tasks in many application domains. Concerns have naturally arisen as to the dependability of knowledge-based systems (KBS). As with any software, attention to quality and safety must be paid throughout development of a KBS and rigorous verification and validation (V&V) techniques must be employed. Research in V&V of KBS has emerged as a distinct field only in the last decade and is intended to address issues associated with quality and safety aspects of KBS and to credit such applications with the same...
Knowledge-based (KB) technology is being applied to complex problem-solving and critical tasks in many application domains. Concerns have naturally ar...
|
cena:
765,72 zł |
 |
Ontological Engineering: With Examples from the Areas of Knowledge Management, E-Commerce and the Semantic Web. First Edition
ISBN: 9781849968843 / Angielski / Miękka / 404 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ontological Engineering refers to the set of activities that concern the ontology development process, the ontology life cycle, the methods and methodologies for building ontologies, and the tool suites and languages that support them. During the last decade, increasing attention has been focused on ontologies and Ontological Engineering. Ontologies are now widely used in Knowledge Engineering, Artificial Intelligence and Computer Science; in applications related to knowledge management, natural language processing, e-commerce, intelligent integration information, information retrieval,...
Ontological Engineering refers to the set of activities that concern the ontology development process, the ontology life cycle, the methods and method...
|
cena:
574,29 zł |
 |
A Logical Theory of Nonmonotonic Inference and Belief Change
ISBN: 9783642075162 / Angielski / Miękka / 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...
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...
|
cena:
574,29 zł |
 |
Fuzzy Relation Equations and Their Applications to Knowledge Engineering
ISBN: 9789048140503 / Angielski / Miękka / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It took many decades for Peirce's coneept of a relation to find its way into the microelectronic innards of control systems of eement kilns, subway trains, and tunnel-digging machinery. But what is amazing is that the more we leam about the basically simple coneept of a relation, the more aware we become of its fundamental importanee and wide ranging ramifications. The work by Di Nola, Pedrycz, Sanchez, and Sessa takes us a long distanee in this direction by opening new vistas on both the theory and applications of fuzzy relations - relations which serve to model the imprecise coneepts which...
It took many decades for Peirce's coneept of a relation to find its way into the microelectronic innards of control systems of eement kilns, subway tr...
|
cena:
574,29 zł |
 |
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A
ISBN: 9789048150502 / Angielski / Miękka / 481 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The nationwide research project Deduktion', funded by the Deutsche Forschungsgemeinschaft (DFG)' for a period of six years, brought together almost all research groups within Germany engaged in the field of automated reasoning. Intensive cooperation and exchange of ideas led to considerable progress both in the theoretical foundations and in the application of deductive knowledge. This three-volume book covers these original contributions moulded into the state of the art of automated deduction.
The three volumes are intended to document and advance a development in the field of... The nationwide research project Deduktion', funded by the Deutsche Forschungsgemeinschaft (DFG)' for a period of six years, brought together almost al...
|
cena:
765,72 zł |
 |
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A
ISBN: 9789048150519 / Angielski / Miękka / 434 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us. Interaction typi- cally is needed, for example, to direct and control the reasoning, to speculate or generalize strategic lemmas, and sometimes simply because the conjec- ture to be proved does not hold. In software verification, for example, correct versions of specifications and programs typically are obtained only after a number of...
1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let ...
|
cena:
765,72 zł |
 |
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A
ISBN: 9789048150526 / Angielski / Miękka / 335 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. We are invited to deal with mathematical activity in a sys- tematic way ... ] one does expect and look for pleasant surprises in this requirement of a novel combination of psy- chology, logic, mathematics and technology. Hao Wang, 1970, quoted from(Wang, 1970). The field of mathematics has been a key application area for automated theorem proving from the start, in fact the very first automatically found the- orem was that the sum of two even numbers is even (Davis, 1983). The field of automated deduction has witnessed considerable progress and in the last decade, automated deduction...
We are invited to deal with mathematical activity in a sys- tematic way ... ] one does expect and look for pleasant surprises in this requirement of...
|
cena:
574,29 zł |
 |
Objektorientierte Systementwicklung: Vom Geschäftsprozess Zum Java-Programm
ISBN: 9783834802453 / Niemiecki / Miękka / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Anwendungssoftware soll zur Optimierung von Geschaftsprozessen beitragen. Vor diesem Hintergrund werden in diesem Lehrbuch anhand eines durchgangigen Fallbeispiels Geschaftsprozesse mit UML modelliert und die fachlichen Anforderungen an das Software-System systematisch abgeleitet. Aufgrund nachvollziehbarer Regeln und Prinzipien werden Klassenmodelle konstruiert. Alternative System-Architekturen werden vorgestellt und erlautert. Es werden Entwurfsmuster anhand anschaulicher Beispiele prasentiert und die Umsetzung des Fallbeispiels in Java anhand von annotiertem Code gezeigt."
Anwendungssoftware soll zur Optimierung von Geschaftsprozessen beitragen. Vor diesem Hintergrund werden in diesem Lehrbuch anhand eines durchgangigen ...
|
cena:
153,85 zł |
 |
Embedded Security in Cars: Securing Current and Future Automotive IT Applications
ISBN: 9783642066597 / Angielski / Miękka / 273 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Most innovations in the car industry are based on software and electronics, and IT will soon constitute the major production cost factor. It seems almost certain that embedded IT security will be crucial for the next generation of applications. Yet whereas software safety has become a relatively well-established field, the protection of automotive IT systems against manipulation or intrusion has only recently started to emerge. Lemke, Paar, and Wolf collect in this volume a state-of-the-art overview on all aspects relevant for IT security in automotive applications. After an... Most innovations in the car industry are based on software and electronics, and IT will soon constitute the major production cost factor. It seems ... |
cena:
382,84 zł |
 |
Agent Technology: Foundations, Applications, and Markets
ISBN: 9783642083440 / Angielski / Miękka / 325 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Agents represent an exciting and promising new approach to building a wide range of software applications. Agents are autonomous problem-solving entities that are able to flexibly solve problems in complex, dynamic environments, without receiving permanent guidance from the user.
Agent Technology: Foundations, Applications and Markets is the first book to provide an integrative presentation of the issues, challenges and success of designing, building and using agent applications. The chapters presented are written by internationally leading authorities in the field. The book provides, for... Agents represent an exciting and promising new approach to building a wide range of software applications. Agents are autonomous problem-solving entit...
|
cena:
382,84 zł |
 |
Machine Discovery: Reprinted from Foundations of Science Volume 1, No. 2, 1995/96
ISBN: 9789048147939 / Angielski / Miękka / 148 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Human and machine discovery are gradual problem-solving processes of searching large problem spaces for incompletely defined goal objects. Research on problem solving has usually focused on searching an instance space' (empirical exploration) and a hypothesis space' (generation of theories). In scientific discovery, searching must often extend to other spaces as well: spaces of possible problems, of new or improved scientific instruments, of new problem representations, of new concepts, and others. This book focuses especially on the processes for finding new problem representations and new...
Human and machine discovery are gradual problem-solving processes of searching large problem spaces for incompletely defined goal objects. Research on...
|
cena:
191,40 zł |
 |
Multi-Agent-Based Simulation XI: International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers
ISBN: 9783642183447 / Angielski / Miękka / 167 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains a selection of the papers presented at the 11th International Workshop on Multi-Agent-Based Simulation (MABS 2010), a workshop co-located with the 9th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), which was held on May 10-14, 2010 in Toronto, Canada. The 11 revised full papers presented were carefully reviewed and selected from 26 submissions. The workshop has been an important source of inspiration for the body of knowledge that has been produced in the field of Multi-Agent Systems (MAS). As illustrated by this volume, the...
This volume contains a selection of the papers presented at the 11th International Workshop on Multi-Agent-Based Simulation (MABS 2010), a workshop co...
|
cena:
191,40 zł |
 |
Mensch-Maschine-Schnittstelle in Echtzeitsystemen
ISBN: 9783211819432 / Niemiecki / Miękka / 171 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Mensch-Maschine-Schnittstellen (MMS) gibt es, seit der Mensch Maschinen nutzt. Faustkeile, Pfeil und Bogen, Wagenlenkung usw. Schon hi er lass en sich rudimentar Fragen der leichten Handhabbar keit, der KontroUierbarkeit und der Sicherheit zeigen. Doch erst die hohe Komplexitat heutiger Systeme, gepaart mit neuen technischen M6glichkeiten, erfordert die eingehende Behand lung dieses Problemfeldes. Wahrend zum Thema Mensch-Maschine-Schnittstelle im allge meinen viel Literatur, z. B. BEN81] vorliegt, find en sich iiber die MMS bei Echtzeitsystemen nur verstreute Artikel. Es solI daher versucht...
Mensch-Maschine-Schnittstellen (MMS) gibt es, seit der Mensch Maschinen nutzt. Faustkeile, Pfeil und Bogen, Wagenlenkung usw. Schon hi er lass en sich...
|
cena:
196,76 zł |
 |
Fehlertolerante dezentrale Prozeßautomatisierung
ISBN: 9783540187547 / Niemiecki / Miękka / 243 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In der vorliegenden Monographie werden Verfahren zur Implementierung von Fehlertoleranz in dezentralen Automatisierungssystemen untersucht. Ausgehend von einer Analyse der angestrebten Ziele Zuverl ssigkeit, Sicherheit und Wirtschaftlichkeit wird eine modifizierte Fehlertoleranz-Klassifizierung angegeben. Die exemplarische Realisierung eines fehlertoleranten Mikrorechnersystems basiert auf der globalen Grundstruktur dezentraler Automatisierungssysteme, in der durch die Zusammenfassung lokaler Subsysteme eine Rekonfiguration zur Tolerierung bestimmter Hardware-Fehler m glich wird. Dezentral...
In der vorliegenden Monographie werden Verfahren zur Implementierung von Fehlertoleranz in dezentralen Automatisierungssystemen untersucht. Ausgehend ...
|
cena:
196,76 zł |
 |
Innovative Informations-Infrastrukturen: Ergebnisse einer Kooperation der Universität des Saarlandes und der Siemens AG
ISBN: 9783540503347 / Niemiecki / Miękka / 291 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das Buch prasentiert die Resultate einer vierjahrigen Kooperation zwischen der Universitat des Saarlandes und der Siemens AG. Schwerpunkte sind die Themenbereiche Vernetzung, Entwicklung von Software-Tools und von wissenschaftlicher Anwender-Software. Der Band wurde zusammengestellt anlasslich einer Abschlusstagung mit umfassender Prasentation aller Projektergebnisse. Neben einer Einfuhrung in das Gesamtprojekt werden ausgewahlte Projekte detailliert vorgestellt. Ziel des Bandes ist es, von einem gelungenen Versuch zu berichten, in einer Hochschule durch den breiten Einsatz von...
Das Buch prasentiert die Resultate einer vierjahrigen Kooperation zwischen der Universitat des Saarlandes und der Siemens AG. Schwerpunkte sind die Th...
|
cena:
196,76 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
