Zhirui Lu

According to our database, Zhirui Lu authored at least 6 papers between 2007 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

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

Zhirui Lu, Juan Carlos Augusto, Jun Liu, Hui Wang

Int. J. Comput. Intell. Syst., 2012

A System to Reason about uncertain and Dynamic Environments.

Zhirui Lu, Juan Carlos Augusto, Jun Liu, Hui Wang, Asier Aztiria

Int. J. Artif. Intell. Tools, 2012

2011

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

Zhirui Lu

PhD thesis, 2011

2009

A Linguistic Truth-Valued Temporal Reasoning Formalism and Its Implementation.

Zhirui Lu, Jun Liu, Juan Carlos Augusto, Hui Wang

Proceedings of the Research and Development in Intelligent Systems XXVI, 2009

2007

Automated Reasoning Algorithm for Linguistic Valued Lukasiewicz Propositional Logic.

Jun Liu, Luis Martínez-López, Yang Xu, Zhirui Lu

Proceedings of the 37th International Symposium on Multiple-Valued Logic, 2007

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

Jun Liu, Luis Martínez-López, Yang Xu, Zhirui Lu

Proceedings of the Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, 2007