A continuous approach to inductive inference

By A. Kamath, N. Karmarkar, K. G. Ramakrishnan, Maurício Resende. 1992

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Alexey Ignatiev
2. Jinqiang Yu
3. Peter James Stuckey
4. Nina Narodytska
5. Joao Marques-Silva
6. Pierre Le Bodic
7. Stefan Kramer
8. Ulrich Rückert

Citations in the corpus

• Computing Optimal Decision Sets with SAT (2020, methodology): “ion sets are a rule-based predictive model that can be traced at least to [11,12]. To the best of our knowledge, the first logic-based approach to the problem of decision set inference was proposed in [33]. Concretely, this work proposed a SAT model for synthesizing a formula in disjunctive normal fo”
• A statistical approach to rule learning (2006, methodology): “For example, even though the test sets used in Kamath et al. (1992) have up to one thousand examples, they can be solved by a randomized version of an exhaustive search algorithm in less than a second (Rückert, 2002).”
• A SAT-Based Approach to Learn Explainable Decision Sets (2018, methodology): “[19], we propose a model with a different semantics for some of the variables, and a few additional clauses, to elicit propagation.”