Neil C.A. Moore
Neil C.A. Moore
Software Development Engineer, Amazon
Verified email at bigoh.co.uk - Homepage
Title
Cited by
Cited by
Year
Implementing logical connectives in constraint programming
C Jefferson, NCA Moore, P Nightingale, KE Petrie
Artificial Intelligence 174 (16-17), 1407-1429, 2010
402010
A preliminary review of literature on parallel constraint solving
IP Gent, C Jefferson, I Miguel, NCA Moore, P Nightingale, P Prosser, ...
Proceedings PMCS 2011 Workshop on Parallel Methods for Constraint Solving …, 2011
392011
Learning When to Use Lazy Learning in Constraint Solving.
IP Gent, C Jefferson, L Kotthoff, I Miguel, NCA Moore, P Nightingale, ...
ECAI, 873-878, 2010
352010
Automatic prioritization of policies
H Balinsky, N Moore, SJ Simske
US Patent App. 13/295,935, 2013
342013
Lazy explanations for constraint propagators
IP Gent, I Miguel, NCA Moore
International Symposium on Practical Aspects of Declarative Languages, 217-233, 2010
312010
Consistency techniques for flow-based projection-safe global cost functions in weighted constraint satisfaction
JHM Lee, KL Leung
Journal of Artificial Intelligence Research 43, 257-292, 2012
302012
Management of context-aware policies
H Balinsky, N Moore, SJ Simske
US Patent 8,689,281, 2014
172014
Distributed solving through model splitting
L Kotthoff, NCA Moore
arXiv preprint arXiv:1008.4328, 2010
112010
An empirical study of learning and forgetting constraints
IP Gent, I Miguel, NCA Moore
AI Communications 25 (2), 191-208, 2012
82012
A review of literature on parallel constraint solving
IP Gent, I Miguel, P Nightingale, C McCreesh, P Prosser, NCA Moore, ...
Theory and Practice of Logic Programming 18 (5-6), 725-758, 2018
72018
The ultrametric constraint and its application to phylogenetics
NCA Moore, P Prosser
Journal of Artificial Intelligence Research 32, 901-938, 2008
72008
Improving the efficiency of learning CSP solvers
NCA Moore
University of St Andrews, 2011
52011
The Minion Manual Minion Version 0.9
C Jefferson, L Kotthoff, N Moore, P Nightingale, KE Petrie, A Rendl
32009
Species trees and the ultrametric constraint
N Moore, P Prosser
Final-year project report at the Department of Computing Science, University …, 2007
32007
Intelligent assistant for context-aware policies
H Balinsky, NCA Moore, SJ Simske
2011IEEE 10th International Conference on Trust, Security and Privacy in …, 2011
22011
C-learning: Further generalised g-nogood learning
NCA Moore
Proceedings of the ERCIM Workshop on Constraint Solving and Constraint Logic …, 2011
22011
System call interception
H Balinsky, N Moore, SJ Simske
US Patent 9,026,801, 2015
2015
The Ultrametric Constraint and its Application to Phylogenetics
NCA Moore, P Prosser
arXiv, arXiv: 1401.3438, 2014
2014
Changes to: The Ultrametric Constraint and its Application to Phylogenetics
N Moore, P Prosser
2008
Learning implied constraints lazily
N Moore, I Miguel
The system can't perform the operation now. Try again later.
Articles 1–20