John Thornton

According to our database, John Thornton authored at least 55 papers between 1996 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Evaluating logic gate constraints in local search for structured satisfiability problems.

M. A. Hakim Newton, Md. Masbaul Alam, Duc Nghia Pham, John Thornton, Kaile Su, Abdul Sattar

Artif. Intell. Rev., 2021

2018

Precision without Precisions: Handling uncertainty with a single predictive model.

Benjamin Cowley, John Thornton, Linda Main, Abdul Sattar

Proceedings of the 2018 Conference on Artificial Life, 2018

2017

Stable sparse encoding for predictive processing.

Linda Main, John Thornton

Proceedings of the 2017 IEEE Symposium Series on Computational Intelligence, 2017

Dynamic thresholds for self-organizing predictive cells.

Benjamin Cowley, John Thornton, Linda Main, Abdul Sattar

Proceedings of the Fourteenth European Conference Artificial Life, 2017

Feedback Modulated Attention Within a Predictive Framework.

Benjamin Cowley, John Thornton

Proceedings of the Artificial Life and Computational Intelligence, 2017

2015

Distal dendrite feedback in hierarchical temporal memory.

Adam Kneller, John Thornton

Proceedings of the 2015 International Joint Conference on Neural Networks, 2015

A Cortically-Inspired Model for Bioacoustics Recognition.

Linda Main, John Thornton

Proceedings of the Neural Information Processing - 22nd International Conference, 2015

2014

Cortically-Inspired Overcomplete Feature Learning for Colour Images.

Benjamin Cowley, Adam Kneller, John Thornton

Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

Tailoring Local Search for Partial MaxSAT.

Shaowei Cai, Chuan Luo, John Thornton, Kaile Su

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Spatial pooling for greyscale images.

John Thornton, Andrew Srbic

Int. J. Mach. Learn. Cybern., 2013

Evaluating Sparse Codes on Handwritten Digits.

Linda Main, Benjamin Cowley, Adam Kneller, John Thornton

Proceedings of the AI 2013: Advances in Artificial Intelligence, 2013

2012

Probabilistic Reasoning in DL-Lite.

Raghav Ramachandran, Guilin Qi, Kewen Wang, Junhu Wang, John Thornton

Proceedings of the PRICAI 2012: Trends in Artificial Intelligence, 2012

Fixed Frame Temporal Pooling.

John Thornton, Linda Main, Andrew Srbic

Proceedings of the AI 2012: Advances in Artificial Intelligence, 2012

2011

Augmented Spatial Pooling.

John Thornton, Andrew Srbic, Linda Main, Mahsa Chitsaz

Proceedings of the AI 2011: Advances in Artificial Intelligence, 2011

Probabilistic Multi-Context Systems.

Marco Sotomayor, Kewen Wang, Yi-Dong Shen, John Thornton

Proceedings of the Semantic Web - Joint International Semantic Technology Conference, 2011

2008

Combining Adaptive and Dynamic Local Search for Satisfiability.

Duc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar

J. Satisf. Boolean Model. Comput., 2008

Modelling and solving temporal reasoning as propositional satisfiability.

Duc Nghia Pham, John Thornton, Abdul Sattar

Artif. Intell., 2008

Using Cost Distributions to Guide Weight Decay in Local Search for SAT.

John Thornton, Duc Nghia Pham

Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008

Character Recognition Using Hierarchical Vector Quantization and Temporal Pooling.

John Thornton, Jolon Faichney, Michael Blumenstein, Trevor Hine

Proceedings of the AI 2008: Advances in Artificial Intelligence, 2008

Efficiently Exploiting Dependencies in Local Search for SAT.

Duc Nghia Pham, John Thornton, Abdul Sattar

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Building Structure into Local Search for SAT.

Duc Nghia Pham, John Thornton, Abdul Sattar

Proceedings of the IJCAI 2007, 2007

Advances in Local Search for Satisfiability.

Duc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar

Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007

Weight Redistribution for Unweighted MAX-SAT.

Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar

Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007

2006

Towards an Efficient SAT Encoding for Temporal Reasoning.

Duc Nghia Pham, John Thornton, Abdul Sattar

Proceedings of the Principles and Practice of Constraint Programming, 2006

Adaptive Clause Weight Redistribution.

Abdelraouf Ishtaiwi, John Thornton, Anbulagan, Abdul Sattar, Duc Nghia Pham

Proceedings of the Principles and Practice of Constraint Programming, 2006

Robust Character Recognition Using a Hierarchical Bayesian Network.

John Thornton, Torbjorn Gustafsson, Michael Blumenstein, Trevor Hine

Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006

2005

Clause Weighting Local Search for SAT.

John Thornton

J. Autom. Reason., 2005

Neighbourhood Clause Weight Redistribution in Local Search for SAT.

Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar, Duc Nghia Pham

Proceedings of the Principles and Practice of Constraint Programming, 2005

Evolving Variable-Ordering Heuristics for Constrained Optimisation.

