» książki » Mathematics - Logic
 |
Rough Sets and Intelligent Systems Paradigms: International Conference, Rseisp 2007, Warsaw, Poland, June 28-30, 2007, Proceedings
ISBN: 9783540734505 / Angielski / Miękka / 864 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the International Conference on Rough Sets and Emerging Intelligent Systems Paradigms, held in Warsaw, Poland in June 2007. The conference was dedicated to the memory of Professor Zdzislaw Pawlak. Seventy-three full papers are presented, together with two keynote lectures and eleven invited papers. Each of these papers was subject to a strict editorial review. This book constitutes the refereed proceedings of the International Conference on Rough Sets and Emerging Intelligent Systems Paradigms, held in Wa... |
cena:
402,53 |
 |
Foundations of the Logical Theory of Scientific Knowledge (Complex Logic)
ISBN: 9789027703248 / Angielski / Miękka / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Boston Studies in the Philosophy of Science are devoted to symposia, con- gresses, colloquia, monographs and collected papers on the philosophical foundations of the sciences. It is now our pleasure to include A. A. Zi- nov'ev's treatise on complex logic among these volumes. Zinov'ev is one of the most creative of modern Soviet logicians, and at the same time an innovative worker on the methodological foundations of science. More- over, Zinov'ev, although still a developing scholar, has exerted a sub- stantial and stimulating influence upon his colleagues and students in Moscow and within...
Boston Studies in the Philosophy of Science are devoted to symposia, con- gresses, colloquia, monographs and collected papers on the philosophical fou...
|
cena:
402,53 |
 |
The Theory of Indistinguishables: A Search for Explanatory Principles Below the Level of Physics
ISBN: 9789027712141 / Angielski / Twarda / 216 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It is widely assumed that there exist certain objects which can in no way be distinguished from each other, unless by their location in space or other reference-system. Some of these are, in a broad sense, 'empirical objects', such as electrons. Their case would seem to be similar to that of certain mathematical 'objects', such as the minimum set of manifolds defining the dimensionality of an R -space. It is therefore at first sight surprising that there exists no branch of mathematics, in which a third parity-relation, besides equality and inequality, is admitted; for this would seem to...
It is widely assumed that there exist certain objects which can in no way be distinguished from each other, unless by their location in space or other...
|
cena:
402,53 |
 |
Computational Complexity
ISBN: 9789027721464 / Angielski / Twarda / 532 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
402,53 |
 |
Qualitative and Quantitative Practical Reasoning: First International Joint Conference on Qualitative and Quantitative Practical Reasoning, Ecsqaru-Fa
ISBN: 9783540630951 / Angielski / Miękka / 626 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, held in Bad Honnef, Germany, in June 1997.
The volume presents 33 revised full papers carefully selected for inclusion in the book by the program committee as well as 12 invited contributions. Among the various aspects of human practical reasoning addressed in the papers are nonmonotonic logics, default reasoning, modal logics, belief function theory, Bayesian networks, fuzzy logic, possibility theory, inference algorithms, dynamic... This book constitutes the refereed proceedings of the First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQAR...
|
cena:
402,53 |
 |
Constructive Negations and Paraconsistency
ISBN: 9781402068669 / Angielski / Twarda / 242 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Thetitleofthisbookmentionstheconceptsofparaconsistencyandconstr- tive logic. However, the presented material belongs to the ?eld of parac- sistency, not to constructive logic. At the level of metatheory, the classical methods are used. We will consider two concepts of negation: the ne- tion as reduction to absurdity and the strong negation. Both concepts were developed in the setting of constrictive logic, which explains our choice of the title of the book. The paraconsistent logics are those, which admit - consistent but non-trivial theories, i. e., the logics which allow one to make...
Thetitleofthisbookmentionstheconceptsofparaconsistencyandconstr- tive logic. However, the presented material belongs to the ?eld of parac- sistency, n...
|
cena:
402,53 |
 |
An Introduction to Default Logic
ISBN: 9783540515661 / Angielski / Twarda / 210 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is written for those who are interested in a fonnalization of human reasoning, especially in order to build "intelligent" computer systems. Thus, it is mainly designed for the Artificial Intelligence community, both students and researchers, although it can be useful for people working in related fields like cognitive psychology. The major theme is not Artificial Intelligence applications, although these are discussed throughout in sketch fonn. Rather, the book places a heavy emphasis on the fonnal development of default logic, results and problems. Default logic provides a...
This book is written for those who are interested in a fonnalization of human reasoning, especially in order to build "intelligent" computer systems. ...
|
cena:
402,53 |
 |
