Search dblp for Publications

• > Home > Search

@article{DBLP:journals/ai/Barrow84,
  author       = {Harry G. Barrow},
  title        = {{VERIFY:} {A} Program for Proving Correctness of Digital Hardware
                  Designs},
  journal      = {Artif. Intell.},
  volume       = {24},
  number       = {1-3},
  pages        = {437--491},
  year         = {1984},
  url          = {https://doi.org/10.1016/0004-3702(84)90044-4},
  doi          = {10.1016/0004-3702(84)90044-4},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Barrow84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Bobrow84,
  author       = {Daniel G. Bobrow},
  title        = {Qualitative Reasoning about Physical Systems: An Introduction},
  journal      = {Artif. Intell.},
  volume       = {24},
  number       = {1-3},
  pages        = {1--5},
  year         = {1984},
  url          = {https://doi.org/10.1016/0004-3702(84)90036-5},
  doi          = {10.1016/0004-3702(84)90036-5},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Bobrow84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Davis84,
  author       = {Randall Davis},
  title        = {Diagnostic Reasoning Based on Structure and Behavior},
  journal      = {Artif. Intell.},
  volume       = {24},
  number       = {1-3},
  pages        = {347--410},
  year         = {1984},
  url          = {https://doi.org/10.1016/0004-3702(84)90042-0},
  doi          = {10.1016/0004-3702(84)90042-0},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Davis84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Forbus84,
  author       = {Kenneth D. Forbus},
  title        = {Qualitative Process Theory},
  journal      = {Artif. Intell.},
  volume       = {24},
  number       = {1-3},
  pages        = {85--168},
  year         = {1984},
  url          = {https://doi.org/10.1016/0004-3702(84)90038-9},
  doi          = {10.1016/0004-3702(84)90038-9},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Forbus84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Genesereth84,
  author       = {Michael R. Genesereth},
  title        = {The Use of Design Descriptions in Automated Diagnosis},
  journal      = {Artif. Intell.},
  volume       = {24},
  number       = {1-3},
  pages        = {411--436},
  year         = {1984},
  url          = {https://doi.org/10.1016/0004-3702(84)90043-2},
  doi          = {10.1016/0004-3702(84)90043-2},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Genesereth84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Kleer84,
  author       = {Johan de Kleer},
  title        = {How Circuits Work},
  journal      = {Artif. Intell.},
  volume       = {24},
  number       = {1-3},
  pages        = {205--280},
  year         = {1984},
  url          = {https://doi.org/10.1016/0004-3702(84)90040-7},
  doi          = {10.1016/0004-3702(84)90040-7},
  timestamp    = {Fri, 22 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/Kleer84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/KleerB84,
  author       = {Johan de Kleer and
                  John Seely Brown},
  title        = {A Qualitative Physics Based on Confluences},
  journal      = {Artif. Intell.},
  volume       = {24},
  number       = {1-3},
  pages        = {7--83},
  year         = {1984},
  url          = {https://doi.org/10.1016/0004-3702(84)90037-7},
  doi          = {10.1016/0004-3702(84)90037-7},
  timestamp    = {Fri, 22 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/KleerB84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Kuipers84,
  author       = {Benjamin Kuipers},
  title        = {Commonsense Reasoning about Causality: Deriving Behavior from Structure},
  journal      = {Artif. Intell.},
  volume       = {24},
  number       = {1-3},
  pages        = {169--203},
  year         = {1984},
  url          = {https://doi.org/10.1016/0004-3702(84)90039-0},
  doi          = {10.1016/0004-3702(84)90039-0},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Kuipers84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Williams84,
  author       = {Brian C. Williams},
  title        = {Qualitative Analysis of {MOS} Circuits},
  journal      = {Artif. Intell.},
  volume       = {24},
  number       = {1-3},
  pages        = {281--346},
  year         = {1984},
  url          = {https://doi.org/10.1016/0004-3702(84)90041-9},
  doi          = {10.1016/0004-3702(84)90041-9},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Williams84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}