Skip to main content
SpringerLink
Log in
Book cover

AI Aspects in Reasoning, Languages, and Computation

  • Book
  • © 2020

Overview

Editors:
  1. Adam Grabowski

    1. Institute of Informatics, University of Bialystok, Bialystok, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Roussanka Loukanova

    1. Department of Mathematics, Stockholm University, Stockholm, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Christoph Schwarzweller

    1. Institute of Informatics, University of Gdansk, Gdańsk, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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

Part of the book series: Studies in Computational Intelligence (SCI, volume 889)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 119.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 159.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 159.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (3 chapters)

  1. Front Matter

    Pages i-viii
    Download chapter PDF

  2. Type-Theory of Acyclic Algorithms for Models of Consecutive Binding of Functional Neuro-Receptors

    • Roussanka Loukanova
    Pages 1-48

  3. Refining Algebraic Hierarchy in Mathematical Repository of Mizar

    • Adam Grabowski, Artur Korniłowicz, Christoph Schwarzweller
    Pages 49-75

  4. Extending Formal Topology in Mizar by Uniform Spaces

    • Adam Grabowski, Roland Coghetto
    Pages 77-105
Back to top

Keywords

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 onnew approaches to intelligent computational systems.

Editors and Affiliations

  • Institute of Informatics, University of Bialystok, Bialystok, Poland

    Adam Grabowski

  • Department of Mathematics, Stockholm University, Stockholm, Sweden

    Roussanka Loukanova

  • Institute of Informatics, University of Gdansk, Gdańsk, Poland

    Christoph Schwarzweller

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation