John Thornton

Publication Activity (10 Years)

Years Active: 1996-2021
Publications (10 Years): 7

Top Topics

Greyscale Images

Hierarchical Temporal Memory

Search Procedures

Top Venues

Artif. Intell. Rev.

Publications

M. A. Hakim Newton, Md. Masbaul Alam, Duc Nghia Pham, John Thornton, Kaile Su, Abdul Sattar
Evaluating logic gate constraints in local search for structured satisfiability problems. Artif. Intell. Rev. 54 (7) (2021)
Benjamin Cowley, John Thornton, Linda Main, Abdul Sattar
Precision without Precisions: Handling uncertainty with a single predictive model. ALIFE (2018)
Benjamin Cowley, John Thornton, Linda Main, Abdul Sattar
Dynamic thresholds for self-organizing predictive cells. ECAL (2017)
Benjamin Cowley, John Thornton
Feedback Modulated Attention Within a Predictive Framework. ACALCI (2017)
Linda Main, John Thornton
Stable sparse encoding for predictive processing. SSCI (2017)
Linda Main, John Thornton
A Cortically-Inspired Model for Bioacoustics Recognition. ICONIP (4) (2015)
Adam Kneller, John Thornton
Distal dendrite feedback in hierarchical temporal memory. IJCNN (2015)
Shaowei Cai, Chuan Luo, John Thornton, Kaile Su
Tailoring Local Search for Partial MaxSAT. AAAI (2014)
Benjamin Cowley, Adam Kneller, John Thornton
Cortically-Inspired Overcomplete Feature Learning for Colour Images. PRICAI (2014)
John Thornton, Andrew Srbic
Spatial pooling for greyscale images. Int. J. Mach. Learn. Cybern. 4 (3) (2013)
Linda Main, Benjamin Cowley, Adam Kneller, John Thornton
Evaluating Sparse Codes on Handwritten Digits. Australasian Conference on Artificial Intelligence (2013)
John Thornton, Linda Main, Andrew Srbic
Fixed Frame Temporal Pooling. Australasian Conference on Artificial Intelligence (2012)
Raghav Ramachandran, Guilin Qi, Kewen Wang, Junhu Wang, John Thornton
Probabilistic Reasoning in DL-Lite. PRICAI (2012)
Marco Sotomayor, Kewen Wang, Yi-Dong Shen, John Thornton
Probabilistic Multi-Context Systems. JIST (2011)
John Thornton, Andrew Srbic, Linda Main, Mahsa Chitsaz
Augmented Spatial Pooling. Australasian Conference on Artificial Intelligence (2011)
Duc Nghia Pham, John Thornton, Abdul Sattar
Efficiently Exploiting Dependencies in Local Search for SAT. AAAI (2008)
Duc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar
Combining Adaptive and Dynamic Local Search for Satisfiability. J. Satisf. Boolean Model. Comput. 4 (2-4) (2008)
John Thornton, Duc Nghia Pham
Using Cost Distributions to Guide Weight Decay in Local Search for SAT. PRICAI (2008)
John Thornton, Jolon Faichney, Michael Blumenstein, Trevor Hine
Character Recognition Using Hierarchical Vector Quantization and Temporal Pooling. Australasian Conference on Artificial Intelligence (2008)
Duc Nghia Pham, John Thornton, Abdul Sattar
Modelling and solving temporal reasoning as propositional satisfiability. Artif. Intell. 172 (15) (2008)
Duc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar
Advances in Local Search for Satisfiability. Australian Conference on Artificial Intelligence (2007)
Duc Nghia Pham, John Thornton, Abdul Sattar
Building Structure into Local Search for SAT. IJCAI (2007)
Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar
Weight Redistribution for Unweighted MAX-SAT. Australian Conference on Artificial Intelligence (2007)
Abdelraouf Ishtaiwi, John Thornton, Anbulagan, Abdul Sattar, Duc Nghia Pham
Adaptive Clause Weight Redistribution. CP (2006)
Duc Nghia Pham, John Thornton, Abdul Sattar
Towards an Efficient SAT Encoding for Temporal Reasoning. CP (2006)
John Thornton, Torbjorn Gustafsson, Michael Blumenstein, Trevor Hine
Robust Character Recognition Using a Hierarchical Bayesian Network. Australian Conference on Artificial Intelligence (2006)
Stuart Bain, John Thornton, Abdul Sattar
A Comparison of Evolutionary Methods for the Discovery of Local Search Heuristics. Australian Conference on Artificial Intelligence (2005)
Valnir Ferreira Jr., John Thornton
Tie Breaking in Clause Weighting Local Search for SAT. Australian Conference on Artificial Intelligence (2005)
Stuart Bain, John Thornton, Abdul Sattar
Evolving Variable-Ordering Heuristics for Constrained Optimisation. CP (2005)
Duc Nghia Pham, John Thornton, Abdul Sattar, Abdelraouf Ishtaiwi
SAT-Based versus CSP-Based Constraint Weighting for Satisfiability. AAAI (2005)
John Thornton
Clause Weighting Local Search for SAT. J. Autom. Reason. 35 (1-3) (2005)
Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar, Duc Nghia Pham
Neighbourhood Clause Weight Redistribution in Local Search for SAT. CP (2005)
Valnir Ferreira Jr., John Thornton
Longer-Term Memory in Clause Weighting Local Search for SAT. Australian Conference on Artificial Intelligence (2004)
Bela Stantic, Sankalp Khanna, John Thornton
An Efficient Method for Indexing Now-relative Bitemporal data. ADC (2004)
John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher
A Local Search Approach to Modelling and Solving Interval Algebra Problems. J. Log. Comput. 14 (1) (2004)
John Thornton, Duc Nghia Pham, Stuart Bain, Valnir Ferreira Jr.
Additive versus Multiplicative Clause Weighting for SAT. AAAI (2004)
Matthew Beaumont, John Thornton, Abdul Sattar, Michael J. Maher
Solving Over-Constrained Temporal Reasoning Problems Using Local Search. PRICAI (2004)
Lingzhong Zhou, John Thornton, Abdul Sattar
Dynamic Agent-Ordering and Nogood-Repairing in Distributed Constraint Satisfaction Problems. FLAIRS Conference (2004)
Stuart Bain, John Thornton, Abdul Sattar
Methods of Automatic Algorithm Generation. PRICAI (2004)
Stuart Bain, John Thornton, Abdul Sattar
Evolving algorithms for constraint satisfaction. IEEE Congress on Evolutionary Computation (2004)
Wayne J. Pullan, Liang Zhao, John Thornton
Estimating Problem Metrics for SAT Clause Weighting Local Search. Australian Conference on Artificial Intelligence (2003)
Anbulagan, John Thornton, Abdul Sattar
Dynamic Variable Filtering for Hard Random 3-SAT Problems. Australian Conference on Artificial Intelligence (2003)
Lingzhong Zhou, John Thornton, Abdul Sattar
Dynamic Agent Ordering in Distributed Constraint Satisfaction Problems. Australian Conference on Artificial Intelligence (2003)
Bela Stantic, John Thornton, Abdul Sattar
A Novel Approach to Model NOW in Temporal Databases. TIME (2003)
John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher
Applying Local Search to Temporal Reasoning. TIME (2002)
John Thornton, Stuart Bain, Abdul Sattar, Duc Nghia Pham
A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints. Australian Joint Conference on Artificial Intelligence (2002)
Olena Kravchuk, Wayne J. Pullan, John Thornton, Abdul Sattar
An Investigation of Variable Relationships in 3-SAT Problems. Australian Joint Conference on Artificial Intelligence (2002)
John Thornton, Wayne J. Pullan, Justin Terry
Towards Fewer Parameters for SAT Clause Weighting Algorithms. Australian Joint Conference on Artificial Intelligence (2002)
Matthew Beaumont, Abdul Sattar, Michael J. Maher, John Thornton
Solving Overconstrained Temporal Reasoning Problems. Australian Joint Conference on Artificial Intelligence (2001)
Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar, John Thornton
On Dual Encodings for Non-binary Constraint Satisfaction Problems. CP (2000)
John Thornton, Abdul Sattar
On the Behavior and Application of Constraint Weighting. CP (1999)
John Thornton, Abdul Sattar
Using Arc Weights to Improve Iterative Repair. AAAI/IAAI (1998)
John Thornton, Abdul Sattar
Dynamic Constraint Weighting for Over-Constrained Problems. PRICAI (1998)
John Thornton, Abdul Sattar
Applied Partial Constraint Satisfaction Using Weighted Iterative Repair. Australian Joint Conference on Artificial Intelligence (1997)
John Thornton, Abdul Sattar
An Integer Programming-Based Nurse Rostering System. ASIAN (1996)