title

SARA 2000

Refresh

0;URL=http://sara2000.unl.edu/index.php3

GENERATOR

/bin/vi

editor

/bin/vi

keywords

abstraction, reformulation, approximation, modeling, automated reasoning, artificial intelligence, search, constraint satisfaction, planning, theorem proving, spatial reasoning, temporal reasoning, automatic programming, software engineering, analogical reasoning , case-based reasoning, machine learning, speedup learning. model checking, database, model-based reasoning, reasoning about physical systems, tractable reasoning, interchangeability, symmetry, approximability, problem representation, change of representation, theory compilation, knowledge compilation

stylesheet

sara-style.css