Roussanka Loukanova

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 16

Top Topics

Mathematical Foundations

Orders Of Magnitude

Formal Languages

Computational Efficiency

Top Venues

Fundam. Informaticae

Publications

Roussanka Loukanova
Semantics of Propositional Attitudes in Type-Theory of Algorithms. LENLS (2023)
Roussanka Loukanova
Logic Operators and Quantifiers in Type-Theory of Algorithms. LENLS (2022)
Roussanka Loukanova
Algorithmic Dependent-Type Theory of Situated Information and Context Assessments. DCAI (2022)
Roussanka Loukanova
Type-Theory of Parametric Algorithms with Restricted Computations. DCAI (2020)
Roussanka Loukanova
Algorithmic Eta-reduction in Type-theory of Acyclic Recursion. ICAART (2) (2020)
Roussanka Loukanova
Type-Theory of Acyclic Algorithms with Generalised Immediate Terms. ICAART (2) (2019)
Roussanka Loukanova, Michael Moortgat
Introduction. J. Log. Lang. Inf. 28 (2) (2019)
Roussanka Loukanova
Gamma-Reduction in Type Theory of Acyclic Recursion. Fundam. Informaticae 170 (4) (2019)
Roussanka Loukanova
Syntax-Semantics Interfaces of Modifiers. DCAI (Special Sessions) (2018)
Roussanka Loukanova
Gamma-Star Canonical Forms in the Type-Theory of Acyclic Algorithms. ICAART (Revised Selected Papers) (2018)
Roussanka Loukanova
Gamma-star Reduction in the Type-theory of Acyclic Algorithms. ICAART (2) (2018)
Roussanka Loukanova
Bindier Operators in Type-Theory of Algorithms for Algorithmic Binding of Functional Neuro-Receptors. FedCSIS (2017)
Roussanka Loukanova
An Approach to Functional Formal Models of Constraint-Based Lexicalized Grammar. Fundam. Informaticae 152 (4) (2017)
Roussanka Loukanova
Underspecified Quantification by the Theory of Acyclic Recursion. PAAMS (Special Sessions) (2016)
Roussanka Loukanova
A Formalization of Generalized Parameters in Situated Information. ICAART (1) (2016)
Roussanka Loukanova
Acyclic Recursion with Polymorphic Types and Underpecification. ICAART (2) (2016)
Roussanka Loukanova
Representing parametric concepts with Situation Theory. FedCSIS (2015)
Roussanka Loukanova
Specification of Underspecified Quantifiers via Question-Answering by the Theory of Acyclic Recursion. FQAS (2015)
Roussanka Loukanova
Underspecified Relations with a Formal Language of Situation Theory. ICAART (1) (2015)
Roussanka Loukanova
Situation Theory, Situated Information, and Situated Agents. Trans. Comput. Collect. Intell. 17 (2014)
Roussanka Loukanova
Situated Agents in Linguistic Contexts. ICAART (1) (2013)
Roussanka Loukanova
Algorithmic Granularity with Constraints. Brain and Health Informatics (2013)
Roussanka Loukanova
Algorithmic Semantics for Processing Pronominal Verbal Phrases. FQAS (2013)
Roussanka Loukanova, Maria Dolores Jiménez-López
On the Syntax-Semantics Interface of Argument Marking Prepositional Phrases. PAAMS (Special Sessions) (2012)
Roussanka Loukanova
Algorithmic Semantics of Ambiguous Modifiers with the Type Theory of Acyclic Recursion. Web Intelligence/IAT Workshops (2012)
Roussanka Loukanova
A Predicative Operator and Underspecification by the Type Theory of Acyclic Recursion. CSLP (2012)
Roussanka Loukanova
Semantic Information with Type Theory of Acyclic Recursion. AMT (2012)
Roussanka Loukanova
Constraint Based Syntax of Modifiers. Web Intelligence/IAT Workshops (2011)
Roussanka Loukanova
Formalisation of Intensionality as Algorithms (project abstract). IWCS (2009)
Roussanka Loukanova
beta-Reduction and Antecedent-Anaphora Relations in the Language of Acyclic Recursion. IWANN (1) (2009)
Roussanka Loukanova
Linear Context Free Languages. ICTAC (2007)
Roussanka Loukanova
Generalized Quantification in Situation Semantics. CICLing (2002)
Roussanka Loukanova
Quantification and Intensionality in Situation Semantics. CICLing (2002)
Roussanka Loukanova
Russellian and Strawsonian Definite Descriptions in Situation Semantics. CICLing (2001)
Roussanka Loukanova
Nominal Scope in Situation Semantics. PACLIC (2000)