Methodologies for Intelligent Systems: 6th International Symposium, Ismis '91, Charlotte, N.C., USA October 16-19, 1991. Proceedings
ISBN: 9783540545637 / Angielski / Miękka / 646 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers selected for presentation at the Sixth International Symposium on Methodol- ogies for Intelligent Systems held in Charlotte, North Carolina, in October 1991. The symposium was hosted by UNC-Charlotte and sponsored by IBM-Charlotte, ORNL/CESAR and UNC-Charlotte. The papers discuss topics in the following major areas: - Approximate reasoning, - Expert systems, - Intelligent databases, - Knowledge representation, - Learning and adaptive systems, - Logic for artificial intelligence. The goal of the symposium was to provide a platform for a useful exchange and...
This volume contains the papers selected for presentation at the Sixth International Symposium on Methodol- ogies for Intelligent Systems held in Char...
|
cena:
402,53 |
 |
Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the Eacsl, and 8th Kurt Gödel Colloquium, Kgc 2003, V
ISBN: 9783540408017 / Angielski / Miękka / 596 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych.
This book constitutes the joint refereed proceedings of the 17th International Workshop on Computer Science Logic, CSL 2003, held as the 12th Annual Conference of the EACSL and of the 8th Kurt Godel Colloquium, KGC 2003 in Vienna, Austria, in August 2003. The 30 revised full papers presented together with abstracts of 9 invited presentations were carefully reviewed and selected from a total of 112 submissions. All current aspects of computer science logic are addressed ranging from mathematical logic and logical foundations to the application of logics in various...
This book constitutes the joint refereed proceedings of the 17th International Workshop on Computer Science Logic, CSL 2003, held as the 1... |
cena:
402,53 |
 |
Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers
ISBN: 9783540600176 / Angielski / Miękka / 553 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994; CSL '94 is the eighth event in the series of workshops held for the third time as the Annual Conference of the European Association for Computer Science Logic.
The 38 papers presented were selected from a total of 151 submissions. All important aspects of the methods of mathematical logic in computer science are addressed: lambda calculus, proof theory, finite model theory, logic programming, semantics, category theory, and other logical... This volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994...
|
cena:
402,53 |
 |
Fundamentals of Computation Theory: 16th International Symposium, Fct 2007, Budapest, Hungary, August 27-30, 2007, Proceedings
ISBN: 9783540742395 / Angielski / Miękka / 526 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book features the refereed proceedings of the 16th International Symposium on Fundamentals of Computation Theory. Thirty-nine full papers are presented along with four invited papers. The papers address all current topics in computation theory, including automata and formal languages, design and analysis of algorithms, computational and structural complexity, semantics, logic, circuits and networks, learning theory, and more. This book features the refereed proceedings of the 16th International Symposium on Fundamentals of Computation Theory. Thirty-nine full papers are ... |
cena:
402,53 |
 |
