Tao Gu - RankMe

16 papers B 8Journal 8

Year	Rank	Type	Title / Venue / Authors
2024	B	`conf`	A Categorical Approach to DIBI Models. FSCD Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi
2024	J	`jnl`	A Categorical Approach to DIBI Models. CoRR Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi
2024	J	`jnl`	A Note on an Inferentialist Approach to Resource Semantics. CoRR Alexander V. Gheorghiu, Tao Gu, David J. Pym
2024	J	`jnl`	A Note on the Practice of Logical Inferentialism. CoRR Alexander V. Gheorghiu, Tao Gu, David J. Pym
2024	B	`conf`	Inferentialist Resource Semantics. MFPS Alexander V. Gheorghiu, Tao Gu, David J. Pym
2023	B	`conf`	Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic. TABLEAUX Alexander V. Gheorghiu, Tao Gu, David J. Pym
2023	J	`jnl`	Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic. CoRR Alexander V. Gheorghiu, Tao Gu, David J. Pym
2023	J	`jnl`	Proof-theoretic Semantics for the Logic of Bunched Implications. CoRR Tao Gu, Alexander V. Gheorghiu, David J. Pym
2022	B	`conf`	A Complete Diagrammatic Calculus for Boolean Satisfiability. MFPS Tao Gu, Robin Piedeleu, Fabio Zanasi
2021	J	`jnl`	Coalgebraic Semantics for Probabilistic Logic Programming. Log. Methods Comput. Sci. Tao Gu, Fabio Zanasi
2021	B	`conf`	Functorial Semantics as a Unifying Perspective on Logic Programming. CALCO Tao Gu, Fabio Zanasi
2020	J	`jnl`	Coalgebraic Semantics for Probabilistic Logic Programming. CoRR Tao Gu, Fabio Zanasi
2020	B	`conf`	Hennessy-Milner Results for Probabilistic PDL. MFPS Tao Gu, Alexandra Silva, Fabio Zanasi
2019	B	`conf`	A Coalgebraic Perspective on Probabilistic Logic Programming. CALCO Tao Gu, Fabio Zanasi
2016	J	`jnl`	"Knowing value" logic as a normal modal logic. CoRR Tao Gu, Yanjing Wang
2016	B	`conf`	"Knowing value'' logic as a normal modal logic. Advances in Modal Logic Tao Gu, Yanjing Wang