Stuart Bain, John Thornton, Abdul Sattar

Proceedings of the Principles and Practice of Constraint Programming, 2005

Tie Breaking in Clause Weighting Local Search for SAT.

Valnir Ferreira Jr., John Thornton

Proceedings of the AI 2005: Advances in Artificial Intelligence, 2005

A Comparison of Evolutionary Methods for the Discovery of Local Search Heuristics.

Stuart Bain, John Thornton, Abdul Sattar

Proceedings of the AI 2005: Advances in Artificial Intelligence, 2005

SAT-Based versus CSP-Based Constraint Weighting for Satisfiability.

Duc Nghia Pham, John Thornton, Abdul Sattar, Abdelraouf Ishtaiwi

Proceedings of the Proceedings, 2005

2004

A Local Search Approach to Modelling and Solving Interval Algebra Problems.

John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher

J. Log. Comput., 2004

Solving Over-Constrained Temporal Reasoning Problems Using Local Search.

Matthew Beaumont, John Thornton, Abdul Sattar, Michael J. Maher

Proceedings of the PRICAI 2004: Trends in Artificial Intelligence, 2004

Methods of Automatic Algorithm Generation.

Stuart Bain, John Thornton, Abdul Sattar

Proceedings of the PRICAI 2004: Trends in Artificial Intelligence, 2004

Dynamic Agent-Ordering and Nogood-Repairing in Distributed Constraint Satisfaction Problems.

Lingzhong Zhou, John Thornton, Abdul Sattar

Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, 2004

Evolving algorithms for constraint satisfaction.

Stuart Bain, John Thornton, Abdul Sattar

Proceedings of the IEEE Congress on Evolutionary Computation, 2004

Longer-Term Memory in Clause Weighting Local Search for SAT.

Valnir Ferreira Jr., John Thornton

Proceedings of the AI 2004: Advances in Artificial Intelligence, 2004

An Efficient Method for Indexing Now-relative Bitemporal data.

Bela Stantic, Sankalp Khanna, John Thornton

Proceedings of the Database Technologies 2004, 2004

Additive versus Multiplicative Clause Weighting for SAT.

John Thornton, Duc Nghia Pham, Stuart Bain, Valnir Ferreira Jr.

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003

A Novel Approach to Model NOW in Temporal Databases.

Bela Stantic, John Thornton, Abdul Sattar

Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

Dynamic Agent Ordering in Distributed Constraint Satisfaction Problems.

Lingzhong Zhou, John Thornton, Abdul Sattar

Proceedings of the AI 2003: Advances in Artificial Intelligence, 2003

Estimating Problem Metrics for SAT Clause Weighting Local Search.

Wayne J. Pullan, Liang Zhao, John Thornton

Proceedings of the AI 2003: Advances in Artificial Intelligence, 2003

Dynamic Variable Filtering for Hard Random 3-SAT Problems.

Anbulagan, John Thornton, Abdul Sattar

Proceedings of the AI 2003: Advances in Artificial Intelligence, 2003

2002

Applying Local Search to Temporal Reasoning.

John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher

Proceedings of the 9th International Symposium on Temporal Representation and Reasoning, 2002

Towards Fewer Parameters for SAT Clause Weighting Algorithms.

John Thornton, Wayne J. Pullan, Justin Terry

Proceedings of the AI 2002: Advances in Artificial Intelligence, 2002

A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints.

John Thornton, Stuart Bain, Abdul Sattar, Duc Nghia Pham

Proceedings of the AI 2002: Advances in Artificial Intelligence, 2002

An Investigation of Variable Relationships in 3-SAT Problems.

Olena Kravchuk, Wayne J. Pullan, John Thornton, Abdul Sattar

Proceedings of the AI 2002: Advances in Artificial Intelligence, 2002

2001

Solving Overconstrained Temporal Reasoning Problems.

Matthew Beaumont, Abdul Sattar, Michael J. Maher, John Thornton

Proceedings of the AI 2001: Advances in Artificial Intelligence, 2001

2000

On Dual Encodings for Non-binary Constraint Satisfaction Problems.

Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar, John Thornton

Proceedings of the Principles and Practice of Constraint Programming, 2000

1999

On the Behavior and Application of Constraint Weighting.

John Thornton, Abdul Sattar

Proceedings of the Principles and Practice of Constraint Programming, 1999

1998

Dynamic Constraint Weighting for Over-Constrained Problems.

John Thornton, Abdul Sattar

Proceedings of the PRICAI'98, 1998

Using Arc Weights to Improve Iterative Repair.

John Thornton, Abdul Sattar

Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997

Applied Partial Constraint Satisfaction Using Weighted Iterative Repair.

John Thornton, Abdul Sattar

Proceedings of the Advanced Topics in Artificial Intelligence, 1997

1996

An Integer Programming-Based Nurse Rostering System.

John Thornton, Abdul Sattar

Proceedings of the Concurrency and Parallelism, 1996