HOME | RESEARCH | TEACHING | PUBLICATIONS | STUDENTS | ABOUT ME  
Publications | John Thornton

Publications

2018

Cowley, B., Thornton, J. R., Main, L. & Sattar, A. (2018). Precision without Precisions: Handling uncertainty with a single predictive model. In: Proceedings of the 2018 Conference on Artificial Life, ALIFE 2018, Tokyo, Japan, July 23-27, 2018.

2017

Predictive Processing
Main, L. & Thornton, J. R. (2017). Stable Sparse Encoding for Predictive Processing. In: Proceedings of the 2017 IEEE Symposium Series on Computational Intelligence, IEEE SSCI 2017, Honolulu, Hawaii, USA, November 27- December 1, 2017.

Cowley, B., Thornton, J. R., Main, L. & Sattar, A. (2017). Dynamic Thresholds for Self-Organizing Predictive Cells. In: Proceedings of the 14th European Conference on Artificial Life, ECAL 2017, Lyon, France, September 4-8, 2017.

Cowley, B. & Thornton, J. R. (2017). Feedback Modulated Attention Within a Predictive Framework. In: Proceedings of the 2017 Australasian Conference on Artificial Life and Computational Intelligence, ACALCI 2017, Melbourne, Australia, January 31- February 2, 2017.

2015

Hierarchical Temporal Memory
Kneller, A. & Thornton, J. R. (2015). Distal Dendrite Feedback in Hierarchical Temporal Memory. In: Proceedings of the 2015 International Joint Conference on Neural Networks, IJCNN 2015, Killarney, Ireland, July 12-17, 2015.

Main, L. & Thornton, J. R. (2015). A Cortically Inspired Model for Bioacoustics Recognition. In: Proceedings of the 22nd International Conference on Neural Neural Information Processing, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015.

2014

Satisfiability
Cai, S., Luo, C., Thornton, J. R. & Su, K. (2014). Tailoring Local Search for Partial MaxSAT. In: Proceedings of the 28th Conference on Artificial Intelligence, AAAI 2014, July 27-31, 2014, Quebec, Canada, pp. 2623-2629. AAAI Press / The MIT Press 2014.

Hierarchical Temporal Memory
Cowley, B., Kneller, A. & Thornton, J. R. (2014). Cortically-Inspired Overcomplete Feature Learning for Colour Images. In: PRICAI 2014: Trends in Artificial Intelligence, 13th Pacific Rim International Conference on Artificial Intelligence, Gold Coast, Australia, December 1-5, 2014. Lecture Notes in Computer Science, 8862, pp. 720-732, Heidelberg: © Springer.

Thornton, J. R. (2014). Hierarchical Temporal Intentionality [Abstract]. In: Handbook of the 18th Conference of the Association for the Scientific Study of Consciousness ASSC 18, July 16-19, 2014, Brisbane, Australia, pp. 41-42. University of Queensland. [Talk Overheads].

2013

Hierarchical Temporal Memory
Thornton, J. R. & Srbic, A. (2013). Spatial Pooling for Greyscale Images. International Journal of Machine Learning and Cybernetics. 4(3), 207-216. DOI 10.1007/s13042-012-0087-7. Heidelberg: © Springer, ISSN 1868-8071.

Main, L., Cowley, B., Kneller, A. & Thornton, J. R. (2013). Evaluating Sparse Codes on Handwritten Digits. In S. Cranefield, A. Nayak (Eds.): AI 2013: Advances in Artificial Intelligence, 26th Australasian Joint Conference on Artificial Intelligence, Dunedin, New Zealand, December 1-6, 2013, Proceedings. Lecture Notes in Computer Science, 8272, pp. 396-407, Heidelberg: © Springer.

2012

Hierarchical Temporal Memory
Thornton, J. R., Main, L. & Srbic, A. (2012). Fixed Frame Temporal Pooling. In M. Thielscher, D. Zang (Eds.): AI 2012: Advances in Artificial Intelligence, 25th Australasian Joint Conference on Artificial Intelligence, Sydney, Australia, December 4-7, 2012, Proceedings. Lecture Notes in Computer Science, 7691, pp. 707-718, Heidelberg: © Springer.

Probabilistic Reasoning
Ramachandran, R., Wang, K., Wang, J. & Thornton, J. R. (2012). Probabilistic Reasoning in DL-Lite. In P. Anthony, M. Ishizuka, D. Lukose (Eds.): PRICAI 2012: Trends in Artificial Intelligence, 12th Pacific Rim International Conference on Artificial Intelligence, Kuching, Malaysia, September 3-7, 2012. Lecture Notes in Computer Science, 7458, pp. 480-491, Heidelberg: © Springer.

