ijcai 2016 论文列表Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), New York City, USA, July 10, 2016. |
Numeric Planning via Search Space Abstraction.
Strong-Cyclic Planning when Fairness is Not a Valid Assumption.
Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version).
Assumption-Based Planning with Sensing via Contingent Planning.
Belief State Estimation for Planning via Approximate Logical Filtering and Smoothing.
Decomposing Minimal Models.
Using Knowledge Representation and Reasoning Tools in the Design of Robots.
On Structural Properties to Improve FMEA-Based Abductive Diagnosis.
Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and Models.
Grammar Induction as Automated Transformation between Constraint Solving Models of Language.