Juha Kontinen
- Probabilistic team semantics
2018/03/06 by Arnaud Durand, Durand, Arnaud, Miika Hannula +7 · 2 citations
Computer Science · #Advanced Database Systems and Queries #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
- Unified Foundations of Team Semantics via Semirings
2023/03/14 by Timon Barlag, Miika Hannula, Barlag, Timon +7 · 2 citations
Computer Science · #Advanced Database Systems and Queries #Databases (cs.DB) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
- Linear-time Temporal Logic with Team Semantics: Expressivity and\n Complexity
2020/10/07 by Jonni Virtema, Jana Hofmann, Virtema, Jonni +7 · 1 citation
Chemistry · Computer Science · #Computational Complexity (cs.CC) #D.2.4 #F.4.1 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Synthetic Organic Chemistry Methods
- Tractability Frontier of Data Complexity in Team Semantics
2015/03/03 by Arnaud Durand, Durand, Arnaud, Juha Kontinen +5 · 1 citation
Computer Science · #03B60 #68Q60 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
- Complete logics for elementary team properties
2019/04/18 by Juha Kontinen, Kontinen, Juha, Fan Yang +1 · 1 citation
Computer Science · #03B60 #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies