Biqing Fang

Orcid: 0000-0002-2344-7599

According to our database1, Biqing Fang authored at least 8 papers between 2017 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Heuristic Strategies for Accelerating Multi-Agent Epistemic Planning.
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

2022
Improving Local Search Algorithms via Probabilistic Configuration Checking.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021
A general multi-agent epistemic planner based on higher-order belief change.
Artif. Intell., 2021

An Efficient Two-phase Method for Prime Compilation of Non-clausal Boolean Formulae.
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2021

2020
Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification.
Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019
Tagged Sentential Decision Diagrams: Combining Standard and Zero-suppressed Compression and Trimming Rules.
Proceedings of the International Conference on Computer-Aided Design, 2019

2018
Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting - Application to Belief Update and Conservative Extension.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
A General Multi-agent Epistemic Planner Based on Higher-order Belief Change.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017


  Loading...