Search dblp for Publications

export results for "toc:db/journals/ai/ai6.bht:"

 download as .bib file

@article{DBLP:journals/ai/Adelson-VelskiyAD75,
  author       = {G. M. Adelson{-}Velskiy and
                  Vladimir L. Arlazarov and
                  M. V. Donskoy},
  title        = {Some Methods of Controlling the Tree Search in Chess Programs},
  journal      = {Artif. Intell.},
  volume       = {6},
  number       = {4},
  pages        = {361--371},
  year         = {1975},
  url          = {https://doi.org/10.1016/0004-3702(75)90021-1},
  doi          = {10.1016/0004-3702(75)90021-1},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Adelson-VelskiyAD75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/AmblerBBBP75,
  author       = {A. Patricia Ambler and
                  Harry G. Barrow and
                  Christopher M. Brown and
                  Rod M. Burstall and
                  Robin J. Popplestone},
  title        = {A Versatile System for Computer-Controlled Assembly},
  journal      = {Artif. Intell.},
  volume       = {6},
  number       = {2},
  pages        = {129--156},
  year         = {1975},
  url          = {https://doi.org/10.1016/0004-3702(75)90006-5},
  doi          = {10.1016/0004-3702(75)90006-5},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/AmblerBBBP75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/AmblerP75,
  author       = {A. Patricia Ambler and
                  Robin J. Popplestone},
  title        = {Inferring the Positions of Bodies from Specified Spatial Relationships},
  journal      = {Artif. Intell.},
  volume       = {6},
  number       = {2},
  pages        = {157--174},
  year         = {1975},
  url          = {https://doi.org/10.1016/0004-3702(75)90007-7},
  doi          = {10.1016/0004-3702(75)90007-7},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/AmblerP75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Bruce75,
  author       = {Bertram C. Bruce},
  title        = {Case Systems for Natural Language},
  journal      = {Artif. Intell.},
  volume       = {6},
  number       = {4},
  pages        = {327--360},
  year         = {1975},
  url          = {https://doi.org/10.1016/0004-3702(75)90020-X},
  doi          = {10.1016/0004-3702(75)90020-X},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Bruce75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/FishmanM75,
  author       = {Daniel H. Fishman and
                  Jack Minker},
  title        = {Pi-Representation: {A} Clause Representation for Parallel Search},
  journal      = {Artif. Intell.},
  volume       = {6},
  number       = {2},
  pages        = {103--127},
  year         = {1975},
  url          = {https://doi.org/10.1016/0004-3702(75)90005-3},
  doi          = {10.1016/0004-3702(75)90005-3},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/FishmanM75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Goldstein75,
  author       = {Ira P. Goldstein},
  title        = {Summary of {MYCROFT:} {A} System for Understanding Simple Picture
                  Programs},
  journal      = {Artif. Intell.},
  volume       = {6},
  number       = {3},
  pages        = {249--288},
  year         = {1975},
  url          = {https://doi.org/10.1016/0004-3702(75)90003-X},
  doi          = {10.1016/0004-3702(75)90003-X},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Goldstein75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/HaralickR75,
  author       = {Robert M. Haralick and
                  Knut Ripken},
  title        = {An Associative-Categorical Model of Word Meaning},
  journal      = {Artif. Intell.},
  volume       = {6},
  number       = {1},
  pages        = {75--99},
  year         = {1975},
  url          = {https://doi.org/10.1016/0004-3702(75)90017-X},
  doi          = {10.1016/0004-3702(75)90017-X},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/HaralickR75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Kassler75,
  author       = {Michael Kassler},
  title        = {A. Newell, J. Barnett et al., Speech-Understanding Systems},
  journal      = {Artif. Intell.},
  volume       = {6},
  number       = {2},
  pages        = {209--213},
  year         = {1975},
  timestamp    = {Wed, 19 Nov 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/Kassler75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/KnuthM75,
  author       = {Donald E. Knuth and
                  Ronald W. Moore},
  title        = {An Analysis of Alpha-Beta Pruning},
  journal      = {Artif. Intell.},
  volume       = {6},
  number       = {4},
  pages        = {293--326},
  year         = {1975},
  url          = {https://doi.org/10.1016/0004-3702(75)90019-3},
  doi          = {10.1016/0004-3702(75)90019-3},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/KnuthM75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/KoffmanB75,
  author       = {Elliot B. Koffman and
                  Sumner E. Blount},
  title        = {Artificial Intelligence and Automatic Programming in {CAI}},
  journal      = {Artif. Intell.},
  volume       = {6},
  number       = {3},
  pages        = {215--234},
  year         = {1975},
  url          = {https://doi.org/10.1016/0004-3702(75)90001-6},
  doi          = {10.1016/0004-3702(75)90001-6},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/KoffmanB75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Lee75,
  author       = {Richard C. T. Lee},
  title        = {D. Michie, On Machine Intelligence},
  journal      = {Artif. Intell.},
  volume       = {6},
  number       = {2},
  pages        = {213--214},
  year         = {1975},
  timestamp    = {Wed, 19 Nov 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/Lee75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/MannaW75,
  author       = {Zohar Manna and
                  Richard J. Waldinger},
  title        = {Knowledge and Reasoning in Program Synthesis},
  journal      = {Artif. Intell.},
  volume       = {6},
  number       = {2},
  pages        = {175--208},
  year         = {1975},
  url          = {https://doi.org/10.1016/0004-3702(75)90008-9},
  doi          = {10.1016/0004-3702(75)90008-9},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/MannaW75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Nevins75,
  author       = {Arthur J. Nevins},
  title        = {Plane Geometry Theorem Proving Using Forward Chaining},
  journal      = {Artif. Intell.},
  volume       = {6},
  number       = {1},
  pages        = {1--23},
  year         = {1975},
  url          = {https://doi.org/10.1016/0004-3702(75)90013-2},
  doi          = {10.1016/0004-3702(75)90013-2},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Nevins75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Nevins75a,
  author       = {Arthur J. Nevins},
  title        = {A Relaxation Approach to Splitting in an Automatic Theorem Prover},
  journal      = {Artif. Intell.},
  volume       = {6},
  number       = {1},
  pages        = {25--39},
  year         = {1975},
  url          = {https://doi.org/10.1016/0004-3702(75)90014-4},
  doi          = {10.1016/0004-3702(75)90014-4},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Nevins75a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/SiklossyR75,
  author       = {Laurent Sikl{\'{o}}ssy and
                  John W. Roach},
  title        = {Model Verification and Improvement Using {DISPROVER}},
  journal      = {Artif. Intell.},
  volume       = {6},
  number       = {1},
  pages        = {41--52},
  year         = {1975},
  url          = {https://doi.org/10.1016/0004-3702(75)90015-6},
  doi          = {10.1016/0004-3702(75)90015-6},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/SiklossyR75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/SimonK75,
  author       = {Herbert A. Simon and
                  Joseph B. Kadane},
  title        = {Optimal Problem-Solving Search: All-Oor-None Solutions},
  journal      = {Artif. Intell.},
  volume       = {6},
  number       = {3},
  pages        = {235--247},
  year         = {1975},
  url          = {https://doi.org/10.1016/0004-3702(75)90002-8},
  doi          = {10.1016/0004-3702(75)90002-8},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/SimonK75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Uhr75,
  author       = {Leonard Uhr},
  title        = {Roger C. Schank and Kenneth Mark Colby (editors), Computer Models
                  of Thought and Language},
  journal      = {Artif. Intell.},
  volume       = {6},
  number       = {3},
  pages        = {289--292},
  year         = {1975},
  url          = {https://doi.org/10.1016/0004-3702(75)90004-1},
  doi          = {10.1016/0004-3702(75)90004-1},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Uhr75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Wilks75,
  author       = {Yorick Wilks},
  title        = {A Preferential, Pattern-Seeking, Semantics for Natural Language Inference},
  journal      = {Artif. Intell.},
  volume       = {6},
  number       = {1},
  pages        = {53--74},
  year         = {1975},
  url          = {https://doi.org/10.1016/0004-3702(75)90016-8},
  doi          = {10.1016/0004-3702(75)90016-8},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Wilks75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Zobrist75,
  author       = {Albert L. Zobrist},
  title        = {Leonard Uhr, Pattern Recognition, Learning and Thought},
  journal      = {Artif. Intell.},
  volume       = {6},
  number       = {4},
  pages        = {373--376},
  year         = {1975},
  url          = {https://doi.org/10.1016/0004-3702(75)90022-3},
  doi          = {10.1016/0004-3702(75)90022-3},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Zobrist75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.