» książki » Mathematics - Logic
topmenu
 |
Micai 2005: Advances in Artificial Intelligence: 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2
ISBN: 9783540298960 / Angielski / Miękka / 1198 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 4th Mexican International Conference on Artificial Intelligence, MICAI 2005, held in Monterrey, Mexico, in November 2005. The 120 revised full papers presented were carefully reviewed and selected from 423 submissions. The papers are organized in topical sections on knowledge representation and management, logic and constraint programming, uncertainty reasoning, multiagent systems and distributed AI, computer vision and pattern recognition, machine learning and data mining, evolutionary computation and genetic algorithms, neural... This book constitutes the refereed proceedings of the 4th Mexican International Conference on Artificial Intelligence, MICAI 2005, held in Monterre... |
cena:
605,23 |
 |
Nonmonotonic Logic: Context-Dependent Reasoning
ISBN: 9783540564485 / Angielski / Twarda / 420 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. When I first participated in exploring theories of nonmonotonic reasoning in the late 1970s, I had no idea of the wealth of conceptual and mathematical results that would emerge from those halting first steps. This book by Wiktor Marek and Miroslaw Truszczynski is an elegant treatment of a large body of these results. It provides the first comprehensive treatment of two influen- tial nonmonotonic logics - autoepistemic and default logic - and describes a number of surprising and deep unifying relationships between them. It also relates them to various modal logics studied in the philosophical...
When I first participated in exploring theories of nonmonotonic reasoning in the late 1970s, I had no idea of the wealth of conceptual and mathematica...
|
cena:
605,23 |
 |
Constraint Databases
ISBN: 9783540661511 / Angielski / Twarda / 428 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is the first comprehensive survey of the field of constraint databases. Constraint databases are a fairly new and active area of database research. The key idea is that constraints, such as linear or polynomial equations, are used to represent large, or even infinite, sets in a compact way. The ability to deal with infinite sets makes constraint databases particularly promising as a technology for integrating spatial and temporal data with standard re lational databases. Constraint databases bring techniques from a variety of fields, such as logic and model theory, algebraic and...
This book is the first comprehensive survey of the field of constraint databases. Constraint databases are a fairly new and active area of database re...
|
cena:
605,23 |
 |
Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics
ISBN: 9789027706560 / Angielski / Twarda / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is intended to serve as an advanced text and reference work on modal logic, a subject of growing importance which has applications to philosophy and linguistics. Although it is based mainly on research which I carried out during the years 1969-1973, it also includes some related results obtained by other workers in the field (see the refer- ences in Part 7). Parts 0, 1 and 2, can be used as the basis of a one year graduate course in modal logic. The material which they contain has been taught in such courses at Stanford since 1970. The remaining parts of the book contain more than...
This book is intended to serve as an advanced text and reference work on modal logic, a subject of growing importance which has applications to philos...
|
cena:
605,23 |
 |
Fuzzy Sets Theory and Applications
ISBN: 9789027722621 / Angielski / Twarda / 403 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Problems in decision making and in other areas such as pattern recogni- tion, control, structural engineering etc. involve numerous aspects of uncertainty. Additional vagueness is introduced as models become more complex but not necessarily more meaningful by the added details. During the last two decades one has become more and more aware of the fact that not all this uncertainty is of stochastic (random) cha- racter and that, therefore, it can not be modelled appropriately by probability theory. This becomes the more obvious the more we want to represent formally human knowledge. As far as...
Problems in decision making and in other areas such as pattern recogni- tion, control, structural engineering etc. involve numerous aspects of uncerta...
|
cena:
605,23 |
 |
Fuzzy Sets, Decision Making, and Expert Systems
ISBN: 9780898381498 / Angielski / Twarda / 336 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In the two decades since its inception by L. Zadeh, the theory of fuzzy sets has matured into a wide-ranging collection of concepts, models, and tech niques for dealing with complex phenomena which do not lend themselves to analysis by classical methods based on probability theory and bivalent logic. Nevertheless, a question which is frequently raised by the skeptics is: Are there, in fact, any significant problem areas in which the use of the theory of fuzzy sets leads to results which could not be obtained by classical methods? The approximately 5000 publications in this area, which are...
In the two decades since its inception by L. Zadeh, the theory of fuzzy sets has matured into a wide-ranging collection of concepts, models, and tech ...
|
cena:
605,23 |
 |
Beyond Two: Theory and Applications of Multiple-Valued Logic
ISBN: 9783790815412 / Angielski / Twarda / 374 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume represents the state of the art for much current research in many-valued logics. Primary researchers in the field are among the authors. Major methodological issues of many-valued logics are treated, as well as applications of many-valued logics to reasoning with fuzzy information. Areas covered include: Algebras of multiple valued logics and their applications, proof theory and automated deduction in multiple valued logics, fuzzy logics and their applications, and multiple valued logics for control theory and rational belief.
This volume represents the state of the art for much current research in many-valued logics. Primary researchers in the field are among the authors. M...
|
cena:
605,23 |
 |
