The following pages link to (Q3732977):
Displaying 38 items.
- Heuristically enhanced feedback control of constrained discrete-time linear systems (Q750385) (← links)
- Robust reasoning with rules that have exceptions: From second-order probability to argumentation via upper envelopes of probability and possibility plus directed graphs (Q819946) (← links)
- Control of constrained discrete time linear systems using quantized controls (Q909605) (← links)
- Replacing unification by constraint satisfaction to improve logic program expressiveness (Q912656) (← links)
- Representing knowledge about linear programming formulation (Q918411) (← links)
- Artificial intelligence techniques: An introduction to their use for modelling environmental systems (Q929726) (← links)
- Depth-first iterative-deepening: An optimal admissible tree search (Q1062761) (← links)
- Richard Bellman's contributions to computer science (Q1081590) (← links)
- Variable precision logic (Q1091831) (← links)
- On multiple moving objects (Q1102134) (← links)
- Constraint satisfaction from a deductive viewpoint (Q1103421) (← links)
- Problems in formal temporal reasoning (Q1104773) (← links)
- Recognition of general patterns using neural networks (Q1107333) (← links)
- The complexity of recognizing polyhedral scenes (Q1109582) (← links)
- Chronological ignorance: Experiments in nonmonotonic temporal reasoning (Q1114431) (← links)
- Computational approaches to analogical reasoning: A comparative analysis (Q1118423) (← links)
- An insight into the Expert-Seisd: A knowledge based system for structural design (Q1198122) (← links)
- Netl and subsequent path-based inheritance theories (Q1202630) (← links)
- Distributed expert systems for queueing network capacity planning (Q1207841) (← links)
- Electronic circuit diagnostic expert systems - a survey (Q1262111) (← links)
- Local consistency in parallel constraint satisfaction networks (Q1337684) (← links)
- On-line 2-satisfiability (Q1356216) (← links)
- A formal language description and inference strategy for analog circuit design (Q1363386) (← links)
- A rule-learning program in high energy physics event classification (Q1366103) (← links)
- Qualitative and quantitative simulation: bridging the gap (Q1389533) (← links)
- Automated merging of conflicting knowledge bases, using a consistent, majority-rule approach with knowledge-form maintenance (Q1777157) (← links)
- Heuristically enhanced feedback control of constrained systems: The minimum time case (Q1801982) (← links)
- Future paths for integer programming and links to artificial intelligence (Q1821034) (← links)
- A new technique for the solution of the Saha equation (Q1908499) (← links)
- Exact time evolution methods for large bound systems (Q1911672) (← links)
- The \(Multi\)-SAT algorithm (Q1961449) (← links)
- Strategies, model checking and branching-time properties in Maude (Q2239275) (← links)
- Spoke contour conversion for coverage diagrams (Q2367428) (← links)
- On the parallel complexity of discrete relaxation in constraint satisfaction networks (Q2638780) (← links)
- A dynamic systems perspective on qualitative simulation (Q2638832) (← links)
- Information tradeoffs in model building: A network routing application (Q3354612) (← links)
- Integrating artificial and psychophysical approaches for boundary finding in line drawings (Q4835367) (← links)
- An interactive procedure for learning about preferences: Case study of a portfolio manager (Q4896390) (← links)
