Projects funded by the NCN

Representations of algebraic semantics for substructural logics

Call: OPUS 24 (LAP) , Panel: HS1

Principal investigator: dr hab. Tomasz Stanisław Kowalski

Uniwersytet Jagielloński, Wydział Filozoficzny

Syntactic-semantic analysis of the lexemes TO

Call: PRELUDIUM 21 , Panel: HS2

Principal investigator: Sebastian Jakub Zawada

Instytut Podstaw Informatyki PAN

From a multilingual parallel corpus to the micro-typology of the PERFECT in Baltic and Slavic

Call: SONATA BIS 11 , Panel: HS2

Principal investigator: dr Dorota Emilia Klimek-Jankowska

Uniwersytet Wrocławski, Wydział Neofilologii

Reinterpreting anaphora: towards ambiguity-first approach

Call: PRELUDIUM 20 , Panel: HS1

Principal investigator: Antonina Weronika Jamrozik

Uniwersytet Warszawski, Wydział Filozofii

Towards a cognitively plausible compositional model for natural language quantification

Call: OPUS 18 , Panel: HS1

Principal investigator: dr hab. Justyna Anna Grudzińska-Zawadowska

Uniwersytet Warszawski, Wydział Filozofii

Abstract Machines for Programming Languages: Investigations in Formal Interderivations

Call: OPUS 17 , Panel: ST6

Principal investigator: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Substantive semantics for normative language (on the basis of an analysis of meaning of 'ought')

Call: OPUS 12 , Panel: HS1

Principal investigator: dr Joanna Magdalena Klimczyk

Instytut Filozofii i Socjologii Polskiej Akademii Nauk

Semantic tensor networks for large data sets analysis

Call: OPUS 8 , Panel: ST6

Principal investigator: dr hab. Piotr Gawron

Instytut Informatyki Teoretycznej i Stosowanej PAN

Compositional distributional semantic models for identification, discrimination and disambiguation of senses in Polish t...

Call: OPUS 8 , Panel: ST6

Principal investigator: dr hab. Agnieszka Mykowiecka

Instytut Podstaw Informatyki PAN

Formal theories of truth and nonstandard models of arithmetic

Call: PRELUDIUM 7 , Panel: HS1

Principal investigator: Michał Tomasz Godziszewski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

ARISTOTELES: Methodology and algorithms for Automatic RevISion of onTOlogies in TAsk basEd scEnarioS

Call: SONATA 7 , Panel: ST6

Principal investigator: dr Agnieszka Ławrynowicz

Politechnika Poznańska, Wydział Informatyki

Syntactic properties of verbs as a basis for their integrated lexicographic description (in the Polish-Bulgarian-Russian...

Call: OPUS 6 , Panel: HS2

Principal investigator: prof. Małgorzata Maria Korytkowska

Instytut Slawistyki PAN

Development of knowledge retrieval methods for Linked Data

Call: PRELUDIUM 6 , Panel: ST6

Principal investigator: Jędrzej Filip Potoniec

Politechnika Poznańska, Wydział Informatyki

Descriptive uses of singular terms and their consequences for the semantics of natural language

Call: OPUS 5 , Panel: HS1

Principal investigator: dr hab. Katarzyna Justyna Kijania-Placek

Uniwersytet Jagielloński, Wydział Filozoficzny

DISQUSS: Diversified Suggestions for Queries on Semi-structured Data Sets

Call: OPUS 4 , Panel: ST6

Principal investigator: dr Marcin Rafał Sydow

Instytut Podstaw Informatyki PAN

Modeling of spatial objects and phenomena and relation between them with the use of ontologies and semantic networks for...

Call: OPUS 3 , Panel: HS4

Principal investigator: dr Adam Iwaniak

Uniwersytet Przyrodniczy we Wrocławiu, Wydział Inżynierii Kształtowania Środowiska i Geodezji

Modelling of dynamic spatial phenomena, combining static / spatial representation and dynamic / temporal context, for su...

Call: PRELUDIUM 3 , Panel: HS4

Principal investigator: Jaromar Marceli Łukowicz

Uniwersytet Przyrodniczy we Wrocławiu, Wydział Inżynierii Kształtowania Środowiska i Geodezji

Colloquial reproducts of Polish language. Formal, semantic and pragmatic analysis of a weekly column published in "Przek...

Call: PRELUDIUM 3 , Panel: HS2

Principal investigator: dr Ewa Barbara Kozioł-Chrzanowska

Uniwersytet Warszawski, Wydział Polonistyki

Rule-based query answering method for a relational database with the use of an ontology-based knowledge

Call: PRELUDIUM 2 , Panel: ST6

Principal investigator: dr Jarosław Ksawery Bąk

Politechnika Poznańska, Wydział Elektryczny

Semantic Method for Unified Rules Interoperability in Knowledge-Based Systems. (SaMURaI)

Call: PRELUDIUM 2 , Panel: ST6

Principal investigator: Krzysztof Kaczor

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej

Dynamical Negotiation Networks: Interdepencencies of the processes of communication in negotiation and cognitive and emo...

Call: SONATA 1 , Panel: HS6

Principal investigator: dr Łukasz Wojciech Jochemczyk

Uniwersytet Warszawski, Wydział Psychologii