Micai 2008: Advances in Artificial Intelligence: 7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, Octobe
ISBN: 9783540886358 / Angielski / Miękka / 1062 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Mexican International Conference on Artificial Intelligence (MICAI), a yearly international conference series organized by the Mexican Society for Artificial Intel- gence (SMIA), is a major international AI forum and the main event in the academic life of the country's growing AI community. In 2008 Mexico celebrates the 50th an- versary of development of computer science in the country: in 1958 the first computer was installed at the National Autonomous University of Mexico (UNAM). Nowadays, computer science is the country's fastest growing research area. The proceedings of the previous...
The Mexican International Conference on Artificial Intelligence (MICAI), a yearly international conference series organized by the Mexican Society for...
|
cena:
605,23 |
 |
Towards Mathematical Philosophy: Papers from the Studia Logica Conference Trends in Logic IV
ISBN: 9781402090837 / Angielski / Twarda / 344 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. area and in applications to linguistics, formal epistemology, and the study of norms. The second contains papers on non-classical and many-valued logics, with an eye on applications in computer science and through it to engineering. The third concerns the logic of belief management, whichis likewise closely connected with recent work in computer science but also links directly with epistemology, the philosophy of science, the study of legal and other normative systems, and cognitive science. The grouping is of course rough, for there are contributions to the volume that lie astride a...
area and in applications to linguistics, formal epistemology, and the study of norms. The second contains papers on non-classical and many-valued logi...
|
cena:
605,23 |
 |
Games: Unifying Logic, Language, and Philosophy
ISBN: 9781402093739 / Angielski / Twarda / 378 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. OndrejMajer, Ahti-VeikkoPietarinen, andTeroTulenheimo 1 Games and logic in philosophy Recent years have witnessed a growing interest in the unifying methodo- gies over what have been perceived as pretty disparate logical systems, or else merely an assortment of formal and mathematical approaches to phi- sophical inquiry. This development has largely been fueled by an increasing dissatisfaction to what has earlier been taken to be a straightforward outcome of logical pluralism or methodological diversity . These phrases appear to re ect the everyday chaos of our academic pursuits rather than...
OndrejMajer, Ahti-VeikkoPietarinen, andTeroTulenheimo 1 Games and logic in philosophy Recent years have witnessed a growing interest in the unifying m...
|
cena:
605,23 |
 |
Advances in Machine Learning and Cybernetics: 4th International Conference, ICMLC 2005, Guangzhou, China, August 18-21, 2005, Revised Selected Papers
ISBN: 9783540335849 / Angielski / Miękka / 1110 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Machine learning and cybernetics play an important role in many modern electronic, computer and communications systems. Automated processing of information by these systems requires intelligent analysis of various types of data and optimal decision making. In recent years, we have witnessed a rapid expansion of research and development activities in machine learning and cybernetics. To provide opportunities for researchers in these areas to share their ideas and foster collaborations, the International Conference on Machines and Cybernetics (ICMLC) has been held annually since 2002. The...
Machine learning and cybernetics play an important role in many modern electronic, computer and communications systems. Automated processing of inform...
|
cena:
605,23 |
 |
Fuzzy Logic and Intelligent Systems
ISBN: 9780792395751 / Angielski / Twarda / 450 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. One of the attractions of fuzzy logic is its utility in solving many real engineering problems. As many have realised, the major obstacles in building a real intelligent machine involve dealing with random disturbances, processing large amounts of imprecise data, interacting with a dynamically changing environment, and coping with uncertainty. Neural-fuzzy techniques help one to solve many of these problems.
Fuzzy Logic and Intelligent Systems reflects the most recent developments in neural networks and fuzzy logic, and their application in intelligent systems. In addition, the... One of the attractions of fuzzy logic is its utility in solving many real engineering problems. As many have realised, the major obstacles in building...
|
cena:
605,23 |
 |
Automated Model Building
ISBN: 9781402026522 / Angielski / Twarda / 341 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. On the history of the book: In the early 1990s several new methods and perspectives in au- mated deduction emerged. We just mention the superposition calculus, meta-term inference and schematization, deductive decision procedures, and automated model building. It was this last ?eld which brought the authors of this book together. In 1994 they met at the Conference on Automated Deduction (CADE-12) in Nancy and agreed upon the general point of view, that semantics and, in particular, construction of models should play a central role in the ?eld of automated deduction. In the following years the...
On the history of the book: In the early 1990s several new methods and perspectives in au- mated deduction emerged. We just mention the superposition ...
|
cena:
605,23 |
 |
