The following pages link to (Q3938537):
Displaying 26 items.
- Conjecture synthesis for inductive theories (Q438543) (← links)
- Leader-independent nonparametric consistent algorithms for incremental learning (Q756438) (← links)
- Automated conjecturing. I: Fajtlowicz's Dalmatian heuristic revisited (Q899436) (← links)
- Aggregating evidence using quantified statements (Q1071002) (← links)
- Expert control (Q1074537) (← links)
- Induction of inference rules for expert systems (Q1085625) (← links)
- Multi-layer logic - a predicate logic including data structure as knowledge representation language (Q1097720) (← links)
- Some results and experiments in programming techniques for propositional logic (Q1100931) (← links)
- MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics (Q1118426) (← links)
- Explaining evidential analyses (Q1123643) (← links)
- Theory construction in psychology: The interpretation and integration of psychological data (Q1157291) (← links)
- Verisimilitude based on concept analysis (Q1174255) (← links)
- Knowledge base refinement: A bibliography (Q1183377) (← links)
- Semantic networks (Q1202620) (← links)
- A skill refinement learning model for prioritized rule-based expert systems (Q1310930) (← links)
- Computer algebra and artificial intelligence (Q1404691) (← links)
- Principles of human-computer collaboration for knowledge discovery in science (Q1606346) (← links)
- Automated conjecturing. III. Property-relations conjectures (Q1688717) (← links)
- Control metaphors in the modelling of economic learning and decision-making behaviour (Q1905951) (← links)
- Model construction operators (Q2172762) (← links)
- Mathematical applications of inductive logic programming (Q2433178) (← links)
- Automated conjecture making in number theory using HR, Otter and Maple (Q2456561) (← links)
- (Q3349963) (← links)
- DESIGN AND IMPLEMENTATION OF A REASONING ENGINE USING GENERALIZED META-RULES TO EXPRESS CONTROL KNOWLEDGE (Q3352551) (← links)
- On Approximation of Classifications, Rough Equalities and Rough Equivalences (Q3628688) (← links)
- IDSCA: An intelligent direction selector for the controller's action in multiloop control systems (Q3807067) (← links)
