The following pages link to Artificial Intelligence (Q72340):
Displaying 50 items.
- Modular algebraic specification of some basic geometrical constructions (Q1115574) (← links)
- Wu's method and its application to perspective viewing (Q1115642) (← links)
- Verifiable implementations of geometric algorithms using finite precision arithmetic (Q1116270) (← links)
- A multi-level geometric reasoning system for vision (Q1116357) (← links)
- A geometric approach to error detection recovery for robot motion planning with uncertainty (Q1116358) (← links)
- Tree clustering for constraint networks (Q1116363) (← links)
- Pattern knowledge and search: The SUPREM architecture (Q1116365) (← links)
- An algorithmic approach to some problems in terrain navigation (Q1116366) (← links)
- The importance of open and recursive circumscription (Q1117210) (← links)
- Results on translating defaults to circumscription (Q1117211) (← links)
- Constructing roadmaps of semi-algebraic sets. I: Completeness (Q1117992) (← links)
- Computational approaches to analogical reasoning: A comparative analysis (Q1118423) (← links)
- Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle (Q1118424) (← links)
- MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics (Q1118426) (← links)
- Eliminating the fixed predicates from a circumscription (Q1119564) (← links)
- The geometry of projective blending surfaces (Q1120124) (← links)
- On the geometric interpretation of image contours (Q1120950) (← links)
- Erratum to: A four valued semantics for terminological logics (Q1121868) (← links)
- Shape from texture: General principle (Q1122365) (← links)
- Controlling backward inference (Q1123001) (← links)
- A survey of motion planning and related geometric algorithms (Q1123032) (← links)
- A circumscriptive theorem prover (Q1123640) (← links)
- An optimal k-consistency algorithm (Q1124348) (← links)
- A parallel network that learns to play backgammon (Q1124371) (← links)
- A refutational approach to geometry theorem proving (Q1124373) (← links)
- A correction to the algorithm in Reiter's theory of diagnosis (Q1124378) (← links)
- Default reasoning in semantic networks: A formalization of recognition and inheritance (Q1124380) (← links)
- An extension of QSIM with qualitative curvature (Q1127340) (← links)
- Automated model selection for simulation based on relevance reasoning (Q1127344) (← links)
- Tail uncertainty analysis in complex systems (Q1127345) (← links)
- Reasoning with minimal models: efficient algorithms and applications (Q1127346) (← links)
- On the logic of causal explanation (Q1127347) (← links)
- A note on the stable model semantics for logic programs (Q1127348) (← links)
- Axioms of causal relevance (Q1127350) (← links)
- A logical notion of conditional independence: properties and applications (Q1127351) (← links)
- Speeding up inferences using relevance reasoning: a formalism and algorithms (Q1127352) (← links)
- Relevance from an epistemic perspective (Q1127353) (← links)
- Defaults and relevance in model-based reasoning (Q1127354) (← links)
- A Bayesian approach to relevance in game playing (Q1127355) (← links)
- Selection of relevant features and examples in machine learning (Q1127357) (← links)
- Wrappers for feature subset selection (Q1127360) (← links)
- The Perceptron algorithm versus Winnow: linear versus logarithmic mistake bounds when few input variables are relevant (Q1127362) (← links)
- Knowing what doesn't matter: exploiting the omission of irrelevant data (Q1127363) (← links)
- Dynamic relevance: vision-based focus of attention using artificial neural networks (Q1127365) (← links)
- Schema induction for logic program synthesis (Q1128483) (← links)
- Localized planning with action-based constraints (Q1128485) (← links)
- A method of spatial reasoning based on qualitative trigonometry (Q1128486) (← links)
- Characterizing the principle of minimum cross-entropy within a conditional-logical framework (Q1128487) (← links)
- Preferential reasoning in the perspective of Poole default logic (Q1128488) (← links)
- Geometric reasoning about assembly tools (Q1128490) (← links)
