Datalog extensions for database queries and updates, Journal of Computer and System Sciences, vol.43, issue.1 ,
DOI : 10.1016/0022-0000(91)90032-Z
URL : https://hal.archives-ouvertes.fr/inria-00075656
Business Rules Uncertainty Management with Probabilistic Relational Models ,
DOI : 10.1016/S0019-9958(65)90241-X
URL : https://hal.archives-ouvertes.fr/hal-01345421
Fast Algorithms for Mining Association Rules ,
Correcting flawed expert knowledge through reinforcement learning, Expert Systems with Applications, vol.42, issue.17-18 ,
DOI : 10.1016/j.eswa.2015.04.015
Language identification in the limit, Information and Control, vol.10, issue.5 ,
DOI : 10.1016/S0019-9958(67)91165-5
ANTIGONE: Algorithms for coNTinuous / Integer Global Optimization of Nonlinear Equations, Journal of Global Optimization, vol.56, issue.2 ,
DOI : 10.1021/ie800257x
Combining rules and ontologies: a survey, 2005. ,
The theory of learning by doing., Psychological Review, vol.86, issue.2 ,
DOI : 10.1037/0033-295X.86.2.124
Mining association rules for the quality improvement of the production process, Expert Systems with Applications, vol.40, issue.4 ,
DOI : 10.1016/j.eswa.2012.08.039
URL : https://hal.archives-ouvertes.fr/hal-00767649
BARON: A general purpose global optimization software package, Journal of Global Optimization, vol.19, issue.2 ,
DOI : 10.1007/BF00138693
Modeling an Augmented Lagrangian for Blackbox Constrained Optimization, Technometrics, vol.65, issue.1, pp.1-11, 2016. ,
DOI : 10.1007/978-3-7908-2413-1_24
URL : http://arxiv.org/pdf/1403.4890
Statistical Decision Theory and Bayesian Analysis, 1985. ,
DOI : 10.1007/978-1-4757-4286-2
Formalizing Both Refraction-Based and Sequential Executions of Production Rule Programs ,
Operational Semantics of Rule Programs ,
Defining Business Rules -What are They Really? Project Report 3. The Business Rules Group, 2000. ,
A Comparative Study of Correlation Engines for Security Event Management, Proceedings of the 10th International Conference on Cyber Warfare and Security, 2015. ,
Rule Based Expert Systems: The Mycin Experiments of the Stanford Heuristic Programming Project (The Addison-Wesley Series in Artificial Intelligence ,
Proving Properties of Programs by Structural Induction, The Computer Journal, vol.12, issue.1 ,
DOI : 10.1093/comjnl/12.1.41
Product Description. https://www.mosek.com/products/mosek ,
Theory and practice of constraint handling rules, The Journal of Logic Programming, vol.37, issue.1-3 ,
DOI : 10.1016/S0743-1066(98)10005-5
An Unsolvable Problem of Elementary Number Theory, American Journal of Mathematics, vol.58, issue.2 ,
DOI : 10.2307/2371045
The epistemology of a rule-based expert system ???a framework for explanation, Artificial Intelligence, vol.20, issue.3 ,
DOI : 10.1016/0004-3702(83)90008-5
CLIPS Basic Programming Guide, 2003. ,
Revision of Production System Rule-Bases ,
DOI : 10.1016/B978-1-55860-335-6.50032-5
Fundamentals of Convex Analysis, 2001. ,
DOI : 10.1007/978-3-642-56468-0
Branching and bounds tightening techniques for non-convex MINLP ,
DOI : 10.1080/10556780903087124
Aggregate Pseudorandom Functions and Connections to Learning ,
DOI : 10.1007/978-3-662-46497-7_3
URL : http://eprint.iacr.org/2015/038.pdf
A Turing Machine Simulator, Journal of the ACM, vol.12, issue.1, pp.1-13, 1965. ,
DOI : 10.1145/321250.321251
Logic and Data Bases, 1978. ,
DOI : 10.1007/978-1-4684-3384-5
Production Rules as a Representation for a Knowledge-Based Consultation Program ,
Derivative-free optimization: a review of algorithms and comparison of software implementations, Journal of Global Optimization, vol.18, issue.3 ,
DOI : 10.1088/0953-8984/18/39/002
An Outer-approximation Algorithm for a Class of Mixed-Integer Nonlinear Programs ,
The EMYCIN Manual, 1981. ,
Queries and concept learning, Machine Learning, vol.27, issue.4 ,
DOI : 10.1007/BF00116828
Rete: A fast algorithm for the many pattern/many object pattern match problem, Artificial Intelligence, vol.19, issue.1, pp.17-37, 1982. ,
DOI : 10.1016/0004-3702(82)90020-0
Alpha-ECP, Version 5.101: An Interactive MINLP-Solver Based on the Extended Cutting Plane Method ,
Church's Thesis and Principles for Mechanisms ,
DOI : 10.1016/S0049-237X(08)71257-6
Automating Decisions With Intelligent Decision Automation, Market Analysis. Gartner, 2009. ,
The global k-means clustering algorithm, Pattern Recognition, vol.36, issue.2 ,
DOI : 10.1016/S0031-3203(02)00060-2
URL : https://hal.archives-ouvertes.fr/inria-00321493
Product Description ,
How to construct random functions, Journal of the ACM, vol.33, issue.4 ,
DOI : 10.1145/6490.6503
URL : http://dl.acm.org/ft_gateway.cfm?id=6503&type=pdf
The complexity of theory revision, Artificial Intelligence, vol.107, issue.2 ,
DOI : 10.1016/S0004-3702(98)00107-6
Product Description. http://www.gurobi.com/products/gurobi-optimizer ,
Business Rules Applied: Building Better Systems Using the Business Rules Approach, 2001. ,
Induction of decision trees, Machine Learning, vol.1, issue.1 ,
DOI : 10.1037/13135-000
ILOG Rules, embedding rules in C++: Results and limits ,
http://www.redhat.com/cms/managed-files/mi-brms-6-datasheet -11436837-inc0357730lw-201603-en, 2016. ,
Reducibility Among Combinatorial Problems ,
DOI : 10.1007/978-3-540-68279-0_8
Optimal refinement of rule bases ,
A Process Approach to Rule Base Validation and Refinement ,
Introduction to Metamathematics ,
Nearest neighbor pattern classification, IEEE Transactions on Information Theory, vol.13, issue.1 ,
DOI : 10.1109/TIT.1967.1053964
URL : http://ssg.mit.edu/cal/abs/2000_spring/np_dens/classification/cover67.pdf
A Set of Postulates for the Foundation of Logic ,
LegalRuleML: XML-Based Rules and Norms ,
DOI : 10.1007/s10506-009-9079-7
A Bridge between Legislator and Technologist-Formalization in SBVR for Improved Quality and Understanding of Legal Rules ,
The global solver in the LINDO API, Optimization Methods and Software, vol.24, issue.4-5 ,
DOI : 10.1080/10556780902753221
Hilbert's Tenth Problem, 1993. ,
Computation: Finite and Infinite Machines, 1972. ,
The Elements of Statistical Learning, 2013. ,
An empirical comparison of supervised learning algorithms, Proceedings of the 23rd international conference on Machine learning , ICML '06 ,
DOI : 10.1145/1143844.1143865
Transforming classifier scores into accurate multiclass probability estimates, Proceedings of the eighth ACM SIGKDD international conference on Knowledge discovery and data mining , KDD '02 ,
DOI : 10.1145/775047.775151
URL : http://www.cse.unsw.edu.au/~qzhang/papers/p44.pdf
Modeling languages for business processes and business rules: A representational analysis ,
Computer-Based Medical Consultations: MYCIN, 1976. ,
An Introduction to Computing with Neural Nets ,
DOI : 10.1109/massp.1987.1165576
PRODUCTION SYSTEMS: MODELS OF CONTROL STRUCTURES ,
DOI : 10.1016/B978-0-12-170150-5.50016-0
Human Problem Solving, 1972. ,
Predicting good probabilities with supervised learning, Proceedings of the 22nd international conference on Machine learning , ICML '05 ,
DOI : 10.1145/1102351.1102430
URL : http://www.cs.cornell.edu/~alexn/calibration.icml05.crc.rev3.pdf
Numerical Optimization, 2006. ,
DOI : 10.1007/b98874
Proven practices for enhancing performance: A Q&A for, 2010. ,
Why WebSphere Operational Decision Management? White Paper Executive Summary, 2011. ,
ONTOlogies meet Business RULEs, 2009. ,
Programming Expert Systems in OPS5: An Introduction to Rule-based Programming ,
OPS5 User's Manual, 1981. ,
DOI : 10.21236/ADA106558
Probabilistic Outputs for Support Vector Machines and Comparisons to Regularized Likelihood Methods ,
A Structural Approach to Operational Semantics, p.19, 1981. ,
Programming in Prolog, 1987. ,
DOI : 10.1007/978-3-642-96873-0
Programming in Pure Prolog In: The Art of Prolog, pp.129-148, 1999. ,
Reasoning about Termination of Pure Prolog Programs, Information and Computation, vol.106, issue.1 ,
DOI : 10.1006/inco.1993.1051
Generating Production Rules from Decision Trees ,
Smith, and the R Core Team. An Introduction to R. United Kingdom: Network Theory, 2016. ,
Random Forests ,
A semantics for a class of stratified production system programs, The Journal of Logic Programming, vol.21, issue.1 ,
DOI : 10.1016/0743-1066(94)90005-1
On Discriminative vs Generative Classifiers: A Comparison of Logistic Regression and Naive Bayes, Advances in Neural Information Processing Systems, pp.841-848, 2001. ,
The Business Rule Book ,
TX: Business Rule Solutions LLC, 1994. ,
SCIP: solving constraint integer programs, Mathematical Programming Computation, vol.29, issue.2 ,
DOI : 10.1287/ijoc.6.4.445
A Universal Turing Machine with Two Internal States ,
DOI : 10.1515/9781400882618-007
Simulation optimization: a review of algorithms and applications ,
The (Dantzig) simplex method for linear programming, Computing in Science & Engineering, vol.2, issue.1, pp.29-31, 2000. ,
DOI : 10.1109/5992.814654
The computational power and complexity of constraint handling rules, Proceedings of the 2nd Workshop on Constraint Handling Rules, pp.3-17, 2005. ,
DOI : 10.1145/1462166.1462169
Big data simplified. Data Sheet. https://public.dhe.ibm.com/common/ssi, 2016. ,
On active deductive databases: The statelog approach ,
DOI : 10.1007/BFb0055496
URL : http://www.informatik.uni-freiburg.de/~dbis/Publications/98/moc98.pdf
Support vector machines, IEEE Intelligent Systems and their Applications, pp.18-28, 1998. ,
DOI : 10.1109/5254.708428
Abstract, Theory and Practice of Logic Programming, vol.37, issue.1-2 ,
DOI : 10.1145/62959.62968
Simplifying decision trees, International Journal of Man-Machine Studies, vol.273, pp.221-234, 1987. ,
Correctness Considerations in CLP(FD) Systems, 2014. ,
On computable numbers, with an application to the Entscheidungsproblem, Proceedings of the London Mathematical Society, pp.230-265, 1937. ,
On Computable Numbers, with an Application to the Entscheidungsproblem, Proceedings of the London Mathematical Society, pp.230-265, 1937. ,
Introduction to Automata Theory, Languages, and Computation, 1979. ,
DOI : 10.1145/568438.568455
Mathematical programming: Turing completeness and applications to software analysis, Journal of Combinatorial Optimization, vol.42, issue.1 ,
DOI : 10.1112/plms/s2-42.1.230
URL : http://www.lix.polytechnique.fr/%7Eliberti/mpturing.pdf
Unsupervised Learning " . In: The Elements of Statistical Learning, pp.485-585, 2009. ,
A Theory of the Learnable ,
Efficient loop detection in prolog using the tortoise-and-hare technique, The Journal of Logic Programming, vol.4, issue.1 ,
DOI : 10.1016/0743-1066(87)90020-3
The Nature of Statistical Learning Theory, 1995. ,
Modular Termination Proofs for Prolog with Tabling ,
DOI : 10.1007/10704567_21
URL : http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW279.ps.gz
Rule-Based Languages, Annals of Mathematics and Artificial Intelligence, vol.191, issue.2, pp.215-259, 1997. ,
RIF Production Rule Dialect (Second Edition). W3C Recommendation, 2013. ,
Controlling the Average Behavior of Business Rules Programs ,
DOI : 10.1007/978-3-319-51469-7_22
Controlling Some Statistical Properties of Business Rules Programs ,
DOI : 10.1007/978-3-319-42019-6_6
The Learnability of Business Rules ,
DOI : 10.1007/978-3-319-42019-6_6
Adaptive production systems ,
DOI : 10.21236/ADA013570
Model Building in Mathematical Programming. 4th, 1999. ,
R1: An Expert in the Computer Systems Domain ,