Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Wujia Zhu

dblp:12/1545 · DBLP profile ↗
← Back
7ranked-venue papers
0as first author
0since 2021 · last 2003
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 4Artificial intelligence and machine learning · 3Graphics, computer vision, multimedia, augmented reality and games · 2Applied, interdisciplinary, general and emerging computing · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Artificial intelligence
2 papers
Knowledge representation and reasoning · 100%
Theoretical computer science
2 papers
Logic in computer science · 100%

Topics — the 6 heaviest of 6, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Knowledge, reasoning and agents › Knowledge representation and reasoning
nonmonotonic reasoning
0.022000
Valuation-ranked preferential model · KR 2000
Nonmonotonic Reasoning and Multiple Belief Revision · IJCAI (1) 1997
Knowledge, reasoning and agents › Knowledge representation and reasoning › nonmonotonic reasoning
preferential models
0.012000
Valuation-ranked preferential model · KR 2000
Logic in computer science › semantics
semantics of logic
0.012000
Valuation-ranked preferential model · KR 2000
Knowledge, reasoning and agents › Knowledge representation and reasoning
belief revision
0.011997
Nonmonotonic Reasoning and Multiple Belief Revision · IJCAI (1) 1997
Logic in computer science
belief revision
0.011997
Representation Theorems for Multiple Belief Changes · IJCAI (1) 1997
Logic in computer science › algebraic logic
representation theorem
0.011997
Representation Theorems for Multiple Belief Changes · IJCAI (1) 1997

Methods — techniques the papers use, named apart from their topics

preferential model · 0.1representation theorem · 0.0
YearPublicationVenuePosition
2003 A representation theorem for recovering contraction relations satisfying wci
Zhaohui Zhu, Xian Xiao, Shifu Chen, Wujia Zhu
Theor. Comput. Sci.5
2003 Normal conditions for inference relations and injective models
Zhaohui Zhu, Xian Xiao, Wujia Zhu
Theor. Comput. Sci.4
2002 Valuation Structure
abstract
Abstract This paper introduces valuation structures associated with preferential models. Based on KLM valuation structures, we present a canonical approach to obtain injective preferential models for any preferential relation satisfying the property INJ, and give uniform proofs of representation theorems for injective preferential relations appeared in the literature. In particular, we show that, in any propositional language (finite or infinite), a preferential inference relation satisfies INJ if and only if it can be represented by a standard preferential model. This conclusion generalizes the result obtained by Freund. In addition, we prove that, when the language is finite, our framework is sufficient to establish a representation theorem for any injective relation.
Zhaohui Zhu, Zhenghua Pan, Shifu Chen, Wujia Zhu
J. Symb. Log.4
2001 Some Contributions to Nonmonotonic Consequence
Zhaohui Zhu, Dongmo Zhang, Shifu Chen, Wujia Zhu
J. Comput. Sci. Technol.4
2000 Valuation-ranked preferential model
Zhaohui Zhu, Shifu Chen, Wujia Zhu
KR4
1997 Representation Theorems for Multiple Belief Changes
Dongmo Zhang, Shifu Chen, Wujia Zhu, Zhaoqian Chen
IJCAI (1)3
1997 Nonmonotonic Reasoning and Multiple Belief Revision
Dongmo Zhang, Shifu Chen, Wujia Zhu, Hongbing Li
IJCAI (1)3