Modeling and Using Context: 6th International and Interdisciplinary Conference, CONTEXT 2007 Roskilde, Denmark, August 20-24, 2007 Proceedings
ISBN: 9783540742548 / Angielski / Miękka / 594 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Context a?ects a wide range of activities in humans and animals as well as in arti?cialagentsandothersystems.Theimportanceofcontextiswidelyackno- edged, and "context" has become an area of study in its own right, as evidenced bynumerousworkshops, symposia, seminars, andconferencesonthisarea.CON- TEXT, theoldestconferenceseriesfocusing oncontext, is unique inits emphasis on interdisciplinary research. Previous CONTEXT conferences have been held in Rio de Janeiro, Brazil (CONTEXT'97), Trento, Italy (CONTEXT'99, LNCS 1688), Dundee, UK (CONTEXT 2001, LNCS 2116), Palo Alto, USA (CON- TEXT 2003,...
Context a?ects a wide range of activities in humans and animals as well as in arti?cialagentsandothersystems.Theimportanceofcontextiswidelyackno- edge...
|
cena:
402,53 |
 |
Flexible Neuro-Fuzzy Systems: Structures, Learning and Performance Evaluation
ISBN: 9781402080425 / Angielski / Twarda / 279 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Flexible Neuro-Fuzzy Systems is the first professional literature about the new class of powerful, flexible fuzzy systems. The author incorporates various flexibility parameters to the construction of neuro-fuzzy systems. This approach dramatically improves their performance, allowing the systems to perfectly represent the pattern encoded in data.
Flexible Neuro-Fuzzy Systems is the only book that proposes a flexible approach to fuzzy modeling and fills the gap in existing literature. This book introduces new fuzzy systems which outperform previous... Flexible Neuro-Fuzzy Systems is the first professional literature about the new class of powerful, flexible fuzzy systems. The author...
|
cena:
402,53 |
 |
Practical Reasoning: International Conference on Formal and Applied Practical Reasoning, Fapr'96, Bonn, Germany, June (3-7), 1996. Proceedi
ISBN: 9783540613138 / Angielski / Miękka / 726 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR '96, held in Bonn, Germany, in June 1996.
The 51 revised full papers included in the book together with eight posters were carefully selected for presentation at the conference. The book addresses current aspects of the highly interdisciplinary area of practical reasoning in artificial intelligence, philosophy, psychology, linguistics, software engineering, intelligent systems, and industrial applications. Among the topics addressed are user modeling, belief, legal... This book constitutes the refereed proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR '96, held in Bonn, Germ...
|
cena:
402,53 |
 |
Logics in AI: European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings
ISBN: 9783540536864 / Angielski / Miękka / 569 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is the proceedings of a workshop on logics in AI. The main themes are: logic programming and automated theorem proving, computational semantics for natural language, applications of non-classical logics, partial and dynamic logics.
This volume is the proceedings of a workshop on logics in AI. The main themes are: logic programming and automated theorem proving, computational sema...
|
cena:
402,53 |
 |
Case-Based Reasoning Research and Development: 4th International Conference on Case-Based Reasoning, Iccbr 2001 Vancouver, Bc, Canada, July 30 - Augus
ISBN: 9783540423584 / Angielski / Miękka / 764 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 2001 International Conference on Case-Based Reasoning (ICCBR 2001, www.iccbr.org/iccbr01), the fourth in the biennial ICCBR series (1995 in Sesimbra, Portugal; 1997 in Providence, Rhode Island (USA); 1999 in Seeon, Germany), was held during 30 July - 2 August 2001 in Vancouver, Canada. ICCBR is the premier international forum for researchers and practitioners of case based reasoning (CBR). The objectives of this meeting were to nurture significant, relevant advances made in this field (both in research and application), communicate them among all attendees, inspire future advances, and...
The 2001 International Conference on Case-Based Reasoning (ICCBR 2001, www.iccbr.org/iccbr01), the fourth in the biennial ICCBR series (1995 in Sesimb...
|
cena:
402,53 |
 |
Algebraic Methodology and Software Technology: 8th International Conference, Amast 2000 Iowa City, Iowa, Usa, May 20-27, 2000 Proceedings
ISBN: 9783540675303 / Angielski / Miękka / 545 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This title constitutes 20 revised full papers presented together with eight invited contributions. Among the topics covered are all current issues in formal methods related to algebraic approaches including abstract data types, abstract state machines, algebraic state machines, algebraic compilers, state charts, process algebras, etc. The algebraic methods are applied to reactive systems, safety-critical systems, concurrency, Java, UML and much more.
This title constitutes 20 revised full papers presented together with eight invited contributions. Among the topics covered are all current issues in ...
|
cena:
402,53 |
 |
Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings
ISBN: 9783540232421 / Angielski / Miękka / 746 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 9th European Conference on Logics in Artificial Intelligence, JELIA 2004, held in Lisbon, Portugal, in September 2004. The 52 revised full papers and 15 revised systems presentation papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from a total of 169 submissions. The papers are organized in topical sections on multi-agent systems; logic programming and nonmonotonic reasoning; reasoning under uncertainty; logic programming; actions and causation; complexity; description logics;... This book constitutes the refereed proceedings of the 9th European Conference on Logics in Artificial Intelligence, JELIA 2004, held in Lisbon, Por... |
cena:
402,53 |
 |
Advances in Natural Language Processing: 4th International Conference, Estal 2004, Alicante, Spain, October 20-22, 2004. Proceedings
ISBN: 9783540234982 / Angielski / Miękka / 496 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. EsTAL Espana for Natural Language Processing continued on from the three previous conferences: FracTAL, held at the Universit e de Franch-Comt e, Besan, con (France) in December 1997, VexTAL, held at Venice International University, Ca Foscari (Italy), in November 1999, and PorTAL, held at the U- versidade do Algarve, Faro (Portugal), in June 2002. The main goals of these conferences have been: (i) to bring together the international NLP community; (ii) to strengthen the position of local NLP research in the international NLP community; and (iii) to provide a forum for discussion of new...
EsTAL Espana for Natural Language Processing continued on from the three previous conferences: FracTAL, held at the Universit e de Franch-Comt e, Besa...
|
cena:
402,53 |
 |
Principles of Data Mining and Knowledge Discovery: 4th European Conference, PKDD, 2000, Lyon, France, September 13-16, 2000 Proceedings
ISBN: 9783540410669 / Angielski / Miękka / 701 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains papers selected for presentation at PKDD'2000, the Fourth European Conference on Principles and Practice of Knowledge Discovery in - tabases. The rst meeting was held in Trondheim, Norway, in June 1997, the second in Nantes, France, in September 1998, and the third in Prague, Czech Republic, in September 1999. PKDD 2000 was organized in Lyon, France, on 13{16 September 2000. The conference was hosted by the Equipe de Recherche en Ing enierie des Conna- sances at the Universit e Lumi ere Lyon 2. We wish to express our thanks to the sponsors of the Conference, to the...
This volume contains papers selected for presentation at PKDD'2000, the Fourth European Conference on Principles and Practice of Knowledge Discovery i...
|
cena:
402,53 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
