Yuefei Sui

Proceedings of the Theory and Applications of Models of Computation, 2006

Further Study of the Fuzzy Reasoning Based on Propositional Modal Logic.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets and Knowledge Technology, First International Conference, 2006

Rough Contexts and Rough-Valued Contexts.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets and Knowledge Technology, First International Conference, 2006

The Rough Logic and Roughness of Logical Theories.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets and Knowledge Technology, First International Conference, 2006

An Ontology-Based First-Order Modal Logic.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets and Current Trends in Computing, 2006

Outlier Detection Based on Rough Membership Function.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets and Current Trends in Computing, 2006

One Axiomatic System for the Ontology Revision.

[BibT_eX]

[DOI]

Zhiping Li

Proceedings of the Intelligent Information Processing III, 2006

A Formal Description of Agents' Epistemic States and Environments.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information Processing III, 2006

A Service-Oriented Data Integration Architecture and the Integrating Tree.

[BibT_eX]

[DOI]

Proceedings of the Grid and Cooperative Computing, 2006

A Logic of Believable Agents.

[BibT_eX]

[DOI]

Yu Pan

Proceedings of the Firth IEEE International Conference on Cognitive Informatics, 2006

Default Description Logics with Reversing Inference Rules.

[BibT_eX]

[DOI]

Proceedings of the Firth IEEE International Conference on Cognitive Informatics, 2006

Logical Connections of Statements in Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Firth IEEE International Conference on Cognitive Informatics, 2006

2005

Logical Sentences as the Intent of Concepts.

[BibT_eX]

[DOI]

Youming Xia

J. Comput. Sci. Technol., 2005

Building an Ontology and Knowledge Base of the Human Meridian-Collateral System.

[BibT_eX]

[DOI]

Proceedings of the Applications and Innovations in Intelligent Systems XIII, 2005

Description of Fuzzy First-Order Modal Logic Based on Constant Domain Semantics.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets, 2005

Outlier Detection Using Rough Set Theory.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets, 2005

The Graph-Theoretical Properties of Partitions and Information Entropy.

[BibT_eX]

[DOI]

Youming Xia

Proceedings of the Rough Sets, 2005

The Ontology Revision.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Translating Ontologies to Default Logic.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence Applications and Innovations - IFIP TC12 WG12.5, 2005

2004

Domain-Specific Ontology of Botany.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2004

Knowledge modeling and acquisition of traditional Chinese herbal drugs and formulae from text.

[BibT_eX]

[DOI]

Haitao Wang

Artif. Intell. Medicine, 2004

Fuzzy Reasoning Based on Propositional Modal Logic.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets and Current Trends in Computing, 2004

ULMM: A Uniform Logic Modeling Method in Intelligent Tutoring Systems.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2004

PIModel: A Pragmatic ITS Model Based on Instructional Automata Theory.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, 2004

2003

The Information Entropy of Rough Relational Databases.

[BibT_eX]

[DOI]

Youming Xia

Ju Wang

Proceedings of the Rough Sets, 2003

Rough Mereology in Knowledge Representation.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets, 2003

2002

The Contiguity in R/M.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2002

Progress in the Development of National Knowledge Infrastructure.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2002

The Prioritized Inductive Logic Programs

[BibT_eX]

[DOI]

Shilong Ma

Ke Xu

CoRR, 2002

The Limits of Horn Logic Programs.

[BibT_eX]

[DOI]

Shilong Ma

Ke Xu

Proceedings of the Logic Programming, 18th International Conference, 2002

2001

Two Online Algorithms for the Ambulance Systems.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2001

A Logical Framework for Convergent Infinite Computations

[BibT_eX]

[DOI]

CoRR, 2001

Local noncuppability in R/M.

[BibT_eX]

[DOI]

Sci. China Ser. F Inf. Sci., 2001

Concept Approximation in Concept Lattice.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Discovery and Data Mining, 2001

The Entropy of Rough Relations in Rough Relational Databases.

[BibT_eX]

Ju Wang

Jian Yuncheng

Proceedings of the World Multiconference on Systemics, Cybernetics and Informatics, 2001

Rough Set Theory under the Similarity Relations.

[BibT_eX]

Proceedings of the World Multiconference on Systemics, Cybernetics and Informatics, 2001

1999

The Cupping Theorem in R/M.

[BibT_eX]

[DOI]

J. Symb. Log., 1999

1996

An Extended Lachlan Splitting Theorem.

[BibT_eX]

[DOI]

Steffen Lempp

Ann. Pure Appl. Log., 1996

1994

A New Reducibility between Turing- and wtt-Reducibility.

[BibT_eX]

[DOI]

Math. Log. Q., 1994

1993

Bounded recursively enumerable sets and degrees.

[BibT_eX]

[DOI]