Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Jonni Virtema
Map detail
Jonni Virtema18 visible / 18 total nodes / 32 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Related contextCo-authorshipWorks onCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipWorks onAuthorshipWorks onWorks onAuthorshipWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalJonni VirtemaAJonni VirtemaResearcherInconsistent Databases and Argumentation Frameworks with Collective AttacksWInconsistent Databases ...preprint / 2026Axel-Cyrille Ngonga NgomoAAxel-Cyrille Ngonga NgomoResearcherYasir MahmoodAYasir MahmoodResearcherTimon BarlagATimon BarlagResearcherComplexity of validity for propositional dependence logicsWComplexity of validity ...preprint / 2014DatabasesTDatabases1586 worksArtificial IntelligenceTArtificial Intelligence22915 worksAxiomatizing Propositional Dependence LogicsWAxiomatizing Propositio...preprint / 2014Polyteam SemanticsWPolyteam Semanticspreprint / 2020Undecidable First-Order Theories of Affine GeometriesWUndecidable First-Order...preprint / 2012A Team Based Variant of CTLWA Team Based Variant of...preprint / 2015Decidability of predicate logics with team semanticsWDecidability of predica...preprint / 2016On the Complexity of Horn and Krom Fragments of Second-Order Boolean LogicWOn the Complexity of Ho...preprint / 2020Descriptive complexity of real computation and probabilistic independence logicWDescriptive complexity ...preprint / 2020Complexity of two-variable Dependence Logic and IF-LogicWComplexity of two-varia...preprint / 2011The Expressive Power of Modal Dependence LogicWThe Expressive Power of...preprint / 2014Boolean Dependence Logic and Partially-Ordered ConnectivesWBoolean Dependence Logi...preprint / 2014
Person17 links

Jonni Virtema

Researcher