Roussanka Loukanova - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 36 from 36

2022

Algorithmic Dependent-Type Theory of Situated Information and Context AssessmentsRoussanka Loukanova. dcai 2023: 31-41 [doi]

Logic Operators and Quantifiers in Type-Theory of AlgorithmsRoussanka Loukanova. lenls 2023: 173-198 [doi]

2020

Algorithmic Eta-reduction in Type-theory of Acyclic RecursionRoussanka Loukanova. icaart 2020: 1003-1010 [doi]

Type-Theory of Parametric Algorithms with Restricted ComputationsRoussanka Loukanova. dcai 2021: 321-331 [doi]

2019

Type-Theory of Acyclic Algorithms with Generalised Immediate TermsRoussanka Loukanova. icaart 2019: 746-754 [doi]

Gamma-Reduction in Type Theory of Acyclic RecursionRoussanka Loukanova. FUIN, 170(4):367-411, 2019. [doi]

IntroductionRoussanka Loukanova, Michael Moortgat. jolli, 28(2):97-99, 2019. [doi]

2018

Gamma-star Reduction in the Type-theory of Acyclic AlgorithmsRoussanka Loukanova. icaart 2018: 231-242 [doi]

Syntax-Semantics Interfaces of ModifiersRoussanka Loukanova. dcai 2019: 231-239 [doi]

Gamma-Star Canonical Forms in the Type-Theory of Acyclic AlgorithmsRoussanka Loukanova. icaart 2019: 383-407 [doi]

2017

Bindier Operators in Type-Theory of Algorithms for Algorithmic Binding of Functional Neuro-ReceptorsRoussanka Loukanova. FedCSIS 2017: 57-66 [doi]

An Approach to Functional Formal Models of Constraint-Based Lexicalized GrammarRoussanka Loukanova. FUIN, 152(4):341-372, 2017. [doi]

2016

A Formalization of Generalized Parameters in Situated InformationRoussanka Loukanova. icaart 2016: 343-353 [doi]

Acyclic Recursion with Polymorphic Types and UnderpecificationRoussanka Loukanova. icaart 2016: 392-399 [doi]

Underspecified Quantification by the Theory of Acyclic RecursionRoussanka Loukanova. paams 2016: 237-249 [doi]

2015

Representing parametric concepts with Situation TheoryRoussanka Loukanova. FedCSIS 2015: 89-100 [doi]

Underspecified Relations with a Formal Language of Situation TheoryRoussanka Loukanova. icaart 2015: 298-309

Specification of Underspecified Quantifiers via Question-Answering by the Theory of Acyclic RecursionRoussanka Loukanova. fqas 2016: 57-69 [doi]

2014

Situation Theory, Situated Information, and Situated AgentsRoussanka Loukanova. tcci, 17:145-170, 2014. [doi]

2013

Situated Agents in Linguistic ContextsRoussanka Loukanova. icaart 2013: 494-503

Algorithmic Semantics for Processing Pronominal Verbal PhrasesRoussanka Loukanova. fqas 2013: 164-175 [doi]

Algorithmic Granularity with ConstraintsRoussanka Loukanova. brain 2013: 399-408 [doi]

2012

Semantic Information with Type Theory of Acyclic RecursionRoussanka Loukanova. amt 2012: 387-398 [doi]

On the Syntax-Semantics Interface of Argument Marking Prepositional PhrasesRoussanka Loukanova, Maria Dolores Jiménez-López. paams 2012: 53-60 [doi]

Algorithmic Semantics of Ambiguous Modifiers with the Type Theory of Acyclic RecursionRoussanka Loukanova. iat 2012: 117-121 [doi]

A Predicative Operator and Underspecification by the Type Theory of Acyclic RecursionRoussanka Loukanova. cslp 2013: 108-132 [doi]

2011

Constraint Based Syntax of ModifiersRoussanka Loukanova. iat 2011: 167-170 [doi]

From Montague's Rules of Quantification to Minimal Recursion Semantics and the Language of Acyclic RecursionRoussanka Loukanova. In Gemma Bel Enguix, Verónica Dahl, Maria Dolores Jiménez-López, editors, Biology, Computation and Linguistics - New Interdisciplinary Paradigms. Volume 228 of Frontiers in Artificial Intelligence and Applications, pages 200-214, IOS Press, 2011. [doi]

Syntax-Semantics Interface for Lexical Inflection with the Language of Acyclic RecursionRoussanka Loukanova. In Gemma Bel Enguix, Verónica Dahl, Maria Dolores Jiménez-López, editors, Biology, Computation and Linguistics - New Interdisciplinary Paradigms. Volume 228 of Frontiers in Artificial Intelligence and Applications, pages 215-236, IOS Press, 2011. [doi]

2009

beta-Reduction and Antecedent-Anaphora Relations in the Language of Acyclic RecursionRoussanka Loukanova. iwann 2009: 496-503 [doi]

Formalisation of Intensionality as Algorithms (project abstract)Roussanka Loukanova. iwcs 2009: 295-298 [doi]

2007

Linear Context Free LanguagesRoussanka Loukanova. ictac 2007: 351-365 [doi]

2002

Generalized Quantification in Situation SemanticsRoussanka Loukanova. cicling 2002: 46-57 [doi]

Quantification and Intensionality in Situation SemanticsRoussanka Loukanova. cicling 2002: 32-45 [doi]

2001

Russellian and Strawsonian Definite Descriptions in Situation SemanticsRoussanka Loukanova. cicling 2001: 69-79 [doi]

2000

Nominal Scope in Situation SemanticsRoussanka Loukanova. paclic 2000: 243-252 [doi]

Sign in or sign up to see more results.

runs on WebDSL