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

Xianqiao Liu

dblp:218/7230 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
0since 2021 · last 2020
—ORCID · none

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

Artificial intelligence and machine learning · 2Graphics, computer vision, multimedia, augmented reality and games · 2

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.

Theoretical computer science
2 papers
Logic in computer science · 100%
Artificial intelligence
2 papers
Knowledge representation and reasoning · 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 › logic programming
existential rules
0.412020
Query Answering with Guarded Existential Rules under Stable Model Semantics · AAAI 2020
Logic in computer science › knowledge representation and reasoning
query answering
0.412020
Query Answering with Guarded Existential Rules under Stable Model Semantics · AAAI 2020
Logic in computer science › logic programming
stable model semantics
0.412020
Query Answering with Guarded Existential Rules under Stable Model Semantics · AAAI 2020
Knowledge, reasoning and agents › Knowledge representation and reasoning › belief change
belief update
0.312018
Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting - Application to Belief Update and Conservative Extension · AAAI 2018
Logic in computer science › proof theory
conservative extension
0.312018
Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting - Application to Belief Update and Conservative Extension · AAAI 2018
Logic in computer science
propositional logic
0.312018
Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting - Application to Belief Update and Conservative Extension · AAAI 2018

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

stable model semantics · 0.9formula forgetting · 0.7
YearPublicationVenuePosition
2020 Query Answering with Guarded Existential Rules under Stable Model Semantics
Hai Wan, Guohui Xiao 0001, Chenglin Wang 0002, Xianqiao Liu, Zhe Wang 0001
AAAI4
2018 Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting - Application to Belief Update and Conservative Extension
Liangda Fang, Hai Wan, Xianqiao Liu, Biqing Fang, Zhao-Rong Lai
AAAI3