Roussanka Loukanova

According to our database, Roussanka Loukanova authored at least 37 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Semantics of Propositional Attitudes in Type-Theory of Algorithms.

Roussanka Loukanova

Proceedings of the Logic and Engineering of Natural Language Semantics, 2023

2022

Logic Operators and Quantifiers in Type-Theory of Algorithms.

Roussanka Loukanova

Proceedings of the Logic and Engineering of Natural Language Semantics, 2022

Algorithmic Dependent-Type Theory of Situated Information and Context Assessments.

Roussanka Loukanova

Proceedings of the Distributed Computing and Artificial Intelligence, 2022

2020

Algorithmic Eta-reduction in Type-theory of Acyclic Recursion.

Roussanka Loukanova

Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

Type-Theory of Parametric Algorithms with Restricted Computations.

Roussanka Loukanova

Proceedings of the Distributed Computing and Artificial Intelligence, 2020

2019

Introduction.

Roussanka Loukanova, Michael Moortgat

J. Log. Lang. Inf., 2019

Gamma-Reduction in Type Theory of Acyclic Recursion.

Roussanka Loukanova

Fundam. Informaticae, 2019

Type-Theory of Acyclic Algorithms with Generalised Immediate Terms.

Roussanka Loukanova

Proceedings of the 11th International Conference on Agents and Artificial Intelligence, 2019

2018

Gamma-Star Canonical Forms in the Type-Theory of Acyclic Algorithms.

Roussanka Loukanova

Proceedings of the Agents and Artificial Intelligence - 10th International Conference, 2018

Gamma-star Reduction in the Type-theory of Acyclic Algorithms.

Roussanka Loukanova

Proceedings of the 10th International Conference on Agents and Artificial Intelligence, 2018

Syntax-Semantics Interfaces of Modifiers.

Roussanka Loukanova

Proceedings of the Distributed Computing and Artificial Intelligence, 2018

2017

An Approach to Functional Formal Models of Constraint-Based Lexicalized Grammar.

Roussanka Loukanova

Fundam. Informaticae, 2017

Bindier Operators in Type-Theory of Algorithms for Algorithmic Binding of Functional Neuro-Receptors.

Roussanka Loukanova

Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, 2017

2016

Underspecified Quantification by the Theory of Acyclic Recursion.

Roussanka Loukanova

Proceedings of the Trends in Practical Applications of Scalable Multi-Agent Systems, 2016

Acyclic Recursion with Polymorphic Types and Underpecification.

Roussanka Loukanova

Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

A Formalization of Generalized Parameters in Situated Information.

Roussanka Loukanova

Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

2015

Underspecified Relations with a Formal Language of Situation Theory.

Roussanka Loukanova

Proceedings of the ICAART 2015, 2015

Specification of Underspecified Quantifiers via Question-Answering by the Theory of Acyclic Recursion.

Roussanka Loukanova

Proceedings of the Flexible Query Answering Systems 2015, 2015

Representing parametric concepts with Situation Theory.

Roussanka Loukanova

Proceedings of the 2015 Federated Conference on Computer Science and Information Systems, 2015

2014

Situation Theory, Situated Information, and Situated Agents.

Roussanka Loukanova

Trans. Comput. Collect. Intell., 2014

2013

Situated Agents in Linguistic Contexts.

Roussanka Loukanova

Proceedings of the ICAART 2013, 2013

Algorithmic Semantics for Processing Pronominal Verbal Phrases.

Roussanka Loukanova

Proceedings of the Flexible Query Answering Systems - 10th International Conference, 2013

Algorithmic Granularity with Constraints.

Roussanka Loukanova

Proceedings of the Brain and Health Informatics - International Conference, 2013

2012

On the Syntax-Semantics Interface of Argument Marking Prepositional Phrases.

Roussanka Loukanova, María Dolores Jiménez-López

Proceedings of the Highlights on Practical Applications of Agents and Multi-Agent Systems, 2012

Algorithmic Semantics of Ambiguous Modifiers with the Type Theory of Acyclic Recursion.

Roussanka Loukanova

Proceedings of the 2012 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology, 2012

A Predicative Operator and Underspecification by the Type Theory of Acyclic Recursion.

Roussanka Loukanova

Proceedings of the Constraint Solving and Language Processing - 7th International Workshop, 2012

Semantic Information with Type Theory of Acyclic Recursion.

Roussanka Loukanova

Proceedings of the Active Media Technology - 8th International Conference, 2012

2011

Constraint Based Syntax of Modifiers.

Roussanka Loukanova

Proceedings of the 2011 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, 2011

Syntax-Semantics Interface for Lexical Inflection with the Language of Acyclic Recursion.

Roussanka Loukanova

Proceedings of the Biology, Computation and Linguistics - New Interdisciplinary Paradigms, 2011

From Montague's Rules of Quantification to Minimal Recursion Semantics and the Language of Acyclic Recursion.

Roussanka Loukanova

Proceedings of the Biology, Computation and Linguistics - New Interdisciplinary Paradigms, 2011

2009

Formalisation of Intensionality as Algorithms (project abstract).

Roussanka Loukanova

Proceedings of the Eight International Conference on Computational Semantics, 2009

beta-Reduction and Antecedent-Anaphora Relations in the Language of Acyclic Recursion.

Roussanka Loukanova

Proceedings of the Bio-Inspired Systems: Computational and Ambient Intelligence, 2009

2007

Linear Context Free Languages.

Roussanka Loukanova

Proceedings of the Theoretical Aspects of Computing, 2007

2002

Generalized Quantification in Situation Semantics.

Roussanka Loukanova

Proceedings of the Computational Linguistics and Intelligent Text Processing, 2002

Quantification and Intensionality in Situation Semantics.

Roussanka Loukanova

Proceedings of the Computational Linguistics and Intelligent Text Processing, 2002

2001

Russellian and Strawsonian Definite Descriptions in Situation Semantics.

Roussanka Loukanova

Proceedings of the Computational Linguistics and Intelligent Text Processing, 2001

2000

Nominal Scope in Situation Semantics.

Roussanka Loukanova

Proceedings of the 14th Pacific Asia Conference on Language, Information and Computation, 2000