P. Hou

发表

A Deductive System for FO(ID) Based on Least Fixpoint Logic

Ping Hou, Marc Denecker, M. Denecker, 2009, LPNMR.

Proactive Dynamic Distributed Constraint Optimization Problems

M. Yokoo, Roie Zivan, P. Hou, 2022, J. Artif. Intell. Res..

Solving Uncertain MDPs by Reusing State Information and Plans

Ping Hou, Tran Cao Son, William Yeoh, 2014, AAAI.

LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions pdf

Ping Hou, Johan Wittocx, Marc Denecker, 2012, ArXiv.

FO(FD): Extending classical logic with rule-based fixpoint definitions pdf

Ping Hou, Marc Denecker, Broes De Cat, 2010, Theory and Practice of Logic Programming.

Solving Risk-Sensitive POMDPs With and Without Cost Observations

Ping Hou, Pradeep Varakantham, William Yeoh, 2016, AAAI.

Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems

Hao Zheng, Ping Hou, P. Hou, 2012, LFCS.

Proactive Dynamic Distributed Constraint Optimization

Makoto Yokoo, Ping Hou, Roie Zivan, 2016, AAMAS.

Infinite-Horizon Proactive Dynamic DCOPs

Makoto Yokoo, Ping Hou, Roie Zivan, 2017, AAMAS.

Optimal control of the insurance company with proportional reinsurance policy under solvency constraints

P. Hou, Zongxia Liang, Lin He, 2008 .

CoCon: A Conference Management System with Formally Verified Document Confidentiality

Andrei Popescu, Peter Lammich, Ping Hou, 2020, Journal of Automated Reasoning.

Automated Reasoning in Quantified Non-Classical Logics A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems

Ping Hou, Yifei Chen, P. Hou, 2015 .