» książki » Mathematics - Logic
topmenu
 |
Logic in Databases: International Workshop Lid '96, San Miniato, Italy, July 1 - 2, 1996. Proceedings
ISBN: 9783540618140 / Angielski / Miękka / 505 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the strictly refereed post-workshop proceedings of the International Workshop on Logic in Databases, LID'96, held in San Miniato, Italy, in July 1996, as the final meeting of an EC-US cooperative activity.
The volume presents 21 revised full papers selected from 49 submissions as well as 3 invited contributions and a summary of a panel discussion on deductive databases: challenges, opportunities and future directions. The retrospective survey on logic and databases by Jack Minker deserves a special mention: it is a 56-page overview and lists 357 references. The papers... This book constitutes the strictly refereed post-workshop proceedings of the International Workshop on Logic in Databases, LID'96, held in San Miniato...
|
cena:
201,24 |
 |
Computational Intelligence. Theory and Applications: International Conference, 5th Fuzzy Days, Dortmund, Germany, April 28-30, 1997 Proceedings
ISBN: 9783540628682 / Angielski / Miękka / 609 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the International Conference on Computational Intelligence held in Dortmund, Germany, as the 5th Fuzzy Days, in April 1997.
Besides three invited contributions, the book presents 53 revised full papers selected from a total of 130 submissions. Also included are 35 posters documenting a broad scope of applications of computational intelligence techniques in a variety of areas. The volume addresses all current issues in computational intelligence, e.g. fuzzy logic, fuzzy control, neural networks, evolutionary algorithms, genetic programming,... This book constitutes the refereed proceedings of the International Conference on Computational Intelligence held in Dortmund, Germany, as the 5th Fuz...
|
cena:
402,53 |
 |
Foundations of Inductive Logic Programming
ISBN: 9783540629276 / Angielski / Miękka / 410 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Inductive Logic Programming is a young and rapidly growing field combining machine learning and logic programming. This self-contained tutorial is the first theoretical introduction to ILP; it provides the reader with a rigorous and sufficiently broad basis for future research in the area.
In the first part, a thorough treatment of first-order logic, resolution-based theorem proving, and logic programming is given. The second part introduces the main concepts of ILP and systematically develops the most important results on model inference, inverse resolution, unfolding, refinement... Inductive Logic Programming is a young and rapidly growing field combining machine learning and logic programming. This self-contained tutorial is the...
|
cena:
301,89 |
 |
