202 / PROBLEM-SOLVING AND PLANNING
–AI Classics/files/AI/classics/Webber-Nilsson-Readings/Rdgs-NW-Green.pdf
The paper exhibits experience, and that of others using QA2 and QA3, solutions to these problems obtained by QA3, a one of the first difficulties encountered is the computer program based on these theorem-proving representation of problems, especially statetransformation methods.
Jan-25-2015, 22:28:49 GMT
- Country:
- Europe (0.68)
- North America > United States (1.00)
- Industry:
- Government > Regional Government
- >
- > > > > North America Government (0.46)
- North America Government > United States Government (0.46)
- >
- Government > Regional Government
- Technology: