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
Demo Data from SIGIR 2026 / reviewers in the wild / expert

Bertrand I-Peng Lin

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

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

Artificial intelligence and machine learning · 7Graphics, computer vision, multimedia, augmented reality and games · 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%

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

TopicWeightPapersLastEvidence papers
Knowledge, reasoning and agents › Knowledge representation and reasoning › uncertainty reasoning
possibilistic reasoning		 0.011996
Possibilistic Reasoning - A Mini-Survey and Uniform Semantics · Artif. Intell. 1996
Knowledge, reasoning and agents › Knowledge representation and reasoning › nonmonotonic reasoning
circumscription		 0.011992
Abstract Minimality and Circumscription · Artif. Intell. 1992
Knowledge, reasoning and agents › Knowledge representation and reasoning
nonmonotonic reasoning		 0.011992
Abstract Minimality and Circumscription · Artif. Intell. 1992

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

possibility theory · 0.0circumscription · 0.0
YearPublicationVenuePosition
1996 Possibilistic Reasoning - A Mini-Survey and Uniform Semantics
Churn-Jung Liau, Bertrand I-Peng Lin
 Artif. Intell.2
1995 A theoretical investigation into quantitative modal logic
Churn-Jung Liau, Bertrand I-Peng Lin
 Fuzzy Sets Syst.2
1993 Reasoning about Higher Order Uncertainty in Possiblistic Logic
Churn-Jung Liau, Bertrand I-Peng Lin
 ISMIS2
1993 Proof methods for reasoning about possibility and necessity
Churn-Jung Liau, Bertrand I-Peng Lin
 Int. J. Approx. Reason.2
1992 Quantitative Modal Logic and Possibilistic Reasoning
Churn-Jung Liau, Bertrand I-Peng Lin
 ECAI2
1992 Abstract Minimality and Circumscription
Churn-Jung Liau, Bertrand I-Peng Lin
 Artif. Intell.2
1988 Fuzzy Logic with Equality
abstract
The concept of fuzzy equality and its related contents to the first order predicate calculus are discussed. It is proved that, in the viewpoint of computational logic, resolution and paramodulation mechanisms are complete and sound for fuzzy logic with equality. Term rewriting system, that is the set of left to right directional equations, provides an essential computational paradigm for word problems in universal algebra. We embody the fuzzy equality to the theory of this computation system and give an algorithmic solution to the word problems in fuzzy algebra.
Churn-Jung Liau, Bertrand I-Peng Lin
 Int. J. Pattern Recognit. Artif. Intell.2