» książki » Mathematics - Logic
topmenu
 |
Theory Reasoning in Connection Calculi
ISBN: 9783540655091 / Angielski / Miękka / 290 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The ability to draw inferences is a central operation in any artificial intelligence system. Automated reasoning is therefore among the traditional disciplines in AI. Theory reasoning is about techniques for combining automated reasoning systems with specialized and efficient modules for handling domain knowledge called background reasoners.
Connection methods have proved to be a good choice for implementing high-speed automated reasoning systems. They are the starting point in this monograph, in which several theory reasoning versions are defined and related to each other. A major... The ability to draw inferences is a central operation in any artificial intelligence system. Automated reasoning is therefore among the traditional di...
|
cena:
201,24 |
 |
Machine Learning: Ecml 2002: 13th European Conference on Machine Learning, Helsinki, Finland, August 19-23, 2002. Proceedings
ISBN: 9783540440369 / Angielski / Miękka / 538 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed preceedings of the 13th European Conference on Machine Learning, ECML 2002, held in Helsinki, Finland in August 2002.
The 41 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. Among the topics covered are computational discovery, search strategies, Classification, support vector machines, kernel methods, rule induction, linear learning, decision tree learning, boosting, collaborative learning, statistical learning, clustering, instance-based learning, reinforcement learning,... This book constitutes the refereed preceedings of the 13th European Conference on Machine Learning, ECML 2002, held in Helsinki, Finland in August 200...
|
cena:
201,24 |
 |
Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings
ISBN: 9783540521488 / Angielski / Miękka / 384 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of finite state systems. The workshop brought together researchers and practitioners interested in the development and use of methods, tools and theories for automatic verification of finite state systems. The goal at the workshop was to compare verification methods and tools to assist the applications designer. The papers in this volume review verification techniques for finite state systems and evaluate their relative advantages. The techniques...
This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of ...
|
cena:
201,24 |
 |
Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings
ISBN: 9783540544777 / Angielski / Miękka / 378 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the second workshop on Computer Aided Verification, held at Rutgers University, USA. It features theoretical results that lead to new or more powerful verification methods. Among these are advances in the use of binary decision diagrams, dense time, reductions based upon partial order representations and proof-checking in controller verification. The motivation for holding a workshop on computer aided verification was to bring together work on effective algorithms or methodologies for formal verification, as distinguished from attributes of logics or...
This volume contains the proceedings of the second workshop on Computer Aided Verification, held at Rutgers University, USA. It features theoretical r...
|
cena:
201,24 |
 |
Text Understanding in LILOG: Integrating Computational Linguistics and Artificial Intelligence. Final Report on the IBM Germany LILOG-Project
ISBN: 9783540545941 / Angielski / Miękka / 744 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The IBM project LILOG presented in this volume represents a fundamental stepbeyond computer science as hitherto understood. It was a successful project in every respect and has shed light on conjectured basic interrelations between knowledge processing and language definition. Knowledge processing is strongly coupled to the natural language used, and for applied knowledge processing an information base is neededwhich defines the semantic contents and interrelations of the language. The LILOG project was an implementation of an information basein the German language. A set of tools was also...
The IBM project LILOG presented in this volume represents a fundamental stepbeyond computer science as hitherto understood. It was a successful projec...
|
cena:
201,24 |
 |
Theory of Computing and Systems: Istcs '92, Israel Symposium, Haifa, Israel, May 27-28, 1992. Proceedings
ISBN: 9783540555537 / Angielski / Miękka / 224 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ISTCS '92 the Israel Symposium on the Theory of Computing and Systems, came about spontaneously as a result of informal interaction between a group of people who viewed the conference as an appropriate expression of Israeli strength in theoretical aspects of computing and systems. the enthusiasm that the symposium created resulted in the submission of a large number of extremely high quality papers, which led in turn to strict acceptance criteria. This volume contains 19 selected papers representing the cream of Israeli talent in the field, on a variety of active and interesting topics in the...
ISTCS '92 the Israel Symposium on the Theory of Computing and Systems, came about spontaneously as a result of informal interaction between a group of...
|
cena:
201,24 |
 |
Logics in AI: European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings
ISBN: 9783540558873 / Angielski / Miękka / 412 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of JELIA '92, lesJourn es Europ ennes sur la Logique en IntelligenceArtificielle, or the Third European Workshop on Logics inArtificial Intelligence.The volume contains 2 invited addresses and 21 selectedpapers covering such topics as: - Logical foundations of logic programming andknowledge-based systems, - Automated theorem proving, - Partial and dynamic logics, - Systems of nonmonotonic reasoning, - Temporal and epistemic logics, - Belief revision.One invited paper, by D. Vakarelov, is on arrow logics, i.e., modal logics for representing graph...
This volume contains the proceedings of JELIA '92, lesJourn es Europ ennes sur la Logique en IntelligenceArtificielle, or the Third European Workshop ...
|
cena:
201,24 |
 |
