ilość książek w kategorii: 2016
![]() |
Algorithmic Learning Theory: 4th International Workshop on Analogical and Inductive Inference, AII '94, 5th International Workshop on Algorithmic Learning Theory, ALT '94, Reinhardsbrunn Castle, Germa
ISBN: 9783540585206 / Angielski / Miękka / 581 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the proceedings of the Fourth International Workshop on Analogical and Inductive Inference (AII '94) and the Fifth International Workshop on Algorithmic Learning Theory (ALT '94), held jointly at Reinhardsbrunn Castle, Germany in October 1994. (In future the AII and ALT workshops will be amalgamated and held under the single title of Algorithmic Learning Theory.)
The book contains revised versions of 45 papers on all current aspects of computational learning theory; in particular, algorithmic learning, machine learning, analogical inference, inductive logic, case-based... This volume presents the proceedings of the Fourth International Workshop on Analogical and Inductive Inference (AII '94) and the Fifth International ...
|
cena:
203,13 |
![]() |
Tractable Reasoning in Aritificial Intelligence
ISBN: 9783540600589 / Angielski / Miękka / 286 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic is one of the most popular approaches to artificial intelligence. A potential obstacle to the use of logic is its high computational complexity, as logical inference is an extraordinarily powerful computational device.
This book is concerned with computational aspects of the logical approach to AI. The focus is on two strategies for achieving computational tractability in knowledge representation and reasoning by language restriction and approximation. Several formalisms for knowledge representation are taken into account; among the computational problems studied are checking... Logic is one of the most popular approaches to artificial intelligence. A potential obstacle to the use of logic is its high computational complexity,...
|
cena:
203,13 |
![]() |
Algorithmic Learning for Knowledge-Based Systems: GOSLER Final Report
ISBN: 9783540602170 / Angielski / Miękka / 522 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is the final report on a comprehensive basic research project, named GOSLER on algorithmic learning for knowledge-based systems supported by the German Federal Ministry of Research and Technology during the years 1991 - 1994. This research effort was focused on the study of fundamental learnability problems integrating theoretical research with the development of tools and experimental investigation.
The contributions by 11 participants in the GOSLER project is complemented by contributions from 23 researchers from abroad. Thus the volume provides a competent introduction to... This book is the final report on a comprehensive basic research project, named GOSLER on algorithmic learning for knowledge-based systems supported by...
|
cena:
203,13 |
![]() |
Advances in Case-Based Reasoning: 4th European Workshop, EWCBR'98, Dublin, Ireland, September 23-25, 1998, Proceedings
ISBN: 9783540649908 / Angielski / Miękka / 488 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 4th European Workshop on Case-Based Reasoning, EWCBR-98, held in Dublin, Ireland, in September 1998.
The 41 revised full papers presented were carefully selected and reviewed for inclusion in the proceedings. The contributions address the representation and organization of cases in case-bases, the assessment of case similarity, the efficient retrieval of cases from large case-bases, the adaptation of similar case solutions to fit the current problem, case learning and case-base maintenance, and the application of CBR technology to... This book constitutes the refereed proceedings of the 4th European Workshop on Case-Based Reasoning, EWCBR-98, held in Dublin, Ireland, in September 1...
|
cena:
203,13 |
![]() |
XPS-99: Knowledge-Based Systems - Survey and Future Directions: 5th Biannual German Conference on Knowledge-Based Systems, Würzburg, Germany, March 3-5, 1999, Proceedings
ISBN: 9783540656586 / Angielski / Miękka / 236 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A special year like 1999 invites one to draw a balance of what has been achieved in the roughly 30 years of research and development in knowledge based systems (still abbreviated as XPS following the older term "expert systems") and to take a look at th what the future may hold. For the 5 German conference on knowledge-based systems we therefore asked current and former speakers of the four working groups (FG's) in the subdivision of knowledge-based systems (FA 1.5) of the German association of Informatics (GI) to present a survey of and future prospects for their respective fields: knowledge...
A special year like 1999 invites one to draw a balance of what has been achieved in the roughly 30 years of research and development in knowledge base...
|
cena:
203,13 |
![]() |
Multi-Agent-Based Simulation III: 4th International Workshop, MABS 2003, Melbourne, Australia, July 14th, 2003, Revised Papers
ISBN: 9783540207368 / Angielski / Miękka / 224 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Multi-Agent-Based Simulation, MABS 2003, held in Melbourne, Australia as part of AAMAS 2003. The 11 revised full papers presented together with 3 invited papers were carefully selected during two rounds of reviewing and improvement. The papers are organized in topical sections on MABS techniques for MAS; economics, exchange, and influence in virtual worlds; MABS techniques for real-world modelling, and understanding and classifying MABS.
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Multi-Agent-Based Simulation, MABS 2003, held i... |
cena:
203,13 |
![]() |
Advances in Case-Based Reasoning: Second European Workshop, EWCBR-94, Chantilly, France, November 7 - 10, 1994. Selected Papers
ISBN: 9783540603641 / Angielski / Miękka / 314 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Presents a selection of revised refereed papers taken from the contributions to the Second European Workshop on Case-Based Reasoning, EWCBR-94, held at the Abbaye de Royaumont near Paris in November 1994. This book documents the progress achieved in CBR methods and tools.
Presents a selection of revised refereed papers taken from the contributions to the Second European Workshop on Case-Based Reasoning, EWCBR-94, held a...
|
cena:
203,13 |
![]() |
Advances in Case-Based Reasoning: Third European Workshop, Ewcbr-96, Lausanne, Switzerland, November 14 - 16, 1996, Proceedings
ISBN: 9783540619550 / Angielski / Miękka / 538 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Third European Workshop on Case-Based Reasoning, EWCBR-96, held in Lausanne, Switzerland, in November 1996.
Case-based reasoning is an appealing technique for dealing with the knowledge acquisition bottleneck in computer applications; solutions to new problems are found by adapting similar experience from the past, called cases. The 38 revised full papers presented were carefully selected from a broad variety of submissions after a thorough refereeing process. The volume refleats the state of the art in case-based reasoning research and... This book constitutes the refereed proceedings of the Third European Workshop on Case-Based Reasoning, EWCBR-96, held in Lausanne, Switzerland, in Nov...
|
cena:
203,13 |
![]() |
Distributed Reason Maintenance for Multiagent Systems
ISBN: 9783540636069 / Angielski / Miękka / 300 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is a systematic in-depth investigation of a class of multiple-context assumption-based multiagent reasoning problems, typical for distributed planning, scheduling and control. Logical and architectural foundations are provided to construct the two systems XFRMS and MXFRMS.
This is a systematic in-depth investigation of a class of multiple-context assumption-based multiagent reasoning problems, typical for distributed pla...
|
cena:
203,13 |
![]() |
Recent Advances in AI Planning: 4th European Conference on Planning, ECP'97, Toulouse, France, September 24 - 26, 1997, Proceedings
ISBN: 9783540639121 / Angielski / Miękka / 460 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 4th European Conference on Planning, ECP'97, held in Toulouse, France, in September 1997. The 35 revised full papers presented were carefully reviewed and selected from 90 submissions. The range of topics covered spans all aspects of current artificial intelligence planning, from theoretical and foundational matters to actual planning of systems and applications in a variety of areas.
This book constitutes the refereed proceedings of the 4th European Conference on Planning, ECP'97, held in Toulouse, France, in September 1997. The 35...
|
cena:
203,13 |
![]() |
Cooperative Information Agents II. Learning, Mobility and Electronic Commerce for Information Discovery on the Internet: Second International Workshop
ISBN: 9783540646761 / Angielski / Miękka / 314 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Second International Workshop on Cooperative Information Systems, CIA'98, held in cognition with Agents World in July 1998 in Paris.
The book presents nine invited contributions together with 14 revised full papers selected from a total of 54 submissions. The book is divided in parts on systems and applications; issues of design, querying, and communication; rational cooperation and electronic commerce; adaptive and collaborative information gathering; and mobile information agents in the internet. This book constitutes the refereed proceedings of the Second International Workshop on Cooperative Information Systems, CIA'98, held in cognition with...
|
cena:
203,13 |
![]() |
Languages, Compilers, and Tools for Embedded Systems: ACM SIGPLAN Workshop LCTES '98, Montreal, Canada, June 19-20, 1998, Proceedings
ISBN: 9783540650751 / Angielski / Miękka / 268 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the strictly refereed post-workshop proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems, LCTES '98, held in Montreal, Canada, in June 1998.
The 19 revised papers presented were carefully reviewed and selected from a total of 54 submissions for inclusion in the book; also included are one full paper and an abstract of an invited contribution. The papers address all current aspects of research and development in the rapidly growing area of embedded systems and real-time computing. This book constitutes the strictly refereed post-workshop proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Syst...
|
cena:
203,13 |
![]() |
Hybrid Systems V
ISBN: 9783540656432 / Angielski / Miękka / 458 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the strictly refereed post-proceedings of the 5th International Hybrid Systems Workshop held in Notre Dame, Indiana, USA in September 1998. The 23 revised full papers presented in the book have gone through two rounds of thorough reviewing and revision. The volume presents state-of-the-art research results and particularly addresses such areas as program verification, concurrent and distributed processes, logic programming, logics of programs, discrete event simulation, calculus of variations, optimization, differential geometry, Lie algebras, automata theory, dynamical...
This book constitutes the strictly refereed post-proceedings of the 5th International Hybrid Systems Workshop held in Notre Dame, Indiana, USA in Sept...
|
cena:
203,13 |
![]() |
Conceptual Structures: Knowledge Representations as Interlingua: 4th International Conference on Conceptual Structures, Iccs'96, Sydney, Australia, Au
ISBN: 9783540615347 / Angielski / Miękka / 330 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the refereed proceedings of the Fourth International Conference on Conceptual Structures, ICCS '96, held in Sydney, Australia, in August 1996.
The book presents five full papers by the invited speakers together with 15 revised full papers selected for presentation at the conference from a respectable number of submissions. The issues addressed are natural language processing, information retrieval, graph operations, conceptual graph and Peirce theory, knowledge acquisition, theorem proving and CG programming, and order-based organisation and encoding. This volume constitutes the refereed proceedings of the Fourth International Conference on Conceptual Structures, ICCS '96, held in Sydney, Australia,...
|
cena:
203,13 |
![]() |
Conceptual Structures: Fulfilling Peirce's Dream: Fifth International Conference on Conceptual Structures, Iccs'97, Seattle, Washington, Usa, August 3
ISBN: 9783540633082 / Angielski / Miękka / 630 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Fifth International Conference on Conceptual Structures, ICCS '97, held in Seattle, Washington, USA, in August 1997.
The 39 full papers presented were carefully selected and revised for inclusion in the volume. Also included are 9 abstracts of conceptual graphs tools. The papers are organized in sections on knowledge representation, knowledge modeling, formal concept analysis, formal reasoning, applications of conceptual graphs, and conceptual graphs tools. This book competently documents the progress achieved in the area since the... This book constitutes the refereed proceedings of the Fifth International Conference on Conceptual Structures, ICCS '97, held in Seattle, Washington, ...
|
cena:
406,31 |
![]() |
Computer Aided Systems Theory - Eurocast '97: A Selection of Papers from the Sixth International Workshop on Computer Aided Systems Theory, Las Palmas
ISBN: 9783540638117 / Angielski / Miękka / 632 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 50 revised full papers presented were carefully selected for inclusion in this volume. The book is divided into sections on design environments and tools, theory and methods, engineering systems, intelligent systems, signal processing and specific methods and applications.
The 50 revised full papers presented were carefully selected for inclusion in this volume. The book is divided into sections on design environments an...
|
cena:
406,31 |
![]() |
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:
203,13 |
![]() |
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:
203,13 |
![]() |
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:
203,13 |
![]() |
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:
203,13 |