John Thornton - RankMe

56 papers A* 5A 6B 8C 3Misc 2Journal 6Unranked 25

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