Graph-Theoretic Concepts in Computer Science: 18th International Workshop, Wg '92, Wiesbaden-Naurod, Germany, June 18-20, 1992. Proceedings
ISBN: 9783540564027 / Angielski / Miękka / 355 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 18th International Workshop on Graph-Theoretic Concepts in Computer Science (WG '92) was held in Wiesbaden-Naurod, Germany, June 18-20, 1992. Itwas organized by the Department of Computer Science, Johann Wolfgang Goethe University, Frankfurt am Main. Contributions with original results inthe study and application of graph-theoretic concepts in various fields of computer science were solicited, and 72 papers were submitted and reviewed, from which 29 were selected for presentation at the workshop. The workshop was attended by 61 scientists from 16 countries. All 29 papers in the volume...
The 18th International Workshop on Graph-Theoretic Concepts in Computer Science (WG '92) was held in Wiesbaden-Naurod, Germany, June 18-20, 1992. Itwa...
|
cena:
201,24 |
 |
Stacs 93: 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings
ISBN: 9783540565031 / Angielski / Miękka / 730 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the tenth annual Symposium on Theoretical Aspects of Computer Science (STACS '93), held in W}rzburg, February 25-27, 1993. The STACS symposia are held alternately in Germany and France, and organized jointly by the Special Interest Group for Theoretical Computer Science of the Gesellschaft f}r Informatik (GI) and theSpecial Interest Group for Applied Mathematics of the Association Francaise des Sciences et Technologies de l'Information et des Syst mes (afcet). The volume includes the three invited talks which opened the three days of the symposium:...
This volume contains the proceedings of the tenth annual Symposium on Theoretical Aspects of Computer Science (STACS '93), held in W}rzburg, February ...
|
cena:
402,53 |
 |
Computer Aided Verification: 7th International Conference, Cav '95, Liege, Belgium, July 3 - 5, 1995. Proceedings
ISBN: 9783540600459 / Angielski / Miękka / 456 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the proceedings of the 7th International Conference on Computer Aided Verification, CAV '95, held in Liege, Belgium in July 1995.
The book contains the 31 refereed full research papers selected for presentation at CAV '95 as well as abstracts or full papers of the three invited presentations. Originally oriented towards finite-state concurrent systems, CAV now covers all styles of verification approaches and a variety of application areas. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and the... This volume constitutes the proceedings of the 7th International Conference on Computer Aided Verification, CAV '95, held in Liege, Belgium in July 19...
|
cena:
201,24 |
 |
David Hilbert's Lectures on the Foundations of Geometry 1891-1902
ISBN: 9783540643739 / Angielski / Twarda / 661 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains six sets of notes for lectures on the foundations of geometry held by Hilbert in the period 1891-1902. It also reprints the first edition of Hilbert's celebrated Grundlagen der Geometrie of 1899, together with the important additions which appeared first in the French translation of 1900. The lectures document the emergence of a new approach to foundational study (the 'axiomatic method'), which concentrates on assessing the logical weight of central propositions by exploiting to the full the method of independence proofs by modelling. This culminates in the... This volume contains six sets of notes for lectures on the foundations of geometry held by Hilbert in the period 1891-1902. It also reprints the fi... |
cena:
603,81 |
 |
Computational Logic
ISBN: 9783540645894 / Angielski / Twarda / 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:
603,81 |
 |
Foundations of Decision-Making Agents: Logic, Probability and Modality
ISBN: 9789812779830 / Angielski / Twarda / 384 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Intelligent agent is an artificial intelligence system, explains Das, and an epistemic state is an actual or possible cognitive state that drives human behavior at any given moment, and must be simulated by an intelligent agent for it to simulate human behavior. He describes three broad and fundamental approaches--logical, probabilistic, and modal--to representing and reasoning in the context of decision making. His study could be used as a textbook in a graduate or undergraduate course on artificial intelligence, or as a reference for researchers.
Intelligent agent is an artificial intelligence system, explains Das, and an epistemic state is an actual or possible cognitive state that drives huma...
|
cena:
602,42 |
 |
AI 2007: Advances in Artificial Intelligence
ISBN: 9783540769262 / Angielski / Miękka / 868 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented at AI 2007: The 20th Australian Joint Conference on Arti?cial Intelligence held during December 2-6, 2007 on the Gold Coast, Queensland, Australia. AI 2007 attracted 194 submissions (full papers) from 34 countries. The review process was held in two stages. In the ?rst stage, the submissions were assessed for their relevance and readability by the Senior Program Committee members. Those submissions that passed the ?rst stage were then reviewed by at least three Program Committee members and independent reviewers. After extensive disc- sions, the...
This volume contains the papers presented at AI 2007: The 20th Australian Joint Conference on Arti?cial Intelligence held during December 2-6, 2007 on...
|
cena:
402,53 |
 |
Deduction, Computation, Experiment: Exploring the Effectiveness of Proof
ISBN: 9788847007833 / Angielski / Miękka / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is located in a cross-disciplinary ?eld bringing together mat- matics, logic, natural science and philosophy. Re?ection on the e?ectiveness of proof brings out a number of questions that have always been latent in the informal understanding of the subject. What makes a symbolic constr- tion signi?cant? What makes an assumption reasonable? What makes a proof reliable? G] odel, Church and Turing, in di?erent ways, achieve a deep und- standing of the notion of e?ective calculability involved in the nature of proof. Turing s work in particular provides a precise and unquestionably...
This volume is located in a cross-disciplinary ?eld bringing together mat- matics, logic, natural science and philosophy. Re?ection on the e?ectivenes...
|
cena:
402,53 |
 |
Information and Knowledge: A Constructive Type-Theoretical Approach
ISBN: 9781402061691 / Angielski / Twarda / 208 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This research is the result of a fruitful connection and provides a sign- cant link between two topics of a logical and philosophical enquiry. It tries to provide a solution to the problem of analyticity: with this expression I understand, on the one hand, the essential nature of analytic truths and, on the other, the related explanation of the analytic nature of logical inference. The connection between these two sides of what will be referred to as the Analyticity Principle, can be brie?y explained as follows: by analytic truth one understands in general a sentence whose content is...
This research is the result of a fruitful connection and provides a sign- cant link between two topics of a logical and philosophical enquiry. It trie...
|
cena:
684,33 |
 |
Computational Learning Theory: Third European Conference, Eurocolt '97, Jerusalem, Israel, March 17 - 19, 1997, Proceedings
ISBN: 9783540626855 / Angielski / Miękka / 338 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Third European Conference on Computational Learning Theory, EuroCOLT'97, held in Jerusalem, Israel, in March 1997.
The book presents 25 revised full papers carefully selected from a total of 36 high-quality submissions. The volume spans the whole spectrum of computational learning theory, with a certain emphasis on mathematical models of machine learning. Among the topics addressed are machine learning, neural nets, statistics, inductive inference, computational complexity, information theory, and theoretical physics. This book constitutes the refereed proceedings of the Third European Conference on Computational Learning Theory, EuroCOLT'97, held in Jerusalem, Isra...
|
cena:
201,24 |
 |
Conceptual Structures: Standards and Practices: 7th International Conference on Conceptual Structures, ICCS'99, Blacksburg, VA, USA, July 12-15, 1999, Proceedings
ISBN: 9783540662235 / Angielski / Miękka / 524 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 7th International Conference on Conceptual Structures, ICCS'99, held in Blacksburg, Virginia, USA in July 1999.
The 34 revised full papers presented were carefully reviewed and selected for inclusion in the book. Also included is a 65 page proposed draft standard for conceptual graphs. The papers are organized in sections on conceptual graph modeling; natural language; applications; SISYPHUS-I, contexts, logics and conceptual graphs; and position papers. This book constitutes the refereed proceedings of the 7th International Conference on Conceptual Structures, ICCS'99, held in Blacksburg, Virginia, US...
|
cena:
201,24 |
 |
Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings
ISBN: 9783540666721 / Angielski / Miękka / 292 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Second International Workshop on Automated Deduction in Geometry (ADG '98) was held in Beijing, China, August 1-3, 1998. An increase of interest in ADG '98 over the previous workshop ADG '96 is represented by the notable number of more than 40 participants from ten countries and the strong tech- cal program of 25 presentations, of which two one-hour invited talks were given by Professors Wen-tsun ] Wu and Jing-Zhong Zhang. The workshop provided the participants with a well-focused forum for e?ective exchange of new ideas and timely report of research progress. Insight surveys, algorithmic...
The Second International Workshop on Automated Deduction in Geometry (ADG '98) was held in Beijing, China, August 1-3, 1998. An increase of interest i...
|
cena:
201,24 |
 |
Understanding the Infinite
ISBN: 9780674921177 / Angielski / Miękka / 376 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. How can the infinite, a subject so remote from our finite experience, be an everyday tool for the working of a mathematician? Blending history, philosophy, mathematics, and logic, the author seeks to answers this question. Making use of the mathematical work of Jan Mycielski, he demonstrates that knowledge of the infinite is possible, even according to strict standards that require some intuitive basis for knowledge.
How can the infinite, a subject so remote from our finite experience, be an everyday tool for the working of a mathematician? Blending history, philos...
|
cena:
185,34 |
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
