Roussanka Loukanova

Orcid: 0000-0001-9678-955X

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Semantics of Propositional Attitudes in Type-Theory of Algorithms.
Proceedings of the Logic and Engineering of Natural Language Semantics, 2023

2022
Logic Operators and Quantifiers in Type-Theory of Algorithms.
Proceedings of the Logic and Engineering of Natural Language Semantics, 2022

Algorithmic Dependent-Type Theory of Situated Information and Context Assessments.
Proceedings of the Distributed Computing and Artificial Intelligence, 2022

2020
Algorithmic Eta-reduction in Type-theory of Acyclic Recursion.
Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

Type-Theory of Parametric Algorithms with Restricted Computations.
Proceedings of the Distributed Computing and Artificial Intelligence, 2020

2019
Introduction.
J. Log. Lang. Inf., 2019

Gamma-Reduction in Type Theory of Acyclic Recursion.
Fundam. Informaticae, 2019

Type-Theory of Acyclic Algorithms with Generalised Immediate Terms.
Proceedings of the 11th International Conference on Agents and Artificial Intelligence, 2019

2018
Gamma-Star Canonical Forms in the Type-Theory of Acyclic Algorithms.
Proceedings of the Agents and Artificial Intelligence - 10th International Conference, 2018

Gamma-star Reduction in the Type-theory of Acyclic Algorithms.
Proceedings of the 10th International Conference on Agents and Artificial Intelligence, 2018

Syntax-Semantics Interfaces of Modifiers.
Proceedings of the Distributed Computing and Artificial Intelligence, 2018

2017
An Approach to Functional Formal Models of Constraint-Based Lexicalized Grammar.
Fundam. Informaticae, 2017

Bindier Operators in Type-Theory of Algorithms for Algorithmic Binding of Functional Neuro-Receptors.
Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, 2017

2016
Underspecified Quantification by the Theory of Acyclic Recursion.
Proceedings of the Trends in Practical Applications of Scalable Multi-Agent Systems, 2016

Acyclic Recursion with Polymorphic Types and Underpecification.
Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

A Formalization of Generalized Parameters in Situated Information.
Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

2015
Underspecified Relations with a Formal Language of Situation Theory.
Proceedings of the ICAART 2015, 2015

Specification of Underspecified Quantifiers via Question-Answering by the Theory of Acyclic Recursion.
Proceedings of the Flexible Query Answering Systems 2015, 2015

Representing parametric concepts with Situation Theory.
Proceedings of the 2015 Federated Conference on Computer Science and Information Systems, 2015

2014
Situation Theory, Situated Information, and Situated Agents.
Trans. Comput. Collect. Intell., 2014

2013
Situated Agents in Linguistic Contexts.
Proceedings of the ICAART 2013, 2013

Algorithmic Semantics for Processing Pronominal Verbal Phrases.
Proceedings of the Flexible Query Answering Systems - 10th International Conference, 2013

Algorithmic Granularity with Constraints.
Proceedings of the Brain and Health Informatics - International Conference, 2013

2012
On the Syntax-Semantics Interface of Argument Marking Prepositional Phrases.
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.
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.
Proceedings of the Constraint Solving and Language Processing - 7th International Workshop, 2012

Semantic Information with Type Theory of Acyclic Recursion.
Proceedings of the Active Media Technology - 8th International Conference, 2012

2011
Constraint Based Syntax of Modifiers.
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.
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.
Proceedings of the Biology, Computation and Linguistics - New Interdisciplinary Paradigms, 2011

2009
Formalisation of Intensionality as Algorithms (project abstract).
Proceedings of the Eight International Conference on Computational Semantics, 2009

beta-Reduction and Antecedent-Anaphora Relations in the Language of Acyclic Recursion.
Proceedings of the Bio-Inspired Systems: Computational and Ambient Intelligence, 2009

2007
Linear Context Free Languages.
Proceedings of the Theoretical Aspects of Computing, 2007

2002
Generalized Quantification in Situation Semantics.
Proceedings of the Computational Linguistics and Intelligent Text Processing, 2002

Quantification and Intensionality in Situation Semantics.
Proceedings of the Computational Linguistics and Intelligent Text Processing, 2002

2001
Russellian and Strawsonian Definite Descriptions in Situation Semantics.
Proceedings of the Computational Linguistics and Intelligent Text Processing, 2001

2000
Nominal Scope in Situation Semantics.
Proceedings of the 14th Pacific Asia Conference on Language, Information and Computation, 2000


  Loading...