Proceedings of the Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners' and Doctoral Consortium, 2022

Knowledge Compilation Meets Logical Separability.

[BibT_eX]

[DOI]

Junming Qiu

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Analysis of RSSI Feasibility for Sensor Positioning in Exterior Environment.

[BibT_eX]

[DOI]

Proceedings of the Wireless Telecommunications Symposium, 2021

2020

Reweighted Price Relative Tracking System for Automatic Portfolio Optimization.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2020

Loss Control with Rank-one Covariance Estimate for Short-term Portfolio Optimization.

[BibT_eX]

[DOI]

J. Mach. Learn. Res., 2020

Automatic Synthesis of Generalized Winning Strategies of Impartial Combinatorial Games Using SMT Solvers.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Dynamic Minimization of Bi-Kronecker Functional Decision Diagrams.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020

Automatic Synthesis of Generalized Winning Strategy of Impartial Combinatorial Games.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019

多智能体模态逻辑系统KD45n中的知识遗忘 (Knowledge Forgetting in Multi-agent Modal Logic System KD45n).

[BibT_eX]

[DOI]

计算机科学, 2019

Forgetting in multi-agent modal logics.

[BibT_eX]

[DOI]

Liangda Fang

Yongmei Liu

Hans van Ditmarsch

Artif. Intell., 2019

Tagged Sentential Decision Diagrams: Combining Standard and Zero-suppressed Compression and Trimming Rules.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computer-Aided Design, 2019

Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean Functions.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Trend representation based log-density regularization system for portfolio optimization.

[BibT_eX]

[DOI]

Pattern Recognit., 2018

Short-term Sparse Portfolio Optimization Based on Alternating Direction Method of Multipliers.

[BibT_eX]

[DOI]

J. Mach. Learn. Res., 2018

A kernel-based trend pattern tracking system for portfolio optimization.

[BibT_eX]

[DOI]

Data Min. Knowl. Discov., 2018

Knowledge Compilation in Multi-Agent Epistemic Logics.

[BibT_eX]

[DOI]

CoRR, 2018

Knowledge Compilation in the Multi-Agent Epistemic Logic Kn.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting - Application to Belief Update and Conservative Extension.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2015

A Complete Epistemic Planner without the Epistemic Closed World Assumption.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus.

[BibT_eX]

[DOI]

Liangda Fang

Yongmei Liu

Ximing Wen

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2013

High-Level Program Execution in Multi-agent Settings.

[BibT_eX]

[DOI]

Liangda Fang

Proceedings of the IJCAI 2013, 2013

Multiagent Knowledge and Belief Change in the Situation Calculus.

[BibT_eX]

[DOI]

Liangda Fang

Yongmei Liu

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

Liangda Fang

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...