Introduction to the Special Volume on Reformulation

Authors:
Thomas Ellman;Fausto Giunchiglia
Affiliations:
Department of Computer Science, 124 Raymond Avenue, Vassar College, Poughkeepsie, NY 12604, USA;Department of Information and Communication Technology, University of Trento, 38050 Povo di Trento, Italy
Venue:
Artificial Intelligence - Special volume on reformulation
Year:
2005

Heuristics: intelligent search strategies for computer problem solving

Heuristics: intelligent search strategies for computer problem solving
Exaggeration

Artificial Intelligence
Abstraction in query processing

Journal of the ACM (JACM)
Compositional modeling: finding the right model for the job

Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
A theory of abstraction

Artificial Intelligence
Causal approximations

Artificial Intelligence
Knowledge compilation and theory approximation

Journal of the ACM (JACM)
Abstracting soft constraints: framework, properties, examples

Artificial Intelligence
Machine Discovery of Effective Admissible Heuristics

Machine Learning
Abstraction via approximate symmetry

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
Algorithm synthesis through problem reformulation

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2

Hi-index	0.00