Search dblp for Publications

• > Home > Search

@article{DBLP:journals/ai/BriceF70,
  author       = {Claude R. Brice and
                  Claude L. Fennema},
  title        = {Scene Analysis Using Regions},
  journal      = {Artif. Intell.},
  volume       = {1},
  number       = {3},
  pages        = {205--226},
  year         = {1970},
  url          = {https://doi.org/10.1016/0004-3702(70)90008-1},
  doi          = {10.1016/0004-3702(70)90008-1},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/BriceF70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Chang70,
  author       = {Chin{-}Liang Chang},
  title        = {Renamable Paramodulation for Automatic Theorem Proving with Equality},
  journal      = {Artif. Intell.},
  volume       = {1},
  number       = {4},
  pages        = {247--256},
  year         = {1970},
  url          = {https://doi.org/10.1016/0004-3702(70)90010-X},
  doi          = {10.1016/0004-3702(70)90010-X},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Chang70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Fikes70,
  author       = {Richard Fikes},
  title        = {{REF-ARF:} {A} System for Solving Problems Stated as Procedures},
  journal      = {Artif. Intell.},
  volume       = {1},
  number       = {1/2},
  pages        = {27--120},
  year         = {1970},
  url          = {https://doi.org/10.1016/0004-3702(70)90003-2},
  doi          = {10.1016/0004-3702(70)90003-2},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Fikes70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Gilmore70,
  author       = {Paul C. Gilmore},
  title        = {An Examination of the Geometry Theorem Machine},
  journal      = {Artif. Intell.},
  volume       = {1},
  number       = {3},
  pages        = {171--187},
  year         = {1970},
  url          = {https://doi.org/10.1016/0004-3702(70)90005-6},
  doi          = {10.1016/0004-3702(70)90005-6},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Gilmore70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Manna70,
  author       = {Zohar Manna},
  title        = {The Correctness of Nondeterministic Programs},
  journal      = {Artif. Intell.},
  volume       = {1},
  number       = {1/2},
  pages        = {1--26},
  year         = {1970},
  url          = {https://doi.org/10.1016/0004-3702(70)90002-0},
  doi          = {10.1016/0004-3702(70)90002-0},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Manna70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Meltzer70,
  author       = {Bernard Meltzer},
  title        = {The Semantics of Induction and the Possibility of Complete Systems
                  of Inductive Inference},
  journal      = {Artif. Intell.},
  volume       = {1},
  number       = {3},
  pages        = {189--192},
  year         = {1970},
  url          = {https://doi.org/10.1016/0004-3702(70)90006-8},
  doi          = {10.1016/0004-3702(70)90006-8},
  timestamp    = {Thu, 23 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Meltzer70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Montanari70,
  author       = {Ugo Montanari},
  title        = {Heuristically Guided Search and Chromosome Matching},
  journal      = {Artif. Intell.},
  volume       = {1},
  number       = {4},
  pages        = {227--245},
  year         = {1970},
  url          = {https://doi.org/10.1016/0004-3702(70)90009-3},
  doi          = {10.1016/0004-3702(70)90009-3},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Montanari70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Pohl70,
  author       = {Ira Pohl},
  title        = {Heuristic Search Viewed as Path Finding in a Graph},
  journal      = {Artif. Intell.},
  volume       = {1},
  number       = {3},
  pages        = {193--204},
  year         = {1970},
  url          = {https://doi.org/10.1016/0004-3702(70)90007-X},
  doi          = {10.1016/0004-3702(70)90007-X},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Pohl70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Waterman70,
  author       = {Donald A. Waterman},
  title        = {Generalization Learning Techniques for Automating the Learning of
                  Heuristics},
  journal      = {Artif. Intell.},
  volume       = {1},
  number       = {1/2},
  pages        = {121--170},
  year         = {1970},
  url          = {https://doi.org/10.1016/0004-3702(70)90004-4},
  doi          = {10.1016/0004-3702(70)90004-4},
  timestamp    = {Fri, 25 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/Waterman70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/YatesRH70,
  author       = {Robert A. Yates and
                  Bertram Raphael and
                  Timothy P. Hart},
  title        = {Resolution Graphs},
  journal      = {Artif. Intell.},
  volume       = {1},
  number       = {4},
  pages        = {257--289},
  year         = {1970},
  url          = {https://doi.org/10.1016/0004-3702(70)90011-1},
  doi          = {10.1016/0004-3702(70)90011-1},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/YatesRH70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}