loading
Papers Papers/2020

Research.Publish.Connect.

Paper

Paper Unlock

Author: Roussanka Loukanova

Affiliation: Stockholm University, Sweden

Keyword(s): Formal Language, Situation Theory, Parametric Information, Generalized Parameters, Partiality, Restrictions, Memory Variables, Recursion, Situations, Space-time Locations.

Abstract: The paper introduces a higher-order, type-theoretical formal language LST GP of information content that is partial, parametric, underspecified, dependent on situations, and recursive. The terms of the formal language represent situation-theoretic objects. The language has specialized terms for constrained computations by mutual recursion. It introduces terms representing nets of parameters that are simultaneously constrained to satisfy restrictions.

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 54.173.214.227

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. (2016). A Formalization of Generalized Parameters in Situated Information. In Proceedings of the 8th International Conference on Agents and Artificial Intelligence - Volume 1: PUaNLP, (ORG/PUANLP 2016) ISBN 978-989-758-172-4; ISSN 2184-433X, pages 343-353. DOI: 10.5220/0005850303430353

@conference{puanlp16,
author={Roussanka Loukanova.},
title={A Formalization of Generalized Parameters in Situated Information},
booktitle={Proceedings of the 8th International Conference on Agents and Artificial Intelligence - Volume 1: PUaNLP, (ORG/PUANLP 2016)},
year={2016},
pages={343-353},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005850303430353},
isbn={978-989-758-172-4},
issn={2184-433X},
}

TY - CONF

JO - Proceedings of the 8th International Conference on Agents and Artificial Intelligence - Volume 1: PUaNLP, (ORG/PUANLP 2016)
TI - A Formalization of Generalized Parameters in Situated Information
SN - 978-989-758-172-4
IS - 2184-433X
AU - Loukanova, R.
PY - 2016
SP - 343
EP - 353
DO - 10.5220/0005850303430353

123movies