Ruqian Lu

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

The computing power of Turing machine based on quantum logic.

[BibT_eX]

[DOI]

Proceedings of the Turing-100, 2012

2011

Automata theory based on lattice-ordered semirings.

[BibT_eX]

[DOI]

Soft Comput., 2011

A conversation with Professor Ruqian Lu et al.

[BibT_eX]

[DOI]

SIGKDD Explor., 2011

Preface: Foundations and Practice of Systems and Software Engineering - Towards Scientific Contribution of Prof. Manfred Broy.

[BibT_eX]

[DOI]

Martin Wirsing

Int. J. Softw. Informatics, 2011

A Frequent Pattern Mining Method for Finding Planted Motifs of Unknown Length in DNA Sequences.

[BibT_eX]

[DOI]

Caiyan Jia

Lusheng Chen

Int. J. Comput. Intell. Syst., 2011

Turing machines based on unsharp quantum logic

[BibT_eX]

[DOI]

Proceedings of the Proceedings 8th International Workshop on Quantum Physics and Logic, 2011

Agent-Oriented Requirements Analysis from Scenarios.

[BibT_eX]

[DOI]

Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2011

2010

Process Algebra as Abstract Data Types

[BibT_eX]

[DOI]

CoRR, 2010

A Frequent Pattern Mining Method for Finding Planted (l, d)-motifs of Unknown Length.

[BibT_eX]

[DOI]

Caiyan Jia

Lusheng Chen

Proceedings of the Rough Set and Knowledge Technology - 5th International Conference, 2010

Pseudo natural language vs. controlled natural language.

[BibT_eX]

[DOI]

Proceedings of the 4th International Universal Communication Symposium, 2010

Object-oriented knowware programming and its abstract inheritance semantics.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE International Conference on Intelligent Systems and Knowledge Engineering, 2010

2009

Text Mining by Pseudo-Natural Language Understanding.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Data Warehousing and Mining, Second Edition (4 Volumes), 2009

Automata theory based on unsharp quantum logic.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2009

Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

Knowware: The Third Star after Hardware and Software.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, 2009

2008

Artificial Intelligence in China.

[BibT_eX]

[DOI]

Fei-Yue Wang

Daniel Zeng

IEEE Intell. Syst., 2008

AI in China: A Survey.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2008

From knowledge based software engineering to knowware based software engineering.

[BibT_eX]

[DOI]

Sci. China Ser. F Inf. Sci., 2008

Knowware: A Commodity Form of Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets and Knowledge Technology, Third International Conference, 2008

2007

An Exact Data Mining Method for Finding Center Strings and All Their Instances.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2007

Semirings and pseudo MV algebras.

[BibT_eX]

[DOI]

Soft Comput., 2007

Handling non-canonical software requirements based on Annotated Predicate Calculus.

[BibT_eX]

[DOI]

Knowl. Inf. Syst., 2007

Editorial.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2007

Knowware: the third star after Hardware and Software

[BibT_eX]

[DOI]

CoRR, 2007

Guest Editorial to the Special Issue on Advances of Artificial Intelligence and Knowledge Engineering in China.

[BibT_eX]

[DOI]

Zhi-Hua Zhou

Comput. J., 2007

A Merging-Based Approach to Handling Inconsistency in Locally Prioritized Software Requirements.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, 2007

Towards Controllable Requirements Engineering Processes based on Cybernetics.

[BibT_eX]

[DOI]

Lin Liu

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006

Beyond Knowledge Engineering.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2006

AI Research in China: 50 Years down the Road.

[BibT_eX]

[DOI]

Daniel Dajun Zeng

Fei-Yue Wang

IEEE Intell. Syst., 2006

Reasoning About Hybrid Probabilistic Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2006: Trends in Artificial Intelligence, 2006

Towards a Software/Knowware Co-engineering.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, 2006

2005

Towards a Mathematical Theory of Knowledge.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2005

From Hardware to Software to Knowware: IT's Third Liberation?

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2005

Research on the multi-talk dialog system.

[BibT_eX]

[DOI]

Hongge Liu

Fan Yang

Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration, 2005

A Logical Approach for Testing Requirements.

[BibT_eX]

Kedian Mu

Proceedings of the IASTED International Conference on Software Engineering, 2005

Sampling Ensembles for Frequent Patterns.

[BibT_eX]

[DOI]

Caiyan Jia

Proceedings of the Fuzzy Systems and Knowledge Discovery, Second International Conference, 2005

Measuring Inconsistency in Requirements Specifications.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2005

Some Cognitive Aspects of a Turing Test for Children.

[BibT_eX]

[DOI]

Proceedings of the Cognitive Systems, Joint Chinese-German Workshop, Shanghai, 2005

Inconsistency-Based Strategy for Clarifying Vague Software Requirements.

[BibT_eX]

[DOI]

Kedian Mu

Proceedings of the AI 2005: Advances in Artificial Intelligence, 2005

2004

Artificial intelligence in medicine in China.

[BibT_eX]

[DOI]

Zhi-Hua Zhou

Artif. Intell. Medicine, 2004

2003

Automating application software generation.

[BibT_eX]

[DOI]

Expert Syst. J. Knowl. Eng., 2003

Automatically multi-paradigm requirements modeling and analyzing: An ontology-based approach.

[BibT_eX]

[DOI]

David A. Bell

Sci. China Ser. F Inf. Sci., 2003

Artificial Intelligence Advances in China.

[BibT_eX]

[DOI]

Kewen Wang

AI Commun., 2003

Design and Implementation Issues in Agent-oriented Knowledge Base.

[BibT_eX]

Proceedings of the IASTED International Conference on Neural Networks and Computational Intelligence, 2003

Domain Knowledge Representation: Using an Ontology Language.

[BibT_eX]

Proceedings of the 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), 2003

2002

Ontology-Based Semantic Cache in AOKB.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2002

Formal Ontology: Foundation of Domain Knowledge Sharing and Reusing.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2002

Generalized L systems.

[BibT_eX]

[DOI]

Wenyan Zhang

Sci. China Ser. F Inf. Sci., 2002

Learning Fuzzy Decision Trees from Sequential and Incomplete Data.

[BibT_eX]

G. Chen

Proceedings of the Intelligent Information Processing, 2002

Automatic Generation of Computer Animation: Using AI for Movie Animation

[BibT_eX]

[DOI]

Songmao Zhang

Lecture Notes in Computer Science 2160, Springer, ISBN: 3-540-43114-4, 2002

1998

OSNET - A Language for Domain Modeling.

[BibT_eX]

[DOI]

Proceedings of the TOOLS 1998: 27th International Conference on Technology of Object-Oriented Languages and Systems, 1998

1997

Intelligent VR Training.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 1997

Tree Structure Genetic Algorithm with Nourishment Mechanism.

[BibT_eX]

[DOI]

Zhangang Han

Proceedings of the Computing and Combinatorics, Third Annual International Conference, 1997

1995

Requirement Specification in Pseudo-Natural Language in PROMIS.

[BibT_eX]

[DOI]

Ronglin Wan

Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995

1994

New Approaches to Knowledge Acquisition

[BibT_eX]

[DOI]

World Scientific Series in Computer Science 39, World Scientific, ISBN: 978-981-4504-47-8, 1994

1993

A True Concurrency Model of CCS Semantics.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1993

1989

Computer-Aided Grammar Acquisition in the Chinese Understanding System CUSAGA.

[BibT_eX]

[DOI]