Philosophy of Mind
Thornton, J. R. (2012). The Phenomenological Negation of the Causal Closure of the Physical. Abstract in Proceedings of the 2012 Conference of the Australasian Association for Philosophy, AAP 2012, Wollongong, Australia, July 1-6, 2012, p. 22. Wollongong University. [Talk Overheads].

2011

Hierarchical Temporal Memory
Thornton, J. R., Srbic, A., Main L. & Chitsaz, M. (2011). Augmented Spatial Pooling. In D. Wang, M. Reynolds (Eds.): AI 2011: Advances in Artificial Intelligence, 24th Australasian Joint Conference on Artificial Intelligence, Perth, Australia, December 5-8, 2011, Proceedings. Lecture Notes in Computer Science, 7106, pp. 261-270, Heidelberg: © Springer.

Probabilistic Reasoning
Sotomayor, M., Wang, K., Shen, Y. & Thornton, J. R. (2011). Probabilistic Multi-Context Systems. In: Proceedings of the Joint International Semantic Technology Conference JIST 2011, Hangzhou, China, December 4-7, 2011. Lecture Notes in Computer Science, 7185, Heidelberg: © Springer.

2010

Philosophy of Mind
Thornton, J. R. & Christensen, C. B. (2010). An Essential Difference: Wheeler and Heidegger on the relationship between science and philosophy. Presented at: Reconstructing the Cognitive World: A workshop with Michael Wheeler, Goethe University Frankfurt am Main, February 3-4, 2010.

2009

Hierarchical Temporal Memory
Thornton, J. R., Faichney, J., Blumenstein, M., Nguyen, V. & Hine, T. (2009). Offline Cursive Character Recognition: A state-of-the-art comparison. In Proceedings of the 14th Conference of the International Graphonomics Society IGS 2009, Dijon, France, September 13-16, 2009.

2008

Hierarchical Temporal Memory
Thornton, J. R., Faichney, J., Blumenstein, M. & Hine, T. (2008). Character Recognition using Hierarchical Vector Quantization and Temporal Pooling. In Wayne Wobcke, Mengjie Zhang (Eds.): AI 2008: Advances in Artificial Intelligence, 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 3-5, 2008, Proceedings. Lecture Notes in Computer Science, 5360, pp. 562-572, Heidelberg: © Springer, ISBN 978-3-540-89377-6.

Satisfiability
Pham, D. N., Thornton, J. R., Gretton, C. & Sattar, A. (2008). Combining Adaptive and Dynamic Local Search for Satisfiability. Journal on Satisfiability, Boolean Modeling and Computation. 4, 149-172.

Pham, D. N., Thornton, J. R. & Sattar, A. (2008). Efficiently Exploiting Dependencies in Local Search for SAT. In Dieter Fox, Carla Gomes (Eds.): Proceedings of the 23rd Conference on Artificial Intelligence, AAAI 2008, July 13-17, 2008, Chicago, Illinois, USA, 1476-1478. AAAI Press / The MIT Press 2008, ISBN 978-1-57735-368-3.

Thornton, J. R. & Pham, D. N. (2008). Using Cost Distributions to Guide Weight Decay in Local Search for SAT. In Tu-Bao Ho, Zhi-Hua Zhou (Eds.): PRICAI 2008: 10th Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam, December 15-19, 2008, Proceedings. Lecture Notes in Computer Science, 5351, pp. 405-416, Heidelberg: © Springer, ISBN 978-3-540-89196-3.

Temporal Reasoning
Pham, D. N., Thornton, J. R. & Sattar, A. (2008). Modelling and Solving Temporal Reasoning as Propositional Satisfiability. Artificial Intelligence. 172(15), 1752-1782, ISSN 0004-3702.

2007

Foundations of Computing Book
Thornton, J. R. (2007). The Foundations of Computing and the Information Technology Age: A historical, sociological and philosophical enquiry. Sydney, Australia: Pearson Prentice Hall, ISBN 9780733988486. [Order a copy online].

Australian Joint Conference on Artificial Intelligence Proceedings
Orgun, M. A. & Thornton, J. R. (Eds.) (2007). AI 2007: Advances in Artificial Intelligence, 20th Australian Joint Conference on Artificial Intelligence. Gold Coast Australia, December 2-6, 2007, Proceedings. Lecture Notes in Computer Science, 4830, Heidelberg: Springer, ISBN 978-3-540-76926-2.

