According to our database1, Mingyi Zhang authored at least 43 papers between 1994 and 2019.
Legend:Book In proceedings Article PhD thesis Other
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.
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.
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