The following pages link to (Q3742757):
Displaying 34 items.
- Learning in order to avoid search in logic programming (Q805265) (← links)
- External-memory depth-first search algorithm for solid grid graphs (Q835024) (← links)
- Replacing unification by constraint satisfaction to improve logic program expressiveness (Q912656) (← links)
- Updating knowledge bases (Q918229) (← links)
- Forward modeling with forced neural networks for gravity anomaly profile (Q939065) (← links)
- The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself (Q959049) (← links)
- An external-memory depth-first search algorithm for general grid graphs (Q1022598) (← links)
- The estimation of product standard time by artificial neural networks in the molding industry (Q1036382) (← links)
- Bayesian point estimation of \(\pi\) by Buffon's needle and the inverse problem of measuring related length (Q1078947) (← links)
- Fuzzy logic in development of fundamentals of pattern recognition (Q1178680) (← links)
- The computational complexity of abduction (Q1182159) (← links)
- On the complexity of blocks-world planning (Q1199914) (← links)
- Semantic networks (Q1202620) (← links)
- Compositional model-theoretic semantics for logic programs (Q1205176) (← links)
- Electronic circuit diagnostic expert systems - a survey (Q1262111) (← links)
- New operations research and artificial intelligence approaches to traffic engineering problems (Q1268288) (← links)
- A comparative study of methodologies for designing IDSSs (Q1280151) (← links)
- Theory refinement combining analytical and empirical methods (Q1327162) (← links)
- Partial-order planning: Evaluating possible efficiency gains (Q1329372) (← links)
- Abduction from logic programs: Semantics and complexity (Q1389684) (← links)
- Semantics and complexity of abduction from default theories (Q1402749) (← links)
- Complexity, decidability and undecidability results for domain-independent planning (Q1855230) (← links)
- A unifying approach to heuristic search (Q1897398) (← links)
- Abductive reasoning in neural-symbolic systems (Q2460297) (← links)
- Fuzzy tools for the management of uncertainty in pattern recognition, image analysis, vision and expert systems (Q3201775) (← links)
- Diagnostic problem-solving with causal chaining (Q3775002) (← links)
- (Q3992870) (← links)
- Is there a prototypical rule of abduction? (Yes, e.g. in proximity based explanations) (Q4297220) (← links)
- Logical form generation as abduction: Part I. Representation of linguistic concepts (Q4301776) (← links)
- Logical form generation as abduction: Part II. A dual-route parsimonious covering approach (Q4301777) (← links)
- Solving resource-constrained project scheduling problems by a* search (Q4735027) (← links)
- AI rules: okay? (Q4882729) (← links)
- Artificial Intelligence (Q5001102) (← links)
- A Bayesian network approach to making inferences in causal maps (Q5925858) (← links)
