loading
Papers

Research.Publish.Connect.

Paper

Author: Roussanka Loukanova

Affiliation: Stockholm University, Stockholm and Sweden

ISBN: 978-989-758-350-6

Keyword(s): Mathematics of Algorithms, Acyclic Recursion, Types, Algorithmic Semantics, Denotation, Immediate Terms, Immediate Denotation, Canonical Form.

Related Ontology Subjects/Areas/Topics: Applications ; Artificial Intelligence ; Knowledge Engineering and Ontology Development ; Knowledge Representation and Reasoning ; Knowledge-Based Systems ; Natural Language Processing ; Pattern Recognition ; Symbolic Systems

Abstract: The paper extends the higher-order, type-theory Lλ ar of acyclic algorithms by classifying some explicit terms as generalised immediate terms. We introduce a restricted, specialised iβ-rule and reduction of generalised immediate terms to their iβ-canonical forms. Then, we incorporate the iβ-rule in the reduction calculus of Lλ ar. The new reduction calculus provides more efficient algoritms for computation of values of terms, by using iterative calculations.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 34.229.131.116

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Loukanova, R. (2019). Type-Theory of Acyclic Algorithms with Generalised Immediate Terms.In Proceedings of the 11th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-350-6, pages 746-754. DOI: 10.5220/0007410207460754

@conference{icaart19,
author={Roussanka Loukanova.},
title={Type-Theory of Acyclic Algorithms with Generalised Immediate Terms},
booktitle={Proceedings of the 11th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2019},
pages={746-754},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007410207460754},
isbn={978-989-758-350-6},
}

TY - CONF

JO - Proceedings of the 11th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - Type-Theory of Acyclic Algorithms with Generalised Immediate Terms
SN - 978-989-758-350-6
AU - Loukanova, R.
PY - 2019
SP - 746
EP - 754
DO - 10.5220/0007410207460754

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.