Satisfiability
Pham, D. N., Thornton, J. R. & Sattar, A. (2007). Building Structure into Local Search for SAT. In Manuela M. Veloso (Ed.): IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007, pp. 2359-2364. Winner of Distinguished Paper Award.

Pham, D. N., Thornton, J. R., Gretton, C. & Sattar, A. (2007). Advances in Local Search for Satisfiability. In Mehmet Orgun, John Thornton (Eds.): AI 2007: Advances in Artificial Intelligence, 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings. Lecture Notes in Computer Science, 4830, pp. 213-222, Heidelberg: © Springer, ISBN 978-3-540-76926-2.

Ishtaiwi, A., Thornton, J. R. & Sattar, A. (2007). Weight Redistribution for Unweighted MAX-SAT. In Mehmet Orgun, John Thornton (Eds.): AI 2007: Advances in Artificial Intelligence, 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings. Lecture Notes in Computer Science, 4830, pp. 687-693, Heidelberg: © Springer, ISBN 978-3-540-76926-2.

2006

Hierarchical Temporal Memory
Thornton, J. R., Gustafsson, T., Blumenstein, M. & Hine, T. (2006). Robust Character Recognition using a Hierarchical Bayesian Network. In Abdul Sattar, Byeong Ho Kang (Eds.): AI 2006: Advances in Artificial Intelligence, 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings. Lecture Notes in Computer Science, 4304, pp. 1259-1264. Heidelberg: © Springer, ISBN 3-540-49787-0.

Philosophy of Mind
Thornton, J. R. (2006). Causation and Consciousness [Abstract]. In Proceedings of the 2006 Conference of the Australasian Association for Philosophy, AAP 2006, Canberra, Australia, July 2-7, 2007, p. 35. Australian National University. [Talk Overheads].

Satisfiability
Ishtaiwi, A., Thornton, J. R., Anbulagan, Sattar, A. & Pham, D. N. (2006). Adaptive Clause Weight Redistribution. In F. Benhamou (Ed.): Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, Nantes, France, September 25-29, 2006, Proceedings. Lecture Notes in Computer Science, 4204, pp. 229-243, Hiedelberg: Springer, ISBN 3-540-46267-8.

Temporal Reasoning
Pham, D. N., Thornton, J. R. & Sattar, A. (2006). Towards an Efficient SAT Encoding for Temporal Reasoning. In F. Benhamou (Ed.): Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, Nantes, France, September 25-29, 2006, Proceedings. Lecture Notes in Computer Science, 4204, pp. 421-436, Hiedelberg: Springer, ISBN 3-540-46267-8.

2005

Constraint Satisfaction
Bain, S., Thornton, J. R. & Sattar, A. (2005). Evolving Variable-Ordering Heuristics for Constrained Optimisation. In Peter van Beek (Ed.): Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, Sitges, Spain, October 1-5, 2005, Proceedings. Lecture Notes in Computer Science, 3709, pp. 732-736, Heidelberg: Springer, ISBN 3-540-29238-1.

Bain, S., Thornton, J. R. & Sattar, A. (2005). A Comparison of Evolutionary Methods for the Discovery of Local Search Heuristics. In Shichao Zhang, Ray Jarvis (Eds.): AI 2005: Advances in Artificial Intelligence, 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings. Lecture Notes in Computer Science, 3809, pp. 1068-1074. Heidelberg: Springer, ISBN 3-540-30462-2.

Satisfiability
Ferreira Jr., V. & Thornton, J. R. (2005). Tie Breaking in Clause Weighting Local Search for SAT. In Shichao Zhang, Ray Jarvis (Eds.): AI 2005: Advances in Artificial Intelligence, 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings. Lecture Notes in Computer Science, 3809, pp. 70-81. Heidelberg: Springer, ISBN 3-540-30462-2.

Ishtaiwi, A., Thornton, J. R., Sattar, A. & Pham, D. N. (2005). Neighbourhood Clause Weight Redistribution in Local Search for SAT. In Peter van Beek (Ed.): Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, Sitges, Spain, October 1-5, 2005, Proceedings. Lecture Notes in Computer Science, 3709, pp. 772-776, Heidelberg: Springer, ISBN 3-540-29238-1.

