The following pages link to Artificial Intelligence (Q72340):
Displaying 50 items.
- Linear resolution for consequence finding (Q1199916) (← links)
- Theory and algorithms for plan merging (Q1199918) (← links)
- On the complexity of propositional knowledge base revision, updates, and counterfactuals (Q1199919) (← links)
- A logic of knowledge and justified assumption (Q1199920) (← links)
- A generic arc-consistency algorithm and its specializations (Q1199922) (← links)
- A theory of abstraction (Q1199923) (← links)
- How to reason defeasibly (Q1199924) (← links)
- A logic for reasoning with inconsistent knowledge (Q1199925) (← links)
- The logic of constraint satisfaction (Q1204865) (← links)
- Constraint reasoning based on interval arithmetic: The tolerance propagation approach (Q1204867) (← links)
- Constraint satisfaction using constraint logic programming (Q1204868) (← links)
- Minimizing conflicts: A heuristic repair method for constraint satisfaction and scheduling problems (Q1204869) (← links)
- Structure identification in relational data (Q1204870) (← links)
- Reasoning about qualitative temporal information (Q1204871) (← links)
- A theory of conflict resolution in planning (Q1204872) (← links)
- Inference and the computer understanding of natural language (Q1210908) (← links)
- Decision theory and artificial intelligence. I: A semantics-based region analyzer (Q1210911) (← links)
- Alternative descriptions in line drawing analysis (Q1210913) (← links)
- Reasoning about programs (Q1212353) (← links)
- A preferential, pattern-seeking, semantics for natural language inference (Q1215272) (← links)
- An associative-categorical model of word meaning (Q1215408) (← links)
- Plane geometry theorem proving using forward chaining (Q1215410) (← links)
- A relaxation approach to splitting in an automatic theorem prover (Q1215411) (← links)
- Model verification and improvement using DISPROVER (Q1215412) (← links)
- Knowledge and reasoning in program synthesis (Q1216171) (← links)
- A versatile system for computer-controlled assembly (Q1216189) (← links)
- Inferring the positions of bodies from specified spatial relationships (Q1216190) (← links)
- \(\Pi\)-representation: A clause representation for parallel search (Q1216192) (← links)
- Artificial intelligence and automatic programming in CAI (Q1218287) (← links)
- Case systems for natural language (Q1220387) (← links)
- Some methods of controlling the tree search in chess programs (Q1220395) (← links)
- Computer construction of crossword puzzles using precedence relationships (Q1222035) (← links)
- Optimal problem-solving search: All-or-none solutions (Q1226866) (← links)
- Refutation graphs (Q1226867) (← links)
- A logical theory of robot problem solving (Q1226869) (← links)
- The translation of formal proofs into English (Q1228369) (← links)
- Generalized AND/OR graphs (Q1228371) (← links)
- A new approach to the symbolic factorization of multivariate polynomials (Q1228373) (← links)
- Consistency in networks of relations (Q1231783) (← links)
- On the complexity of admissible search algorithms (Q1232903) (← links)
- On the optimality of A (Q1232905) (← links)
- The mechanical discovery of certain problem symmetries (Q1232907) (← links)
- Description and recognition of curved objects (Q1232909) (← links)
- Production rules as a representation for a knowledge-based consultation program (Q1232910) (← links)
- A partial evaluator, and its use as a programming tool (Q1233314) (← links)
- Analytic resolution in theorem proving (Q1233325) (← links)
- Relational production systems (Q1234177) (← links)
- Non-resolution theorem proving (Q1238434) (← links)
- GUS, a frame-driven dialog system (Q1238440) (← links)
- An analysis of alpha-beta pruning (Q1238442) (← links)
