Search dblp for Publications

export results for "toc:db/journals/amai/amai11.bht:"

 download as .bib file

@article{DBLP:journals/amai/BesnardC94,
  author       = {Philippe Besnard and
                  Marie{-}Odile Cordier},
  title        = {Explanatory Diagnoses and Their Characterization by Circumscription},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {11},
  number       = {1-4},
  pages        = {75--96},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01530738},
  doi          = {10.1007/BF01530738},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/BesnardC94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/BottcherD94,
  author       = {Claudia B{\"{o}}ttcher and
                  Oskar Dressler},
  title        = {A Framework for Controlling Model-Based Diagnosis Systems with Multiple
                  Actions},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {11},
  number       = {1-4},
  pages        = {241--261},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01530744},
  doi          = {10.1007/BF01530744},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/BottcherD94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/ConsoleF94,
  author       = {Luca Console and
                  Gerhard Friedrich},
  title        = {Introduction},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {11},
  number       = {1-4},
  pages        = {1--10},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01530734},
  doi          = {10.1007/BF01530734},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/ConsoleF94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/ConsolePDT94,
  author       = {Luca Console and
                  Luigi Portinale and
                  Daniele Theseider Dupr{\'{e}} and
                  Pietro Torasso},
  title        = {Diagnosing Tim-Varying Misbehavior: An Approach Based on Model Decomposition},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {11},
  number       = {1-4},
  pages        = {381--398},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01530752},
  doi          = {10.1007/BF01530752},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/ConsolePDT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Dague94,
  author       = {Philippe Dague},
  title        = {Model-Based Diagnosis of Analog Electronic Circuits},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {11},
  number       = {1-4},
  pages        = {439--492},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01530755},
  doi          = {10.1007/BF01530755},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Dague94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/FreitagF94,
  author       = {Hartmut Freitag and
                  Gerhard Friedrich},
  title        = {Focusing on Independent Diagnosis Problems},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {11},
  number       = {1-4},
  pages        = {329--349},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01530749},
  doi          = {10.1007/BF01530749},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/FreitagF94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Friedrich94,
  author       = {Gerhard Friedrich},
  title        = {Theory Diagnoses: {A} Concise Characterization of Faulty Systems},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {11},
  number       = {1-4},
  pages        = {263--282},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01530745},
  doi          = {10.1007/BF01530745},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Friedrich94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/FriedrichGN94,
  author       = {Gerhard Friedrich and
                  Georg Gottlob and
                  Wolfgang Nejdl},
  title        = {Formalizing the Repair Process - Extended Report},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {11},
  number       = {1-4},
  pages        = {187--201},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01530742},
  doi          = {10.1007/BF01530742},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/FriedrichGN94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Hamscher94,
  author       = {Walter Hamscher},
  title        = {{CROSBY:} Financial Data Interpretation as Model-Based Diagnosis},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {11},
  number       = {1-4},
  pages        = {511--524},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01530757},
  doi          = {10.1007/BF01530757},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Hamscher94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/HoltzblattNPV94,
  author       = {Lester J. Holtzblatt and
                  M. J. Neiberg and
                  Richard L. Piazza and
                  Marc B. Vilain},
  title        = {Temporal Methods: Multi-Dimensional Modeling of Sequential Circuits},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {11},
  number       = {1-4},
  pages        = {399--413},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01530753},
  doi          = {10.1007/BF01530753},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/HoltzblattNPV94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Iwanowski94,
  author       = {Sebastian Iwanowski},
  title        = {An Algorithm for Model-Based Diagnosis That Considers Time},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {11},
  number       = {1-4},
  pages        = {415--437},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01530754},
  doi          = {10.1007/BF01530754},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Iwanowski94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Junker94,
  author       = {Ulrich Junker},
  title        = {Preferring Daignoses Using a Partial Order On Assumptions},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {11},
  number       = {1-4},
  pages        = {169--185},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01530741},
  doi          = {10.1007/BF01530741},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Junker94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Konolige94,
  author       = {Kurt Konolige},
  title        = {Using Default and Causal Reasoning in Diagnosis},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {11},
  number       = {1-4},
  pages        = {97--135},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01530739},
  doi          = {10.1007/BF01530739},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Konolige94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/LeitchCCC94,
  author       = {Roy Leitch and
                  Mike J. Chantler and
                  Qiang Shen and
                  George Macleod Coghill},
  title        = {A Preliminary Specification Methodology for Model-based Diagnosis},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {11},
  number       = {1-4},
  pages        = {11--32},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01530735},
  doi          = {10.1007/BF01530735},
  timestamp    = {Wed, 17 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/LeitchCCC94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/McIlraith94,
  author       = {Sheila A. McIlraith},
  title        = {Further Contributions to Characterizing Diagnosis},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {11},
  number       = {1-4},
  pages        = {137--167},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01530740},
  doi          = {10.1007/BF01530740},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/McIlraith94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/MozeticH94,
  author       = {Igor Mozetic and
                  Christian Holzbaur},
  title        = {Controlling the Complexity in Model-Based Diagnosis},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {11},
  number       = {1-4},
  pages        = {297--314},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01530747},
  doi          = {10.1007/BF01530747},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/MozeticH94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/OutRB94,
  author       = {D.{-}J. Out and
                  R. P. van Rikxoort and
                  R. R. Bakker},
  title        = {On the Construction of Hierarchie Models},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {11},
  number       = {1-4},
  pages        = {283--296},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01530746},
  doi          = {10.1007/BF01530746},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/OutRB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Poole94,
  author       = {David Poole},
  title        = {Representing Diagnosis Knowledge},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {11},
  number       = {1-4},
  pages        = {33--50},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01530736},
  doi          = {10.1007/BF01530736},
  timestamp    = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/Poole94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/PreistEB94,
  author       = {Chris Preist and
                  Kave Eshghi and
                  Bruno Bertolino},
  title        = {Consistency-Based and Abductive Diagnoses as Generalized Stable Models},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {11},
  number       = {1-4},
  pages        = {51--74},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01530737},
  doi          = {10.1007/BF01530737},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/PreistEB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/ReindersPN94,
  author       = {Martin Reinders and
                  Anita Pos and
                  Frank van der Neut},
  title        = {{DYANA:} Best-First Hierachical Diagnosis Based on Differential Equation
                  Models},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {11},
  number       = {1-4},
  pages        = {315--328},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01530748},
  doi          = {10.1007/BF01530748},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/ReindersPN94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Rymon94,
  author       = {Ron Rymon},
  title        = {An Se-Tree-Based Prime Implicant Generation Algorithm},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {11},
  number       = {1-4},
  pages        = {351--366},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01530750},
  doi          = {10.1007/BF01530750},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Rymon94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Scarl94,
  author       = {E. Scarl},
  title        = {Sensor Placement for Diagnosability},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {11},
  number       = {1-4},
  pages        = {493--509},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01530756},
  doi          = {10.1007/BF01530756},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Scarl94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Struss94,
  author       = {Peter Struss},
  title        = {Multiple Models of Physical Systems - Modeling Intermittent Faults,
                  Inaccuracy, and Tests in Diagnosis},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {11},
  number       = {1-4},
  pages        = {203--239},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01530743},
  doi          = {10.1007/BF01530743},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Struss94.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.