Roussanka Loukanova

42 papers C 9Misc 1Journal 4Unranked 22
YearRankTypeTitle / Venue / Authors
2024 — conf
Type-Theory of Algorithms with Chain-Free Memory.
DCAI (1)
Roussanka Loukanova
2023 — ed.
Distributed Computing and Artificial Intelligence, Special Sessions I, 20th International Conference, Guimaraes, Portugal, 12-14 July 2023.
DCAI (2)
Rashid Mehmood, Victor Alves, Isabel Praça, Jaroslaw Wikarek, Javier Parra-Domínguez, Roussanka Loukanova, Ignacio de Miguel, Tiago Pinto, Ricardo Rodrigues Nunes, Michela Ricca
2023 — ed.
Distributed Computing and Artificial Intelligence, Special Sessions, 19th International Conference, DCAI 2022, L'Aquila, Italy, 13-15 July 2022.
DCAI (2)
José Manuel F. Machado, Pablo Chamoso, Guillermo Hernández, Grzegorz Bocewicz, Roussanka Loukanova, Esteban Jove, Ángel Martín del Rey, Michela Ricca
2023 — conf
Semantics of Propositional Attitudes in Type-Theory of Algorithms.
LENLS
Roussanka Loukanova
2022 — conf
Algorithmic Dependent-Type Theory of Situated Information and Context Assessments.
DCAI (1)
Roussanka Loukanova
2022 — ed.
Distributed Computing and Artificial Intelligence, Volume 2: Special Sessions 18th International Conference, DCAI 2021, Salamanca, Spain, 6-8 October 2021.
DCAI (2)
Sara Rodríguez-González, José Manuel F. Machado, Alfonso González-Briones, Jaroslaw Wikarek, Roussanka Loukanova, George Katranas, Roberto Casado-Vara
2022 — conf
Logic Operators and Quantifiers in Type-Theory of Algorithms.
LENLS
Roussanka Loukanova
2021 — ed.
Distributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference, DCAI 2020, L'Aquila, Italy, 17-19 June 2020.
DCAI (Special Sessions)
Sara Rodríguez-González, Alfonso González-Briones, Arkadiusz Gola, George Katranas, Michela Ricca, Roussanka Loukanova, Javier Prieto
2020 — conf
Algorithmic Eta-reduction in Type-theory of Acyclic Recursion.
ICAART (2)
Roussanka Loukanova
2020 Misc conf
Type-Theory of Parametric Algorithms with Restricted Computations.
DCAI
Roussanka Loukanova
2019 J jnl
Gamma-Reduction in Type Theory of Acyclic Recursion.
Fundam. Informaticae
Roussanka Loukanova
2019 J jnl
Introduction.
J. Log. Lang. Inf.
Roussanka Loukanova, Michael Moortgat
2019 — conf
Type-Theory of Acyclic Algorithms with Generalised Immediate Terms.
ICAART (2)
Roussanka Loukanova
2018 — conf
Gamma-Star Canonical Forms in the Type-Theory of Acyclic Algorithms.
ICAART (Revised Selected Papers)
Roussanka Loukanova
2018 — conf
Gamma-star Reduction in the Type-theory of Acyclic Algorithms.
ICAART (2)
Roussanka Loukanova
2018 — conf
Syntax-Semantics Interfaces of Modifiers.
DCAI (Special Sessions)
Roussanka Loukanova
2017 J jnl
An Approach to Functional Formal Models of Constraint-Based Lexicalized Grammar.
Fundam. Informaticae
Roussanka Loukanova
2017 C conf
Bindier Operators in Type-Theory of Algorithms for Algorithmic Binding of Functional Neuro-Receptors.
FedCSIS
Roussanka Loukanova
2016 — conf
A Formalization of Generalized Parameters in Situated Information.
ICAART (1)
Roussanka Loukanova
2016 — conf
Acyclic Recursion with Polymorphic Types and Underpecification.
ICAART (2)
Roussanka Loukanova
2016 — conf
Underspecified Quantification by the Theory of Acyclic Recursion.
PAAMS (Special Sessions)
Roussanka Loukanova
2015 C conf
Representing parametric concepts with Situation Theory.
FedCSIS
Roussanka Loukanova
2015 C conf
Specification of Underspecified Quantifiers via Question-Answering by the Theory of Acyclic Recursion.
FQAS
Roussanka Loukanova
2015 — conf
Underspecified Relations with a Formal Language of Situation Theory.
ICAART (1)
Roussanka Loukanova
2014 J jnl
Situation Theory, Situated Information, and Situated Agents.
Trans. Comput. Collect. Intell.
Roussanka Loukanova
2013 — conf
Algorithmic Granularity with Constraints.
Brain and Health Informatics
Roussanka Loukanova
2013 C conf
Algorithmic Semantics for Processing Pronominal Verbal Phrases.
FQAS
Roussanka Loukanova
2013 — conf
Situated Agents in Linguistic Contexts.
ICAART (1)
Roussanka Loukanova
2012 — conf
A Predicative Operator and Underspecification by the Type Theory of Acyclic Recursion.
CSLP
Roussanka Loukanova
2012 — conf
Algorithmic Semantics of Ambiguous Modifiers with the Type Theory of Acyclic Recursion.
Web Intelligence/IAT Workshops
Roussanka Loukanova
2012 — conf
On the Syntax-Semantics Interface of Argument Marking Prepositional Phrases.
PAAMS (Special Sessions)
Roussanka Loukanova, María Dolores Jiménez-López
2012 — conf
Semantic Information with Type Theory of Acyclic Recursion.
AMT
Roussanka Loukanova
2011 — conf
Constraint Based Syntax of Modifiers.
Web Intelligence/IAT Workshops
Roussanka Loukanova
2011 — ch.
From Montague's Rules of Quantification to Minimal Recursion Semantics and the Language of Acyclic Recursion.
Biology, Computation and Linguistics
Roussanka Loukanova
2011 — ch.
Syntax-Semantics Interface for Lexical Inflection with the Language of Acyclic Recursion.
Biology, Computation and Linguistics
Roussanka Loukanova
2009 — conf
Formalisation of Intensionality as Algorithms (project abstract).
IWCS
Roussanka Loukanova
2009 — conf
beta-Reduction and Antecedent-Anaphora Relations in the Language of Acyclic Recursion.
IWANN (1)
Roussanka Loukanova
2007 C conf
Linear Context Free Languages.
ICTAC
Roussanka Loukanova
2002 C conf
Generalized Quantification in Situation Semantics.
CICLing
Roussanka Loukanova
2002 C conf
Quantification and Intensionality in Situation Semantics.
CICLing
Roussanka Loukanova
2001 C conf
Russellian and Strawsonian Definite Descriptions in Situation Semantics.
CICLing
Roussanka Loukanova
2000 C conf
Nominal Scope in Situation Semantics.
PACLIC
Roussanka Loukanova