Argumentation in Artificial Intelligence
ISBN: 9780387981963 / Angielski / Twarda / 493 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Argumentation is all around us. Letters to the Editor often make points of cons- tency, and Why is one of the most frequent questions in language, asking for r- sons behind behaviour. And argumentation is more than reasoning in the recesses of single minds, since it crucially involves interaction. It cements the coordinated social behaviour that has allowed us, in small bands of not particularly physically impressive primates, to dominate the planet, from the mammoth hunt all the way up to organized science. This volume puts argumentation on the map in the eld of Arti cial Intelligence. This...
Argumentation is all around us. Letters to the Editor often make points of cons- tency, and Why is one of the most frequent questions in language, ask...
|
cena:
605,23 |
 |
Emerging Intelligent Computing Technology and Applications: 5th International Conference on Intelligent Computing, ICIC 2009 Ulsan, South Korea, Septe
ISBN: 9783642040696 / Angielski / Miękka / 1134 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum dedicated to the emerging and challenging topics in artificial intelligence, machine learning, bioinformatics, and computational biology, etc. It aims to bring - gether researchers and practitioners from both academia and industry to share ideas, problems, and solutions related to the multifaceted aspects of intelligent computing. ICIC 2009, held in Ulsan, Korea, September 16-19, 2009, constituted the 5th - ternational Conference on Intelligent Computing. It built upon the success of ICIC 2008,...
The International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum dedicated to the emerging and challenging topics in...
|
cena:
605,23 |
 |
Emerging Intelligent Computing Technology and Applications. With Aspects of Artificial Intelligence: 5th International Conference on Intelligent Computing, ICIC 2009 Ulsan, South Korea, September 16-1
ISBN: 9783642040191 / Angielski / Miękka / 1120 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum dedicated to the emerging and challenging topics in artificial intelligence, machine learning, bioinformatics, and computational biology, etc. It aims to bring - gether researchers and practitioners from both academia and industry to share ideas, problems, and solutions related to the multifaceted aspects of intelligent computing. ICIC 2009, held in Ulsan, Korea, September 16-19, 2009, constituted the 5th - ternational Conference on Intelligent Computing. It built upon the success of ICIC 2008,...
The International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum dedicated to the emerging and challenging topics in...
|
cena:
605,23 |
 |
Algorithms and Computation: 20th International Symposium, Isaac 2009, Honolulu, Hawaii, Usa, December 16-18, 2009. Proceedings
ISBN: 9783642106309 / Angielski / Miękka / 1228 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 20th International Symposium on Algorithms and Computation, ISAAC 2009, held in Honolulu, Hawaii, USA in December 2009. The 120 revised full papers presented were carefully reviewed and selected from 279 submissions for inclusion in the book. This volume contains topics such as algorithms and data structures, approximation algorithms, combinatorial optimization, computational biology, computational complexity, computational geometry, cryptography, experimental algorithm methodologies, graph drawing and graph algorithms, internet...
This book constitutes the refereed proceedings of the 20th International Symposium on Algorithms and Computation, ISAAC 2009, held in Honolulu, Hawaii...
|
cena:
605,23 |
 |
Fuzzy Set Theory and Advanced Mathematical Applications
ISBN: 9780792395867 / Angielski / Twarda / 324 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Fuzzy Set Theory and Advanced Mathematical Applications contains contributions by many of the leading experts in the field, including coverage of the mathematical foundations of the theory, decision making and systems science, and recent developments in fuzzy neural control. The book supplies a readable, practical toolkit with a clear introduction to fuzzy set theory and its evolution in mathematics and new results on foundations of fuzzy set theory, decision making and systems science, and fuzzy control and neural systems. Each chapter is self-contained, providing up-to-date...
Fuzzy Set Theory and Advanced Mathematical Applications contains contributions by many of the leading experts in the field, including coverag...
|
cena:
605,23 |
 |
Computational Logic
ISBN: 9783642636707 / Angielski / Miękka / 448 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously. This book provides an excellent introduction to the interplay of mathematical logic and computer science. It contains extensively reworked versions of the lectures given at the 1997 Marktoberdorf Summer School by leading researchers in the field.
Topics covered include: proof theory and specification of... Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from ma...
|
cena:
605,23 |
 |
Specification and Verification of Multi-Agent Systems
ISBN: 9781441969835 / Angielski / Twarda / 405 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems with a special focus on verification of multi-agent programs. This edited volume includes contributions from international leading researchers in the area, addressing logical formalisms and techniques, such as model checking, theorem proving, and axiomatisations for (semi) automatic verification of agent-based systems. Chapters include: -Using Theorem Proving to Verify Properties of Agent Programs -The Refinement of... Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-b... |
cena:
605,23 |
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