Pham, D. N., Thornton, J. R., Sattar, A. & Ishtaiwi, A. (2005). SAT-based versus CSP-based Constraint Weighting for Satisfiability. In Manuela M. Veloso, Subbarao Kambhampati (Eds.): Proceedings of the 20th National Conference on Artificial Intelligence, AAAI 2005, July 9-13, 2005, Pittsburgh, Pennsylvania, USA, pp. 455-460. AAAI Press / The MIT Press 2005, ISBN 1-57735-236-X.

Thornton, J. R. (2005). Clause Weighting Local Search for SAT. Journal of Automated Reasoning. 35(1-3), 97-142, ISSN 0168-7433.

Temporal Reasoning
Pham, D. N., Thornton, J. R. & Sattar, A. (2005). Modelling and Solving Temporal Reasoning as Satisfiability. Proceedings of the 4th International Workshop on Modelling and Reformulating Constraint Satisfaction Problems, Sitges, Spain. 117-131.

2004

Constraint Satisfaction
Ferreira Jr., V. & Thornton, J. R. (2004). Longer-Term Memory in Clause Weighting Local Search for SAT. In Geoffrey I. Webb, Xinghuo Yu (Eds.): AI 2004: Advances in Artificial Intelligence, 17th Australian Joint Conference on Artificial Intelligence, Cairns, Australia, December 4-6, 2004, Proceedings. Lecture Notes in Computer Science, 3339, pp. 730-741. Heidelberg: Springer, ISBN 3-540-24059-4.

Bain, S., Thornton, J. R. & Sattar, A. (2004). Methods of Automatic Algorithm Generation. In Chengqi Zhang, Hans W. Guesgen, Wai-Kiang Yeap (Eds.): PRICAI 2004: Trends in Artificial Intelligence, 8th Pacific Rim International Conference on Artificial Intelligence, Auckland, New Zealand, August 9-13, 2004, Proceedings. Lecture Notes in Computer Science, 3157, pp. 144-153. Heidelberg: Springer, ISBN 3-540-22817-9.

Bain, S., Thornton, J. R. & Sattar, A. (2004). Evolving Algorithms for Constraint Satisfaction. Proceedings of the 2004 Congress on Evolutionary Computing, CEC 2004, Portland, Oregon, June 19-24, 2004. pp. 265-272. IEEE Computer Society, ISBN 0-7803-8515-2.

Thornton, J. R., Pham, D. N., Bain, S. & Ferreira Jr., V. (2004). Additive versus Multiplicative Clause Weighting for SAT. In Deborah L. McGuinness, George Ferguson (Eds.): Proceedings of the 19th National Conference on Artificial Intelligence, AAAI 2004, July 25-29, 2004, San Jose, California, USA, pp. 191-196. AAAI Press / The MIT Press, ISBN 0-262-51183-5. (PAWS source code available here).

Zhou, L., Thornton, J. R. & Sattar, A. (2004). Dynamic Agent-Ordering and Nogood-Repairing in Distributed Constraint Satisfaction Problems. In Valerie Barr and Zdravko Markov (Eds.): Proceedings of the 17th International Florida Artificial Intelligence Research Society Conference, FLAIRS 2004, May 17-19, 2004, Miami Beach, Florida, USA, pp. 20-25. AAAI Press, ISBN 978-1-57735-201-3.

Temporal Reasoning
Beaumont, M., Thornton, J. R., Sattar, A. & Maher, M. (2004). Solving Over-constrained Temporal Reasoning Problems using Local Search. In Chengqi Zhang, Hans W. Guesgen, Wai-Kiang Yeap (Eds.): PRICAI 2004: Trends in Artificial Intelligence, 8th Pacific Rim International Conference on Artificial Intelligence, Auckland, New Zealand, August 9-13, 2004, Proceedings. Lecture Notes in Computer Science, 3157, pp. 134-143. Heidelberg: Springer, ISBN 3-540-22817-9.

Stantic, B., Khanna, S. & Thornton, J. R. (2004). An Efficient Method for Indexing Now-relative Bitemporal Data. In Klaus-Dieter Schewe, Hugh E. Williams (Eds.): Database Technologies 2004, Proceedings of the Fifteenth Australasian Database Conference, ADC 2004, Dunedin, New Zealand, 18-22 January 2004. CRPIT, 27, pp. 113-122. Australian Computer Society, ISBN 1-920682-06-6.

