40% off Popular Science books & eBooks—Save on general interest titles now!

Studies in Computational Intelligence

AI Aspects in Reasoning, Languages, and Computation

Editors: Grabowski, Adam, Loukanova, Roussanka, Schwarzweller, Christoph (Eds.)

Free Preview
  • Highlights the latest research on AI applications to reasoning, languages, and computation
  • Includes improved and extended versions of selected papers from the 4th International Workshop on AI aspects in Reasoning, Languages, and Computation (AIRLangComp’19), held in Leipzig, Germany, on September 1–4, 2019 
  • Presents computational models of human reasoning that can be improved by integrating heterogeneous information resources and AI techniques
see more benefits

Buy this book

eBook $84.99
price for USA in USD
  • ISBN 978-3-030-41425-2
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $149.99
price for USA in USD
  • ISBN 978-3-030-41424-5
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Softcover $109.99
price for USA in USD
  • ISBN 978-3-030-41427-6
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
About this book

This book builds on decades of research and provides contemporary theoretical foundations for practical applications to intelligent technologies and advances in artificial intelligence (AI). Reflecting the growing realization that computational models of human reasoning and interactions can be improved by integrating heterogeneous information resources and AI techniques, its ultimate goal is to promote integrated computational approaches to intelligent computerized systems. The book covers a range of interrelated topics, in particular, computational reasoning, language, syntax, semantics, memory, and context information. The respective chapters use and develop logically oriented methods and techniques, and the topics selected are from those areas of logic that contribute to AI and provide its mathematical foundations.
The intended readership includes researchers working in the areas of traditional logical foundations, and on new approaches to intelligent computational systems.

Table of contents (3 chapters)

Table of contents (3 chapters)
  • Type-Theory of Acyclic Algorithms for Models of Consecutive Binding of Functional Neuro-Receptors

    Pages 1-48

    Loukanova, Roussanka

  • Refining Algebraic Hierarchy in Mathematical Repository of Mizar

    Pages 49-75

    Grabowski, Adam (et al.)

  • Extending Formal Topology in Mizar by Uniform Spaces

    Pages 77-105

    Grabowski, Adam (et al.)

Buy this book

eBook $84.99
price for USA in USD
  • ISBN 978-3-030-41425-2
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $149.99
price for USA in USD
  • ISBN 978-3-030-41424-5
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Softcover $109.99
price for USA in USD
  • ISBN 978-3-030-41427-6
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
AI Aspects in Reasoning, Languages, and Computation
Editors
  • Adam Grabowski
  • Roussanka Loukanova
  • Christoph Schwarzweller
Series Title
Studies in Computational Intelligence
Series Volume
889
Copyright
2020
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-41425-2
DOI
10.1007/978-3-030-41425-2
Hardcover ISBN
978-3-030-41424-5
Softcover ISBN
978-3-030-41427-6
Series ISSN
1860-949X
Edition Number
1
Number of Pages
VIII, 105
Number of Illustrations
9 b/w illustrations
Topics