Sciweavers

10568 search results - page 601 / 2114
» Computer Intelligence and Formalization
Sort
View
AIPS
1998
15 years 8 months ago
How to Solve It Automatically: Selection Among Problem Solving Methods
The choice of an appropriate problem-solving method, from available methods, is a crucial skill for experts in many areas. We describe a technique for the automatic selection amon...
Eugene Fink
AAAI
1997
15 years 8 months ago
Tools for Assembling Modular Ontologies in Ontolingua
The Ontolingua ontology development environment provides a suite of ontology authoring tools and a library of modular reusable ontologies. The environment is available as a World ...
Richard Fikes, Adam Farquhar, James Rice
AAAI
1994
15 years 8 months ago
A Qualitative Physics Compiler
Predicting the behavior of physical systems is essential to both common sense and engineering tasks. It is made especially challenging by the lack of complete precise knowledge of...
Adam Farquhar
AAAI
1996
15 years 8 months ago
Sequential Inductive Learning
This article advocates a new model for inductive learning. Called sequential induction, it helps bridge classical fixed-sample learning techniques (which are efficient but difficu...
Jonathan Gratch
AAAI
1994
15 years 8 months ago
A Model of Creative Understanding
Although creativity has largely been studied in problem solving contexts, creativity consists of both a generative component and a comprehension component. In particular, creativi...
Kenneth Moorman, Ashwin Ram