Thornton, J. R., Beaumont, M., Sattar, A. & Maher, M. (2004). A Local Search Approach to Modelling and Solving Interval Algebra Problems. Journal of Logic and Computation, 14(1), 93-112. Oxford University Press, ISSN 0955-792X.

2003

Constraint Satisfaction
Zhou, L., Thornton, J. R., & Sattar, A. (2003). Dynamic Agent Ordering in Distributed Constraint Satisfaction Problems. In Tamas D. Gedeon, Lance Chun Che Fung (Eds.): AI 2003: Advances in Artificial Intelligence, 16th Australian Joint Conference on Artificial Intelligence, Perth, Australia, December 3-5, 2003, Proceedings. Lecture Notes in Computer Science, 2903, pp. 427-439. Heidelberg: Springer, ISBN 3-540-20646-9.

Robotics
Leonard, J., Treffner, P., & Thornton, J. R. (2003). Tau Guidance for Mobile Soccer Robots. In S. Rogers & J. Effken (Eds.) Studies in Perception and Action VII, 169-172. Lawrence Erlbaum Associates, ISBN 978-0-8058-4805-2.

Satisfiability
Anbulagan, Thornton, J. R., & Sattar, A. (2003). Dynamic Variable Filtering for Hard Random 3-SAT Problems. In Tamas D. Gedeon, Lance Chun Che Fung (Eds.): AI 2003: Advances in Artificial Intelligence, 16th Australian Joint Conference on Artificial Intelligence, Perth, Australia, December 3-5, 2003, Proceedings. Lecture Notes in Computer Science, 2903, pp. 100-111. Heidelberg: Springer, ISBN 3-540-20646-9.

Pullan, W., Zhao, L., & Thornton, J. R. (2003). Estimating Problem Metrics for SAT Clause Weighting Local Search. In Tamas D. Gedeon, Lance Chun Che Fung (Eds.): AI 2003: Advances in Artificial Intelligence, 16th Australian Joint Conference on Artificial Intelligence, Perth, Australia, December 3-5, 2003, Proceedings. Lecture Notes in Computer Science, 2903, pp. 137-149. Heidelberg: Springer, ISBN 3-540-20646-9.

Temporal Reasoning
Stantic, B., Thornton, J. R., & Sattar, A. (2003). A Novel Approach to Model NOW in Temporal Databases. In Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic TIME-ICTL 2003, 8-10 July 2003, Cairns, Queensland, Australia, pp. 174-181. IEEE Computer Society, ISBN 0-7695-1912-1.

2002

Robotics
Ferreira, V., Thornton, J. R. & Leonard, J. (2002). A Subsumption Architecture for Robotic Soccer. In Proceedings of the 2002 FIRA Robot World Congress, May 26-29, Seoul, Korea, pp. 648-654. Korea Robot Soccer Association, ISBN 89-86522-47-0-93560.

Thornton, J. R., Leonard, J., Wiseby, R. & Lee, Y. (2002). Shape Recognition and Enhanced Control Systems for Robot Soccer. In Proceedings of the 2002 FIRA Robot World Congress, May 26-29, Seoul, Korea, pp. 670-675. Korea Robot Soccer Association, ISBN 89-86522-47-0-93560.

Satisfiability
Kravchuk, O., Pullan, W., Thornton, J. R. & Sattar, A. (2002). An Investigation of Variable Relationships in 3-SAT Problems. In Bob McKay, John K. Slaney (Eds.): AI 2002: Advances in Artificial Intelligence, 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002, Proceedings. Lecture Notes in Computer Science, 2557, pp. 579-590. Heidelberg: Springer, ISBN 3-540-00197-2.

Thornton, J. R., Bain, S., Sattar, A. & Pham, D. (2002a). A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints. In Bob McKay, John K. Slaney (Eds.): AI 2002: Advances in Artificial Intelligence, 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002, Proceedings. Lecture Notes in Computer Science, 2557, pp. 603-614. Heidelberg: Springer, ISBN 3-540-00197-2.

Thornton, J. R., Bain, S., Sattar, A. & Pham, D. (2002b). Applying Local Search to MAX-SAT Problems with Hard and Soft Constraints. Proceedings of the 4th International Workshop on Soft Constraints, Soft-02, Ithaca, New York. 87-98.

Thornton, J. R., Pullan, W. & Terry, J. (2002). Towards Fewer Parameters for Clause Weighting SAT Algorithms. In Bob McKay, John K. Slaney (Eds.): AI 2002: Advances in Artificial Intelligence, 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002, Proceedings. Lecture Notes in Computer Science, 2557, pp. 569-578. Heidelberg: Springer, ISBN 3-540-00197-2.

