Zhanhao Xiao

Orcid: 0000-0001-6440-335X

According to our database1, Zhanhao Xiao authored at least 24 papers between 2012 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
On the role of logical separability in knowledge compilation.
Artif. Intell., March, 2024

Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter.
J. Syst. Softw., 2024

2023
H-RNet: Hybrid Relation Network for Few-Shot Learning-Based Hyperspectral Image Classification.
Remote. Sens., 2023

Gradient-Based Mixed Planning with Symbolic and Numeric Action Parameters (Extended Abstract).
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Exploring the Capacity of Pretrained Language Models for Reasoning about Actions and Change.
Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2023

2022
Learning Visual Planning Models from Partially Observed Images.
CoRR, 2022

TRAC: A Textual Benchmark for Reasoning about Actions and Change.
CoRR, 2022

Gradient-based mixed planning with symbolic and numeric action parameters.
Artif. Intell., 2022

LogicNMR: Probing the Non-monotonic Reasoning Ability of Pre-trained Language Models.
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2022, 2022

Knowledge Compilation Meets Logical Separability.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021
Gradient-Based Mixed Planning with Discrete and Continuous Actions.
CoRR, 2021

Towards Solving the Winograd Schema Challenge: Model-Free, Model-Based and a Spectrum in Between.
Proceedings of the Knowledge Science, Engineering and Management, 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

Refining HTN Methods via Task Insertion with Preferences.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Representation Learning for Classical Planning from Partially Observed Traces.
CoRR, 2019

2017
BDI Logics for BDI Architectures: Old Problems, New Perspectives.
Künstliche Intell., 2017

Hierarchical Task Network Planning with Task Insertion and State Constraints.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Refinement of Intentions.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Deciding Refinement Relation in Belief-Intention Databases.
Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017

2016
Refinement of Intentions.
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

On Hierarchical Task Networks.
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

2014
Computing General First-Order Parallel and Prioritized Circumscription.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Elementary Loops Revisited.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2012
τε2asp : Implementing $\mathcal{TE}$ via Answer Set Programming.
Proceedings of the PRICAI 2012: Trends in Artificial Intelligence, 2012


  Loading...