Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/ijcai/HalsteadF07,
  author       = {Daniel T. Halstead and
                  Kenneth D. Forbus},
  title        = {Some Effects of a Reduced Relational Vocabulary on the Whodunit Problem},
  booktitle    = {{IJCAI}},
  pages        = {411--416},
  year         = {2007}
}

@inproceedings{DBLP:conf/aaai/HalsteadF05,
  author       = {Daniel T. Halstead and
                  Kenneth D. Forbus},
  title        = {Transforming between Propositions and Features: Bridging the Gap},
  booktitle    = {{AAAI}},
  pages        = {777--782},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {2005}
}

@article{DBLP:journals/lisp/AbelsonDHRAFKSBHOSBHPW98,
  author       = {Harold Abelson and
                  R. Kent Dybvig and
                  Christopher T. Haynes and
                  Guillermo Juan Rozas and
                  N. I. Adams IV and
                  Daniel P. Friedman and
                  Eugene E. Kohlbecker and
                  Guy L. Steele Jr. and
                  David H. Bartley and
                  Robert H. Halstead Jr. and
                  Don Oxley and
                  Gerald J. Sussman and
                  G. Brooks and
                  Chris Hanson and
                  Kent M. Pitman and
                  Mitchell Wand},
  title        = {Revised Report on the Algorithmic Language Scheme},
  journal      = {High. Order Symb. Comput.},
  volume       = {11},
  number       = {1},
  pages        = {7--105},
  year         = {1998}
}