Mingyi Zhang

According to our database1, Mingyi Zhang authored at least 43 papers between 1994 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


On csauthors.net:


Vision-Based Target-Following Guider for Mobile Robot.
IEEE Trans. Industrial Electronics, 2019

Feature-Related Searching Control Model for Curve Detection.
IEEE Trans. Cybernetics, 2019

Data Management at Huawei: Recent Accomplishments and Future Challenges.
Proceedings of the 35th IEEE International Conference on Data Engineering, 2019

Workload Management in Database Management Systems: A Taxonomy.
IEEE Trans. Knowl. Data Eng., 2018

FusionInsight LibrA: Huawei's Enterprise Cloud Data Analytics Platform.
PVLDB, 2018

Workload Management in Database Management System: A Taxonomy (Extended Abstract).
Proceedings of the 34th IEEE International Conference on Data Engineering, 2018

The Research on 3D Modelling and Visualization of the Quaternary in Tongzhou Area, Beijing.
Proceedings of the Geo-Spatial Knowledge and Intelligence - 5th International Conference, 2017

Using economic models to capture importance policy for tuning in autonomic database management systems.
Int. J. Auton. Comp., 2016

Vision based emergency landing field auto-selecting method for fixed-wing UAVs.
Proceedings of the 2016 IEEE International Conference on Robotics and Biomimetics, 2016

Learning Disjunctive Logic Programs from Interpretation Transition.
Proceedings of the 26th International Conference on Inductive Logic Programming (Short papers), 2016

On classification of toric surface codes of low dimension.
Finite Fields and Their Applications, 2015

Knowledge Forgetting in Answer Set Programming.
J. Artif. Intell. Res., 2014

A framework for autonomic workload management in DBMSs.
it - Information Technology, 2014

Cloud service negotiation: a research report.
IJBPIM, 2014

Forgetting for Answer Set Programs Revisited.
Proceedings of the IJCAI 2013, 2013

Embedding Functions into Disjunctive Logic Programs.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

The loop formula based semantics of description logic programs.
Theor. Comput. Sci., 2012

Forgetting in Logic Programs under Strong Equivalence.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Discovering Indicators for Congestion in DBMSs.
Proceedings of the Workshops Proceedings of the IEEE 28th International Conference on Data Engineering, 2012

A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

Splitting Computation of Answer Set Program and Its Application on E-service.
Int. J. Comput. Intell. Syst., 2011

Applying Answer Set Programming to Points-to Analysis of Object-Oriented Language.
Proceedings of the Advanced Intelligent Computing - 7th International Conference, 2011

Constructing first-order loops of normal logic programs.
Proceedings of the Eighth International Conference on Fuzzy Systems and Knowledge Discovery, 2011

Language Splitting and Relevance-Based Belief Change in Horn Logic.
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

Algorithms and application in decision-making for the finest splitting of a set of formulae.
Knowl.-Based Syst., 2010

Weight constraint programs with evaluable functions.
Ann. Math. Artif. Intell., 2010

Autonomic workload execution control using throttling.
Proceedings of the Workshops Proceedings of the 26th International Conference on Data Engineering, 2010

Logic Programs, Compatibility and Forward Chaining Construction.
J. Comput. Sci. Technol., 2009

A Logic-Program-Based Negotiation Mechanism.
J. Comput. Sci. Technol., 2009

Weight Constraint Programs with Functions.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Maximal Invariable Update Operator Based on Splitting.
Proceedings of the Rough Sets and Knowledge Technology, Third International Conference, 2008

Axiom P and Reliable Belief Change Operator in belief revision.
Proceedings of the 2008 International Conference on Artificial Intelligence, 2008

Using economic models to allocate resources in database management systems.
Proceedings of the 2008 conference of the Centre for Advanced Studies on Collaborative Research, 2008

Consistency Property of Finite FC-Normal Logic Programs.
J. Comput. Sci. Technol., 2007

A characterization of answer sets for logic programs.
Science in China Series F: Information Sciences, 2007

Model-Characterizing Formulas and Normal Forms in Godel Logics.
Proceedings of the 37th International Symposium on Multiple-Valued Logic, 2007

Forgetting in Logic Programs with Ordered Disjunction.
Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007

First-Order Loop Formulas for Normal Logic Programs.
Proceedings of the Proceedings, 2006

Extended Negative Association Rules and the Corresponding Mining Algorithm.
Proceedings of the Advances in Machine Learning and Cybernetics, 2005

Revision Programs with Explicit Negation.
Proceedings of the Theoretical Aspects of Computing, 2004

On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs.
Proceedings of the IJCAI-03, 2003

Characterizations and algorithms of extensions for CADL and QDL.
J. Comput. Sci. Technol., 1999

Some results on default logic.
J. Comput. Sci. Technol., 1994