Nathan Robinson
TitleCited byYear
SAT-based parallel planning using a split representation of actions
N Robinson, C Gretton, DN Pham, A Sattar
Nineteenth International Conference on Automated Planning and Scheduling, 2009
392009
A Compact and Efficient SAT Encoding for Planning.
N Robinson, C Gretton, DN Pham, A Sattar
ICAPS, 296-303, 2008
252008
Partial weighted MaxSAT for optimal planning
N Robinson, C Gretton, DN Pham, A Sattar
Pacific rim international conference on artificial intelligence, 231-243, 2010
232010
Co-plan: Combining SAT-based planning with forward-search
N Robinson, C Gretton, DN Pham
Proc. IPC-6, 2008
112008
Comparing the effectiveness of reasoning formalisms for partial models
P Saadatpanah, M Famelis, J Gorzny, N Robinson, M Chechik, R Salay
Proceedings of the Workshop on Model-Driven Engineering, Verification and …, 2012
92012
Cost-based query optimization via AI planning
N Robinson, S McIlraith, D Toman
Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
42014
LPForget: A System of Forgetting in Answer Set Programming
FL Cheng, T Eiter, N Robinson, A Sattar, K Wang
Australasian Joint Conference on Artificial Intelligence, 1101-1105, 2006
42006
Planning the transformation of overlays
Y Yoon, N Robinson, V Muthusamy, S McIlraith, HA Jacobsen
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 500-507, 2016
32016
Advancing Planning-as-satisfiability
N Robinson
Griffith University, Queensland Australia, 2011
32011
Cost-optimal planning using weighted MaxSAT
N Robinson, C Gretton, DN Pham, A Sattar
Proc. ICAPS Workshop on Constraint Satisfaction Techniques for PLanning and …, 2010
32010
Towards planning the transformation of overlays
Y Yoon, N Robinson, V Muthusamy, S McIlraith, HA Jacobsen
2015 IEEE 35th International Conference on Distributed Computing Systems …, 2015
22015
Planning the transformation of network topologies
Y Yoon, N Robinson, V Muthusamy, HA Jacobsen, SA McIlraith
Workshops at the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
12012
Query Optimization Revisited: An AI Planning Perspective
N Robinson, SA McIlraith, D Toman
SPARK 2013, 2013
2013
Comparing the Effectiveness of Reasoning Formalisms for Partial Models
PSMFJ Gorzny, N Robinson, MCR Salay
Propositional Probabilistic Planning-as-Satisfiability using Stochastic Local Search
N Robinson, C Gretton, DN Pham, A Sattar
The system can't perform the operation now. Try again later.
Articles 1–15