Shizhuo Yu

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 3

Top Topics

Diagnostic Systems

Nonmonotonic Logics

Top Venues

PLoS Comput. Biol.

Publications

Nico M. Franz, Lukas J. Musher, Joseph W. Brown, Shizhuo Yu, Bertram Ludäscher
Verbalizing phylogenomic conflict: Representation of node congruence across competing reconstructions of the neoavian explosion. PLoS Comput. Biol. 15 (2) (2019)
Yi-Yun Cheng, Nico M. Franz, Jodi Schneider, Shizhuo Yu, Thomas Rodenhausen, Bertram Ludäscher
Agreeing to disagree: Reconciling conflicting taxonomic views using a logic-based approach. ASIST (2017)
Nico M. Franz, Mingmin Chen, Parisa Kianmajd, Shizhuo Yu, Shawn Bowers, Alan S. Weakley, Bertram Ludäscher
Names are not good enough: Reasoning over taxonomic change in the Andropogon complex. Semantic Web 7 (6) (2016)
Mingmin Chen, Shizhuo Yu, Nico M. Franz, Shawn Bowers, Bertram Ludäscher
A Hybrid Diagnosis Approach Combining Black-Box and White-Box Reasoning. RuleML (2014)
Mingmin Chen, Shizhuo Yu, Nico M. Franz, Shawn Bowers, Bertram Ludäscher
Euler/X: A Toolkit for Logic-based Taxonomy Integration. CoRR (2014)
Mingmin Chen, Shizhuo Yu, Parisa Kianmajd, Nico M. Franz, Shawn Bowers, Bertram Ludäscher
Provenance for Explaining Taxonomy Alignments. IPAW (2014)