Neural approaches have traditionally excelled at perceptual tasks like pattern recognition, whereas symbolic frameworks have offered powerful methods for knowledge representation, logical inference, and interpretability, but the current AI landscape...Lasīt vairāk
If only it were possible to develop automated and trainable neural systems that could justify their behavior in a way that could be interpreted by humans like a symbolic system. The field of Neurosymbolic AI aims to combine two disparate approaches t...Lasīt vairāk
Presenting first-order and propositional methods as well as implementation issues, this book provides a state-of-the-art introduction to the automation of logic. It focuses on superposition calculus and related rewriting techniques. It also covers...Lasīt vairāk
(Izdošanas datums: 26-Oct-2018, Paperback / softback, Izdevniecība: John Wiley & Sons Inc, ISBN-13: 9781118798690)
An essential guide to using Maxima, a popular open source symbolic mathematics engine to solve problems, build models, analyze data and explore fundamental conceptsSymbolic Mathematics for Chemists offers students of chemistry...Lasīt vairāk
(Izdošanas datums: 23-Oct-2014, Paperback / softback, Izdevniecība: Morgan Kaufmann Publishers In, ISBN-13: 9780128014165)
To endow computers with common sense is one of the major long-term goals of artificial intelligence research. One approach to this problem is to formalize commonsense reasoning using mathematical logic.Commonsense Reasoning: An Event Calculus B...Lasīt vairāk
Sērija : Nonconvex Optimization and Its Applications
(Izdošanas datums: 09-Jan-2014, Paperback / softback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781461374244)
An understanding of emergent computation requires a profound revision of the most fundamental ideas. A noticeable attempt of such a rethinking is a world view in which natural systems are seen not as separate entities but as integrated parts of a...Lasīt vairāk
Mountaineers use pitons to protect themselves from falls. The lead climber wears a harness to which a rope is tied. As the climber ascends, the rope is paid out by a partner on the ground. As described thus far, the climber receives no protection fro...Lasīt vairāk
Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert
Sērija : Lecture Notes in Computer Science
(Izdošanas datums: 22-Nov-2011, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642250699)
This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Automated Deduction in Geometry, ADG 2010, held in Munich, Germany in July 2010. The 13 revised full papers presented were carefully s...Lasīt vairāk
Sērija : The Springer International Series in Engineering and Computer Science
(Izdošanas datums: 28-Oct-2012, Paperback / softback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781461355991)
Computer systems that analyze images are critical to a wide variety of applications such as visual inspections systems for various manufacturing processes, remote sensing of the environment from space-borne imaging platforms, and automatic diagnos...Lasīt vairāk
Sērija : The Springer International Series in Engineering and Computer Science
(Izdošanas datums: 08-Oct-2012, Paperback / softback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781461373773)
Mathematical Principles of Fuzzy Logic provides a systematic study of the formal theory of fuzzy logic. The book is based on logical formalism demonstrating that fuzzy logic is a well-developed logical theory. It includes the theory of fu...Lasīt vairāk
(Izdošanas datums: 16-May-2011, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642210457)
This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Automated Deduction in Geometry, ADG 2008, held in Shanghai, China in September 2008. The 11 revised full papers presented were carefully rev...Lasīt vairāk
In case you are considering to adopt this book for courses with over 50 students, please contact ties.nijssenspringer.com for more information. This introduction to mathematical logic starts with propositional cal...Lasīt vairāk
Time is a fascinating subject and has long since captured mankinds imagination, from the ancients to modern man, both adult and child alike. It has been studied across a wide range of disciplines, from the natural sciences to philosophy and logic. T...Lasīt vairāk
James H. Davenport, William M. Farmer, Florian Rabe, Josef Urban
Sērija : Lecture Notes in Artificial Intelligence
(Izdošanas datums: 18-Jul-2011, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642226724)
This book constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011, the 10th International Conference on Mathematical Know...Lasīt vairāk
From the very beginning of their investigation of human reasoning, philosophers have identified two other forms of reasoning, besides deduction, which we now call abduction and induction. Deduction is now fairly well understood, but abduction and...Lasīt vairāk
(Izdošanas datums: 12-Dec-2007, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540773559)
This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2006, held at Pontevedra, Spain, in August/September 2006 as a satellite event of the International Congress of M...Lasīt vairāk
Šī grāmata vairs netiek publicēta. Jums tiks paziņota lietotas grāmatas cena
A July 2007 symposium brought together researchers from many disciplines to present the latest developments and applications of Voronoi diagrams, a type of data structure in computational geometry. Key topics for the symposium were theoretical aspect...Lasīt vairāk
(Izdošanas datums: 09-Mar-2006, Hardback, Izdevniecība: Morgan Kaufmann Publishers In, ISBN-13: 9780123693884)
Šī grāmata vairs netiek publicēta. Jums tiks paziņota lietotas grāmatas cena
To endow computers with common sense is one of the major long-term goals of Artificial Intelligence research. One approach to this problem is to formalize commonsense reasoning using mathematical logic. Commonsense Reasoning is a detailed, high-level...Lasīt vairāk
(Izdošanas datums: 26-Jan-2004, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540208518)
This book is devoted to the 6th International Conference on Theory and - plications of Satis ability Testing (SAT 2003) held in Santa Margherita Ligure (Genoa,Italy), during May5-8,2003. SAT 2003followedthe WorkshopsonS- is ability held in Siena (19...Lasīt vairāk
