Search for Author All Reviews
	Zhou, Yi     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 reviews       A progression semantics for first-order logic programs Zhou Y., Zhang Y. Artificial Intelligence 250 58-79, 2017.  Type: Article This paper looks at the relationship between classical logic and practical systems, which employ logic-based techniques to process data. The emphasis is on answer set programming (ASP) and Datalog rather than Prolog. While Prolog can b...... Mar 9 2018     Reduction Methods for Real-Time Systems Using Delay Time Petri Nets Juan E., Tsai J., Murata T., Zhou Y. IEEE Transactions on Software Engineering 27(5): 422-448, 2001.  Type: Article Net reduction is one of the most important techniques for reducing the state explosion problem of Petri nets. This paper proposes a new methodology for net reduction, which helps in analyzing real-time systems. The class of Petri nets ...... Sep 1 2001
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy