{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T19:34:24Z","timestamp":1648841664675},"reference-count":26,"publisher":"Informa UK Limited","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"published-print":{"date-parts":[[2013,3]]},"DOI":"10.1080\/0952813x.2012.660991","type":"journal-article","created":{"date-parts":[[2012,2,24]],"date-time":"2012-02-24T12:35:32Z","timestamp":1330086932000},"page":"23-51","source":"Crossref","is-referenced-by-count":0,"title":["Computing higher order exclusion relations in propositional planning"],"prefix":"10.1080","volume":"25","author":[{"given":"Ioannis","family":"Refanidis","sequence":"first","affiliation":[]},{"given":"Ilias","family":"Sakellariou","sequence":"additional","affiliation":[]}],"member":"301","reference":[{"key":"CIT0001","unstructured":"Anderson , CR . Smith, D.E., and Weld, D.S. (1998), \u2018Conditional Effects in Graphplan\u2019, inProceedings of the Artificial Intelligence Planning Systems(AIPS)Conference, pp. 44\u201353"},{"key":"CIT0002","unstructured":"Bernandini , S and Smith , DE . (2011), \u2018Finding Mutual Exclusion Invariants in Temporal Planning Domains\u2019, inProceedings of the 7th International Workshop on Planning and Scheduling for Space(IWPSS 2011), Darmstadt, Germany"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(96)00047-1"},{"key":"CIT0004","unstructured":"Bonet , B . Loerincs, G., and Geffner, H. (1997), \u2018A Robust and Fast Action Selection Mechanism for Planning\u2019, inProceedings of AAAI-97, pp. 714\u2013719"},{"key":"CIT0005","unstructured":"Bryan , RE . (1985), \u2018Symbolic Manipulation of Boolean Functions Using a Graphical Representation\u2019, inDAC, pp. 688\u2013694"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2008.11.004"},{"key":"CIT0007","doi-asserted-by":"crossref","unstructured":"Cimatti , A . Giunchiglia, E., Giunchiglia, F., and Traverso, P. (1997), \u2018Planning Via Model Checking: A Decision Procedure for AR\u2019, inProceedings of European Conference on Planning (ECP), pp. 130\u2013142","DOI":"10.1007\/3-540-63912-8_81"},{"key":"CIT0008","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1613\/jair.989","volume":"17","author":"Darwiche A","year":"2002","journal-title":"Journal of Artificial Intelligence Research"},{"key":"CIT0009","unstructured":"Edelkamp , S and Jabbar , S . (2006), \u2018Cost-optimal External Planning\u2019, inProceedings of the 21st National (American) Conference on Artificial Intelligence (AAAI),pp. 821\u2013826"},{"key":"CIT0010","unstructured":"Fourman , M . (2000), \u2018Propositional Planning\u2019, inProceedings of the AIPS Workshop on Propositional Planning, pp. 10\u201317"},{"key":"CIT0011","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1613\/jair.544","volume":"9","author":"Fox M","year":"1998","journal-title":"Journal of Artificial Intelligence Research"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1145\/359642.359654"},{"key":"CIT0013","unstructured":"Gerevini , A and Schubert , LK . (1998), \u2018Inferring State Constraints for Domain-Independent Planning\u2019, inProceedings of the 15th National Conference on Artificial Intelligence\/10th Innovative Applications of Artificial Intelligence Conference, AAAI\/IAAI 98, pp. 905\u2013912"},{"key":"CIT0014","unstructured":"Haslum , P and Geffner , H . (2000), \u2018Admissible Heuristics for Optimal Planning\u2019, InProceedings of the 5th International Conference on AI Planning and Scheduling(AIPS), pp. 140\u2013149"},{"key":"CIT0015","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2008.10.013"},{"key":"CIT0016","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1613\/jair.855","volume":"14","author":"Hoffmann J","year":"2001","journal-title":"Journal of Artificial Intelligence Research"},{"key":"CIT0017","unstructured":"Kautz , H and Selman , S . (1998), \u2018BLACKBOX: A New Approach to the Application of Theorem Proving to Problem Solving\u2019, inWorking Notes of the Workshop on Planning as Combinatorial Search, held in conjunction with AIPS-98, Pittsburgh, PA"},{"key":"CIT0018","doi-asserted-by":"crossref","unstructured":"Koehler , J . Nebel, B., Hoffmann, J., and Dimopoulos, Y. (1997), \u2018Extending Planning Graphs to an ADL Subset\u2019, inProceedings of the European Conference on Planning (ECP-97), Springer, LNAI, 1348, pp. 273\u2013285","DOI":"10.1007\/3-540-63912-8_92"},{"key":"CIT0019","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1613\/jair.570","volume":"10","author":"Long D","year":"1999","journal-title":"Journal of Artificial Intelligent Research"},{"key":"CIT0020","unstructured":"McAllester , DA . (1990), \u2018Truth Maintenance\u2019, inProceedings of the Eighth National Conference on Artificial Intelligence(AAAI'90), pp. 1109\u20131116"},{"key":"CIT0021","unstructured":"Nguyen , X . and Kambhampati, S. (2001), \u2018Reviving Partial Order Planning\u2019, inProceedings of IJCAI-2001, pp. 459\u2013466"},{"key":"CIT0022","unstructured":"Refanidis , I . (2005), \u2018Stratified Heuristic POCL Temporal Planning Based on Planning Graphs and Constraint Programming\u2019, inProceedings of the ICAPS Workshop on Constraint Programming for Planning and Scheduling, eds., Beck, J.C., Davenport, A., and Walsh, T., Monterey, pp. 66\u201373"},{"key":"CIT0023","unstructured":"Refanidis , I and Sakellariou , I . (2009), \u2018A Systematic and Complete Algorithm to Compute Higher Order Exclusion Relations\u2019, inProceeding of the ICAPS Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS\u20322009), pp. 33\u201342"},{"key":"CIT0024","unstructured":"Rintanen , J . (2000), \u2018An Iterative Algorithm for Synthesizing Invariants\u2019, inProceedings of the 17th National Conference on Artificial Intelligence\/12th Innovative Applications of AI Conference, pp. 806\u2013811"},{"key":"CIT0025","unstructured":"Smith , DE and Weld , DS . (1999), \u2018Temporal Planning with Mutual Exclusion Reasoning\u2019, inProceedings of the Sixteenth International Joint Conference on Artificial Intelligence, pp. 326\u2013337"},{"key":"CIT0026","unstructured":"Weld , DS and Smith , DE . (1998), \u2018Conformant Graphplan\u2019, inProceedings of AAAI-98, pp. 889\u2013896"}],"container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/0952813X.2012.660991","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T06:50:36Z","timestamp":1561359036000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/0952813X.2012.660991"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3]]},"references-count":26,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,3]]}},"alternative-id":["10.1080\/0952813X.2012.660991"],"URL":"https:\/\/doi.org\/10.1080\/0952813x.2012.660991","relation":{},"ISSN":["0952-813X","1362-3079"],"issn-type":[{"value":"0952-813X","type":"print"},{"value":"1362-3079","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3]]}}}