Temporal Reasoning
Thornton, J. R., Beaumont, M., Sattar, A. & Maher, M. (2002). Applying Local Search to Temporal Reasoning. In Proceedings of the 9th International Symposium on Temporal Reasoning and Representation, TIME 2002, Manchester, U.K., July 7-9, pp. 94-99. IEEE Computer Society.

2001

Temporal Reasoning
Beaumont, M., Sattar, A., Maher, M., & Thornton, J. R. (2001). Solving Over-Constrained Temporal Reasoning Problems. In Markus Stumptner, Dan Corbett, Michael J. Brooks (Eds.): AI 2001: Advances in Artificial Intelligence, 14th Australian Joint Conference on Artificial Intelligence, Adelaide, Australia, December 10-14, 2001, Proceedings. Lecture Notes in Computer Science, 2256, pp. 37-49. Heidelberg: Springer, ISBN 3-540-42960-3.

2000

Constraint Satisfaction
Nagarajan, S., Goodwin, S., Sattar, A, & Thornton, J. R. (2000). On Dual Encodings for Non-Binary Constraint Satisfaction Problems. In Rina Dechter (Ed.): Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings. Lecture Notes in Computer Science, 1894, pp. 531-536. Heidelberg: Springer, ISBN 3-540-41053-8.

Thornton, J. R. (2000). Constraint Weighting for Constraint Satisfaction. PhD Thesis, School of Computing and Information Technology, Griffith University, Brisbane, Australia.

1999

Constraint Satisfaction
Thornton, J. R., & Sattar, A. (1999). On the Behaviour and Application of Constraint Weighting. In Joxan Jaffar (Ed.): Principles and Practice of Constraint Programming - CP '99, 5th International Conference, Alexandria, Virginia, USA, October 11-14, 1999, Proceedings. Lecture Notes in Computer Science, 1713, pp. 446-460. Heidleberg: Springer, ISBN 3-540-66626-5.

1998

Constraint Satisfaction
Thornton, J. R., & Sattar, A. (1998a). Dynamic Constraint Weighting for Over-Constrained Problems. In Hing-Yan Lee, Hiroshi Motoda (Eds.): PRICAI '98, Topics in Artificial Intelligence, 5th Pacific Rim International Conference on Artificial Intelligence, Singapore, November 22-27, 1998, Proceedings. Lecture Notes in Computer Science, 1531, pp. 377-388. Heidelberg: Springer, ISBN 3-540-65271-X.

Thornton, J. R., & Sattar, A. (1998b). Using Arc Weights to Improve Iterative Repair. In Proceedings of the 15th National Conference on Artificial Intelligence, AAAI '98, July 26-30, 1998, Madison, Wisconsin, USA, pp. 367-372. AAAI Press / The MIT Press, ISBN 0-262-51098-7.

1997

Constraint Satisfaction
Thornton, J. R., & Sattar, A. (1997). Applied Partial Constraint Satisfaction Using Weighted Iterative Repair. In Abdul Sattar (Ed.): Advanced Topics in Artificial Intelligence, 10th Australian Joint Conference on Artificial Intelligence, AI '97 , Perth, Australia, November 30 - December 4, 1997, Proceedings. Lecture Notes in Computer Science, 1342, pp. 57-66. Heidelberg: Springer, ISBN 3-540-63797-4.

Nurse Rostering
Thornton, J. R., & Sattar, A. (1997). Nurse Rostering and Integer Programming Revisited. In B. Verma & X. Yao (Eds.) International Conference on Computational Intelligence and Multimedia Applications, ICCIMA '97, Gold Coast, Australia, February 10-12, 1997, pp. 49-58. ISBN 0-86857-761-8.

1996

Nurse Rostering
Thornton, J. R., & Sattar, A. (1996). An Integer Programming-Based Nurse Rostering System. In Joxan Jaffar, Roland H. C. Yap (Eds.): Concurrency and Parallelism, Programming, Networking, and Security: 2nd Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings. Lecture Notes in Computer Science, 1179, pp. 357-358. Heidelberg: Springer, ISBN 3-540-62031-1.

1995

Nurse Rostering
Thornton, J. R. (1995). An Enhanced Cyclic Descent Algorithm for Nurse Rostering. Honours Thesis, Faculty of Engineering and Applied Science, Griffith University, Gold Coast, Australia.