MACHINE INTELLIGENCE 9
–AI Classics/files/AI/classics/Machine_Intelligence_9/Machine Intelligence v9.pdf
A. YONEZAWA and C. HEWITT 41 REPRESENTATIONS FOR ABSTRACT REASONING 4 A maximal method for set variables in automatic theorem-proving W. W. BLEDSOE
Jan-25-2015, 22:24:03 GMT
- Country:
- Asia > Middle East (0.67)
- Europe
- Netherlands (0.67)
- United Kingdom > England (1.00)
- North America
- Canada (1.00)
- United States > California (1.00)
- Genre:
- Instructional Material > Course Syllabus & Notes (0.67)
- Personal (1.00)
- Research Report (1.00)
- Industry:
- Transportation
- Energy > Oil & Gas
- Upstream (0.92)
- Education (1.00)
- Health & Medicine > Therapeutic Area
- Neurology (1.00)
- Government
- Military (1.00)
- Regional Government
- >
- > > > > North America Government (0.92)
- North America Government > United States Government (0.92)
- >
- Media > News (0.92)
- Law (1.00)
- Information Technology (0.92)
- Leisure & Entertainment
- Consumer Products & Services (0.92)
- Law Enforcement & Public Safety (0.92)
- Technology:
- Information Technology
- Artificial Intelligence
- Cognitive Science > Problem Solving (1.01)
- Games > Chess (0.93)
- History (0.67)
- Machine Learning > Pattern Recognition (1.00)
- Natural Language
- Grammars & Parsing (0.92)
- Text Processing (0.92)
- Representation & Reasoning
- Planning & Scheduling (0.67)
- Expert Systems (1.01)
- Logic & Formal Reasoning (1.01)
- Scripts & Frames (1.00)
- Rule-Based Reasoning (1.00)
- Optimization (1.01)
- Ontologies (0.67)
- Search (1.00)
- Uncertainty > Fuzzy Logic (1.01)
- Robots > Locomotion (0.67)
- Vision (0.92)
- Communications > Networks (0.92)
- Knowledge Management > Knowledge Engineering (1.00)
- Software > Programming Languages (1.00)
- Artificial Intelligence
- Information Technology