Computer Science Logic: 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers
ISBN: 9783540645702 / Angielski / Miękka / 520 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as the 1997 Annual Conference of the European Association on Computer Science Logic, EACSL, in Aarhus, Denmark, in August 1997.
The volume presents 26 revised full papers selected after two rounds of refereeing from initially 92 submissions; also included are four invited papers. The book addresses all current aspects of computer science logics and its applications and thus presents the state of the art in the area. This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as t...
|
cena:
201,24 |
 |
Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
ISBN: 9783540221647 / Angielski / Miękka / 412 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These proceedings contain a selection of refereed papers presented at or related to the 3rd Annual Workshop of the Types Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001), which was held d- ing April 30 to May 4, 2003, in Villa Gualino, Turin, Italy. The workshop was attended by about 100 researchers. Out of 37 submitted papers, 25 were selected after a refereeing process. The ?nal choices were made by the editors. Two previous workshops of the Types Working Group under EU IST project 29001 were held in 2000 in Durham, UK, and in 2002 in Berg en Dal (close...
These proceedings contain a selection of refereed papers presented at or related to the 3rd Annual Workshop of the Types Working Group (Computer-Assis...
|
cena:
201,24 |
 |
Logic Program Synthesis and Transformation: 6th International Workshop, Lopstr'96, Stockholm, Sweden, August 28-30, 1996, Proceedings
ISBN: 9783540627180 / Angielski / Miękka / 331 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996.
The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development. This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformatio...
|
cena:
201,24 |
 |
Gamma-Lines: On the Geometry of Real and Complex Functions
ISBN: 9780415269698 / Angielski / Twarda / 192 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The history of mathematics is, to a considerable extent, connected with the study of solutions of the equation f(x)=a=const for functions f(x) of one real or complex variable. Therefore, it is surprising that we know very little about solutions of u(x, y)=A=const for functions of two real variables. These two solutions, called level of sets, are very important with regard to applications in physics, biology and economics as they make a map of appropriate processes described by the function u(x, y) for given parameters (x, y). This text explores a concept, Gamma-lines, which generalizes the...
The history of mathematics is, to a considerable extent, connected with the study of solutions of the equation f(x)=a=const for functions f(x) of one ...
|
cena:
563,24 |
 |
Modal Logic: An Introduction to Its Syntax and Semantics
ISBN: 9780195366570 / Angielski / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In this text, a variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophical insight. All of the S1-S5 modal logics of Lewis and Langford, among others, are constructed. A matrix, or many-valued semantics, for sentential modal logic is formalized, and an important result that no finite matrix can characterize any of the standard modal logics is proven. Exercises, some of which show independence results, help to develop logical skills. A separate sentential modal logic of logical necessity in logical atomism is also...
In this text, a variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophica...
|
cena:
261,50 |
 |
The Core Model
ISBN: 9780521285308 / Angielski / Miękka / 268 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The core model, K, is a generalization of Godel's constructible universe of set theory; K is used to produce 'fine structural' results of a less restrictive kind. This book aims to introduce the core model to those with a basic knowledge of axiomatic set theory. The covering lemma for K is the main technical result but other applications are also considered. The author gives a full exposition of general fine structure and of iterated ultrapowers and concludes the work with a short section on the difficulties encountered in constructing more general core models using 'extenders'."
The core model, K, is a generalization of Godel's constructible universe of set theory; K is used to produce 'fine structural' results of a less restr...
|
cena:
343,93 |
 |
Sheaf Theory
ISBN: 9780521207843 / Angielski / Miękka / 176 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Sheaf theory provides a means of discussing many different kinds of geometric objects in respect of the connection between their local and global properties.
Sheaf theory provides a means of discussing many different kinds of geometric objects in respect of the connection between their local and global prop...
|
cena:
385,19 |
 |
AI*IA 2003: Advances in Artificial Intelligence: 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003, Proceedings
ISBN: 9783540201199 / Angielski / Miękka / 558 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 8th Congress of the Italian Association for Artificial Intelligence, AI*IA 2003, held in Pisa, Italy in September 2003. The 44 revised full papers presented were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on knowledge representation and reasoning, soft computing, machine learning, data mining, intelligent agents, planning, robotics, natural language processing, and applications in various fields. This book constitutes the refereed proceedings of the 8th Congress of the Italian Association for Artificial Intelligence, AI*IA 2003, held in Pisa... |
cena:
201,24 |
 |
Conceptual Structures at Work: 12th International Conference on Conceptual Structures, Iccs 2004, Huntsville, Al, Usa, July 19-23, 2004, Proceedings
ISBN: 9783540223924 / Angielski / Miękka / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains selected papers presented at the 12th International C- ference on Conceptual Structures, ICCS 2004, held in Huntsville Alabama, July 19-23, 2004. The main theme of the conference, "Conceptual Structures at Work," was chosen to express our intention of applying conceptual structures for hum- centered practical purposes. That invites us to develop not only clear conceptual theories, butalsomethodstosupporthumansintheapplicationofthesetheories in their societies. Some promising steps in this direction are being taken, but the gap between the researchers working on a highly...
This volume contains selected papers presented at the 12th International C- ference on Conceptual Structures, ICCS 2004, held in Huntsville Alabama, J...
|
cena:
201,24 |
 |
Computational Logic in Multi-Agent Systems: 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers
ISBN: 9783540280606 / Angielski / Miękka / 284 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, while at the same time sign- cantly gaining from decades of research in computational logic. Computational logic provides a well-de?ned, general, and rigorous framework for studying s- tax, semantics and procedures, for implementations, environments, tools, and standards, facilitating the ever important link between speci?cation and ver- cation of computational systems. The purpose of the Computational Logic in Multi-agent Systems (CLIMA) international workshop series...
The notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, while at the same time ...
|
cena:
201,24 |
 |
Algebraic Methodology and Software Technology: 11th International Conference, Amast 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings
ISBN: 9783540356332 / Angielski / Miękka / 392 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. The ?rst conference was held in the USA in 1989, and since then AMAST conferences have been held on (or near) ?ve di?erent continents and have been hosted by many of the most prominent people and organizations in the ?eld. The AMAST initiative has always sought to have practical e?ects by dev- oping the science of software and basing it on a ?rm mathematical foundation. AMAST hasinterpretedsoftwaretechnologybroadly, andhas, for example, held AMAST workshops in areas as...
This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. The ?rst conference was he...
|
cena:
201,24 |
 |
Conditionals in Nonmonotonic Reasoning and Belief Revision: Considering Conditionals as Agents
ISBN: 9783540423676 / Angielski / Miękka / 194 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Conditionals are omnipresent, in everyday life as well as in scientific environments; they represent generic knowledge acquired inductively or learned from books. They tie a flexible and highly interrelated network of connections along which reasoning is possible and which can be applied to different situations. Therefore, conditionals are important, but also quite problematic objects in knowledge representation.
This book presents a new approach to conditionals which captures their dynamic, non-proportional nature particularly well by considering conditionals as agents shifting possible... Conditionals are omnipresent, in everyday life as well as in scientific environments; they represent generic knowledge acquired inductively or learned...
|
cena:
201,24 |
 |
Non-Standard Inferences in Description Logics: From Foundations and Definitions to Algorithms and Analysis
ISBN: 9783540423973 / Angielski / Miękka / 254 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Description logics (DLs) are used to represent structured knowledge. Inference services testing consistency of knowledge bases and computing subconcept/superconcept hierarchies are the main feature of DL systems. Intensive research during the last fifteen years has led to highly optimized systems that allow to reason about knowledge bases efficiently. However, applications often require additional non-standard inferences to support both the construction and the maintenance of knowledge bases, thus making the inference procedures again incomplete.
This book, which is a revised version of... Description logics (DLs) are used to represent structured knowledge. Inference services testing consistency of knowledge bases and computing subconcep...
|
cena:
201,24 |
 |
Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
ISBN: 9783540427520 / Angielski / Miękka / 246 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. The - ductive apparatus provided by proof theory has proved useful for metatheoretical purposes as well as for practical applications. Thus it seemed to us most natural to bring researchers together to assess both the role proof theory already plays in computer science and the role it might play in the future. The form of a Dagstuhl seminar is most suitable for purposes like this, as Schloss Dagstuhl provides a very convenient and stimulating...
Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. ...
|
cena:
201,24 |
 |
Automata Implementation: 4th International Workshop on Implementing Automata, Wia'99 Potsdam, Germany, July 17-19, 2001 Revised Papers
ISBN: 9783540428121 / Angielski / Miękka / 189 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Implementing Automata, WIA'99, held in Potsdam, Germany, in July 1999. The 16 revised full papers presented were carefully selected and improved during two rounds of reviewing and revision. The papers are devoted to issues of implementing automata of various types important for areas such as parsing, finite languages, computational linguistics, speech recognition, image and signal processing, and systems analysis.
This text constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Implementing Automata, WIA'99, held in Potsdam, Ge...
|
cena:
201,24 |
 |
Rewriting Techniques and Applications: 13th International Conference, Rta 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings
ISBN: 9783540439165 / Angielski / Miękka / 392 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These are the the refereed proceedings of the 13th International Conference on Rewriting Techniques and Applications, RTA 2002, held in Copenhagen, Denmark, in July 2002. The 20 regular papers, two application papers, and four system descriptions presented together with three invited contributions were carefully reviewed and selected from 49 submissions. All current aspects of rewriting are addressed.
These are the the refereed proceedings of the 13th International Conference on Rewriting Techniques and Applications, RTA 2002, held in Copenhagen, De...
|
cena:
201,24 |
 |
Logic-Based Program Synthesis and Transformation: 9th International Workshop, Lopstr'99, Venice, Italy, September 22-24, 1999 Selected Papers
ISBN: 9783540676287 / Angielski / Miękka / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the ninth international workshop on logic-based program synthesis and transformation (LOPSTR 99) which was held in Venice (Italy), September 22-24, 1999. LOPSTRistheannualworkshopandforumforresearchersinthelogic-based program development stream of computational logic. The main focus used to be on synthesis and transformation of logic programs, but the workshop is open to contributions on logic-based program development in any paradigm. Previous workshops were held in Manchester, UK (1991, 1992), Louvain-la-Neuve, B- gium (1993), Pisa, Italy (1994),...
This volume contains the proceedings of the ninth international workshop on logic-based program synthesis and transformation (LOPSTR 99) which was hel...
|
cena:
201,24 |
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
