Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/ai/Bibel82,
  author       = {Wolfgang Bibel},
  title        = {A Comparative Study of Several Proof Procedures},
  journal      = {Artif. Intell.},
  volume       = {18},
  number       = {3},
  pages        = {269--293},
  year         = {1982},
  url          = {https://doi.org/10.1016/0004-3702(82)90024-8},
  doi          = {10.1016/0004-3702(82)90024-8},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Bibel82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Georgeff82,
  author       = {Michael P. Georgeff},
  title        = {Procedural Control in Production Systems},
  journal      = {Artif. Intell.},
  volume       = {18},
  number       = {2},
  pages        = {175--201},
  year         = {1982},
  url          = {https://doi.org/10.1016/0004-3702(82)90039-X},
  doi          = {10.1016/0004-3702(82)90039-X},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Georgeff82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/McCord82,
  author       = {Michael C. McCord},
  title        = {Using Slots and Modifiers in Logic Grammars for Natural Language},
  journal      = {Artif. Intell.},
  volume       = {18},
  number       = {3},
  pages        = {327--367},
  year         = {1982},
  url          = {https://doi.org/10.1016/0004-3702(82)90026-1},
  doi          = {10.1016/0004-3702(82)90026-1},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/McCord82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Mitchell82,
  author       = {Tom M. Mitchell},
  title        = {Generalization as Search},
  journal      = {Artif. Intell.},
  volume       = {18},
  number       = {2},
  pages        = {203--226},
  year         = {1982},
  url          = {https://doi.org/10.1016/0004-3702(82)90040-6},
  doi          = {10.1016/0004-3702(82)90040-6},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/Mitchell82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Murray82,
  author       = {Neil V. Murray},
  title        = {Completely Non-Clausal Theorem Proving},
  journal      = {Artif. Intell.},
  volume       = {18},
  number       = {1},
  pages        = {67--85},
  year         = {1982},
  url          = {https://doi.org/10.1016/0004-3702(82)90011-X},
  doi          = {10.1016/0004-3702(82)90011-X},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/Murray82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Nau82a,
  author       = {Dana S. Nau},
  title        = {The Last Player Theorem},
  journal      = {Artif. Intell.},
  volume       = {18},
  number       = {1},
  pages        = {53--65},
  year         = {1982},
  url          = {https://doi.org/10.1016/0004-3702(82)90010-8},
  doi          = {10.1016/0004-3702(82)90010-8},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Nau82a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Newell82,
  author       = {Allen Newell},
  title        = {The Knowledge Level},
  journal      = {Artif. Intell.},
  volume       = {18},
  number       = {1},
  pages        = {87--127},
  year         = {1982},
  url          = {https://doi.org/10.1016/0004-3702(82)90012-1},
  doi          = {10.1016/0004-3702(82)90012-1},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Newell82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Plaisted82,
  author       = {David A. Plaisted},
  title        = {A Simplified Problem Reduction Format},
  journal      = {Artif. Intell.},
  volume       = {18},
  number       = {2},
  pages        = {227--261},
  year         = {1982},
  url          = {https://doi.org/10.1016/0004-3702(82)90041-8},
  doi          = {10.1016/0004-3702(82)90041-8},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/Plaisted82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/StefikABBBHS82,
  author       = {Mark Stefik and
                  Jan Aikins and
                  Robert Balzer and
                  John Benoit and
                  Lawrence Birnbaum and
                  Frederick Hayes{-}Roth and
                  Earl D. Sacerdoti},
  title        = {The Organization of Expert Systems, {A} Tutorial},
  journal      = {Artif. Intell.},
  volume       = {18},
  number       = {2},
  pages        = {135--173},
  year         = {1982},
  url          = {https://doi.org/10.1016/0004-3702(82)90038-8},
  doi          = {10.1016/0004-3702(82)90038-8},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/StefikABBBHS82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Wilkins82,
  author       = {David E. Wilkins},
  title        = {Using Knowledge to Control Tree Searching},
  journal      = {Artif. Intell.},
  volume       = {18},
  number       = {1},
  pages        = {1--51},
  year         = {1982},
  url          = {https://doi.org/10.1016/0004-3702(82)90009-1},
  doi          = {10.1016/0004-3702(82)90009-1},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Wilkins82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Woods82,
  author       = {William A. Woods},
  title        = {Optimal Search Strategies for Speech Understanding Control},
  journal      = {Artif. Intell.},
  volume       = {18},
  number       = {3},
  pages        = {295--326},
  year         = {1982},
  url          = {https://doi.org/10.1016/0004-3702(82)90025-X},
  doi          = {10.1016/0004-3702(82)90025-X},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/Woods82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.