John Thornton's Publications

Publications

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, [to appear].

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.

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, [to appear].

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. 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.