A Formalization of Generalized Parameters in Situated Information

Roussanka Loukanova

Research.Publish.Connect.

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

A Formalization of Generalized Parameters in Situated Information

In Proceedings of the 8th International Conference on Agents and Artificial Intelligence - Volume 1: PUaNLP, 343-353, 2016 , Rome, Italy

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

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

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

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 (ORG/PUANLP 2016) - Volume 1: PUaNLP; ISBN 978-989-758-172-4; ISSN 2184-433X, SciTePress, 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 (ORG/PUANLP 2016) - Volume 1: PUaNLP},
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 (ORG/PUANLP 2016) - Volume 1: PUaNLP
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
PB - SciTePress