Zhirui Lu

A System to Reason about uncertain and Dynamic Environments

Juan Carlos Augusto, Jun Liu, Asier Aztiria, 2012, Int. J. Artif. Intell. Tools.

A reasoning system for uncertain and dynamic environments

Juan Carlos Augusto, Jun Liu, Asier Aztiria, 2012 .

Automated Reasoning Algorithm for Linguistic Valued Lukasiewicz Propositional Logic

Jun Liu, Luis Martínez-López, Yang Xu, 2007, 37th International Symposium on Multiple-Valued Logic (ISMVL'07).

Satisfiability in a Linguistic-Valued Logic and Its Quasi-horn Clause Inference Framework

Luis Martínez-López, Jun Liu, Yang Xu, 2007, IFSA.

A Linguistic Truth-Valued Temporal Reasoning Formalism and Its Implementation

Juan Carlos Augusto, Jun Liu, Hui Wang, 2009, SGAI Conf..

Multi-valued temporal logic based reasoning system with applications to decision support in intelligent environments

Zhirui Lu, 2011 .

Multi-valued temporal reasoning framework for decision making

Juan Carlos Augusto, Hui Wang, Jun Liu, 2008 .

A Linguistic Truth-Value Temporal Reasoning (LTR) System and its Application to the Design of an Intelligent Environment

Juan Carlos Augusto, Jun Liu, Hui Wang, 2012, Int. J. Comput. Intell. Syst..

A Many-Valued Temporal Logic and Reasoning Framework for Decision Making

Hui Wang, Juan Carlos Augusto, Jun Liu, 2010 .