Ping Hou

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

Infinite-Horizon Proactive Dynamic DCOPs.

[BibT_eX]

[DOI]

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

Goal Recognition Design with Stochastic Agent Action Outcomes.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Proactive Dynamic Distributed Constraint Optimization.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Solving Risk-Sensitive POMDPs With and Without Cost Observations.

[BibT_eX]

[DOI]

Pradeep Varakantham

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

Proactive Dynamic DCOPs.

[BibT_eX]

[DOI]

Proceedings of the AI for Smart Grids and Smart Buildings, 2016

2015

Probabilistic Planning with Risk-Sensitive Criterion.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

New feature selection methods based on context similarity for text categorization.

[BibT_eX]

[DOI]

Yifei Chen

Bingqing Han

Proceedings of the 11th International Conference on Fuzzy Systems and Knowledge Discovery, 2014

A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems.

[BibT_eX]

[DOI]

Yifei Chen

Proceedings of the Automated Reasoning in Quantified Non-Classical Logics, 2014

Revisiting Risk-Sensitive MDPs: New Algorithms and Results.

[BibT_eX]

[DOI]

Pradeep Varakantham

Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

Solving Uncertain MDPs by Reusing State Information and Plans.

[BibT_eX]

[DOI]

Tran Cao Son

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

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

[BibT_eX]

[DOI]

Hao Zheng

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2013

2012

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

[BibT_eX]

[DOI]

Johan Wittocx

CoRR, 2012

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

[BibT_eX]

[DOI]

CoRR, 2012

2011

Reduced recruitment of orbitofrontal cortex to human social chemosensory cues in social anxiety.

[BibT_eX]

[DOI]

NeuroImage, 2011

2010

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

[BibT_eX]

[DOI]

Broes De Cat

Theory Pract. Log. Program., 2010

2009

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

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

2007

A Deductive System for PC(ID).

[BibT_eX]

[DOI]

Johan Wittocx

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

2006

The Research of an Intelligent Object-Oriented Prototype for Data Warehouse.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computing, 2006

The research of a web-based network blocking prototype for next generation network.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE International Conference on Granular Computing, 2006

The Research of a Processing Prototype for NGN Congestion.

[BibT_eX]

[DOI]

Proceedings of the Advances in Intelligent IT, 2006

2005

Some Representation Theorems for Recovering Contraction Relations.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2005

2002

Capacity of AM-PSK on partially coherent fading channels.

[BibT_eX]

[DOI]

IEEE Trans. Commun., 2002

Shaping gain of the partially coherent additive white Gaussian noise channel.

[BibT_eX]

[DOI]

Benjamin Belzer

Thomas R. Fischer

IEEE Commun. Lett., 2002

2000

On simultaneous global external and global internal stabilization of critically unstable linear systems with saturating actuators.

[BibT_eX]

[DOI]

Ali Saberi

Anton A. Stoorvogel

IEEE Trans. Autom. Control., 2000

1998

Simultaneous External and Internal Stabilization for Continuous and Discrete-Time Critically Unstable Linear Systems with Saturating Actuators.

[BibT_eX]

[DOI]