The following pages link to Artificial Intelligence (Q72340):
Displaying 50 items.
- The efficiency of the alpha-beta search on trees with branch-dependent terminal node scores (Q1238628) (← links)
- Doing arithmetic without diagrams (Q1238641) (← links)
- Understanding image intensities (Q1238645) (← links)
- Directed recursive labelnode hypergraphs: A new representation-language (Q1239014) (← links)
- Conversational language comprehension using integrated pattern-matching and parsing (Q1240581) (← links)
- Concept teaching (Q1240583) (← links)
- A powerful and efficient structural pattern recognition system (Q1242701) (← links)
- Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis (Q1244202) (← links)
- Automatic theorem proving in set theory (Q1245007) (← links)
- A language and a program for stating and solving combinatorial problems (Q1245009) (← links)
- Will it reach the top? Prediction in the mechanics world (Q1245585) (← links)
- On the branching factor of the alpha-beta pruning algorithm (Q1246268) (← links)
- A chronology of computer chess and its literature (Q1246274) (← links)
- Making computational sense of Montague's intensional logic (Q1247414) (← links)
- Towards the automation of set theory and its logic (Q1253108) (← links)
- Programming by examples (Q1255776) (← links)
- Heuristic search in restricted memory (Q1263290) (← links)
- Generating context-sensitive responses to object-related misconceptions (Q1263298) (← links)
- Reasoning about partially ordered events (Q1263999) (← links)
- Miracles in formal theories of action (Q1264002) (← links)
- On the relation between default and modal nonmonotonic reasoning (Q1274266) (← links)
- Using modeling knowledge to guide design space search (Q1274270) (← links)
- Inductive learning of search control rules for planning (Q1274272) (← links)
- A belief network approach to optimization and parameter estimation: application to resource and environmental management (Q1274275) (← links)
- Methods for task allocation via agent coalition formation (Q1274277) (← links)
- What robots can do: robot programs and effective achievability (Q1274278) (← links)
- Verification of knowledge bases based on containment checking (Q1274279) (← links)
- Constraints, consistency and closure (Q1274280) (← links)
- Utility-based on-line exploration for repeated navigation in an embedded graph (Q1274283) (← links)
- Top-down induction of first-order logical decision trees (Q1274285) (← links)
- On stable social laws and qualitative equilibria (Q1274287) (← links)
- Approximating MAPs for belief networks is NP-hard and other theorems (Q1274288) (← links)
- A spectrum of definitions for temporal model-based diagnosis (Q1274291) (← links)
- Probabilistic semantics for Delgrande's conditional logic and a counterexample to his default logic (Q1274292) (← links)
- The value of the four values (Q1274293) (← links)
- A unifying approach to temporal constraint reasoning (Q1274294) (← links)
- Concurrency and knowledge-level communication in agent languages (Q1274547) (← links)
- Empirically-derived estimates of the complexity of labeling line drawings of polyhedral scenes (Q1274552) (← links)
- Rough computational methods for information systems (Q1274555) (← links)
- On first-order conditional logics (Q1274556) (← links)
- Detecting geometric infeasibility (Q1274558) (← links)
- On the relations between intelligent backtracking and failure-driven explanation-based learning in constraint satisfaction and planning (Q1274559) (← links)
- Multiple perspective dynamic decision making (Q1274561) (← links)
- Exploiting multiple goals and intentions in decision support for the management of multiple trauma: a review of the TraumAID project (Q1274566) (← links)
- Analysis of notions of diagnosis (Q1274567) (← links)
- The vulnerability of the transferable belief model to Dutch books (Q1274569) (← links)
- Reaching agreements through argumentation: a logical model and implementation (Q1274675) (← links)
- Model-based diagnostics and probabilistic assumption-based reasoning (Q1274679) (← links)
- Formalizing narratives using nested circumscription (Q1274680) (← links)
- Combining Horn rules and description logics in CARIN (Q1274681) (← links)
