NTRS - NASA Technical Reports Server

Back to Results
Proceedings of the Workshop on Change of Representation and Problem ReformulationThe proceedings of the third Workshop on Change of representation and Problem Reformulation is presented. In contrast to the first two workshops, this workshop was focused on analytic or knowledge-based approaches, as opposed to statistical or empirical approaches called 'constructive induction'. The organizing committee believes that there is a potential for combining analytic and inductive approaches at a future date. However, it became apparent at the previous two workshops that the communities pursuing these different approaches are currently interested in largely non-overlapping issues. The constructive induction community has been holding its own workshops, principally in conjunction with the machine learning conference. While this workshop is more focused on analytic approaches, the organizing committee has made an effort to include more application domains. We have greatly expanded from the origins in the machine learning community. Participants in this workshop come from the full spectrum of AI application domains including planning, qualitative physics, software engineering, knowledge representation, and machine learning.
Document ID
Document Type
Conference Proceedings
Lowry, Michael R.
(RECOM Technologies, Inc. Moffett Field, CA United States)
Date Acquired
September 6, 2013
Publication Date
April 1, 1992
Publication Information
Publication: Proceedings of the Workshop on Change of Representation and Problem Reformulation
Subject Category
Report/Patent Number
NAS 1.15:111484
Distribution Limits
Work of the US Gov. Public Use Permitted.

Available Downloads

NameType 19960047147.pdf STI

Related Records

IDRelationTitle19960047153Analytic SubsidiaryQueries for Bias Testing19960047162Analytic SubsidiarySymmetry as Bias: Rediscovering Special Relativity19960047156Analytic SubsidiaryLearning Impasses in Problem Solving19960047165Analytic SubsidiaryThe Role of Reformulation in the Automatic Design of Satisfiability Procedures19960047163Analytic SubsidiaryBecoming Reactive by Concretization19960047159Analytic SubsidiaryLocalization Versus Abstraction: A Comparison of Two Search Reduction Techniques19960047160Analytic SubsidiaryIrrelevance in Problem Solving19960047157Analytic SubsidiaryWhen Does Changing Representation Improve Problem-Solving Performance?19960047164Analytic SubsidiaryReformulating Constraints for Compilability and Efficiency19960047152Analytic SubsidiaryAbstraction and Problem Reformulation19960047154Analytic SubsidiaryReformulating Non-Monotonic Theories for Inference and Updating19960047151Analytic SubsidiaryMachine Learning Techniques in Optimal Design19960047155Analytic SubsidiaryScare Tactics: Evaluating Problem Decompositions Using Failure Scenarios19960047161Analytic SubsidiaryGeneration and Exploitation of Aggregation Abstractions for Scheduling and Resource Allocation19960047149Analytic SubsidiaryTowards an Effective Theory of Reformulation19960047148Analytic SubsidiaryAn Integrated Planning Representation Using Macros, Abstractions, and Cases19960047158Analytic SubsidiaryDomain and Specification Models for Software Engineering19960047150Analytic SubsidiarySpecification Reformulation During Specification Validation
No Preview Available