{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:49:29Z","timestamp":1725666569802},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540545675"},{"type":"electronic","value":"9783642467523"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/978-3-642-46752-3_18","type":"book-chapter","created":{"date-parts":[[2012,3,8]],"date-time":"2012-03-08T07:25:04Z","timestamp":1331191504000},"page":"168-180","source":"Crossref","is-referenced-by-count":1,"title":["Model-Based Diagnosis with Constraint Logic Programs"],"prefix":"10.1007","author":[{"given":"Igor","family":"Mozeti\u010d","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Holzbaur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","volume-title":"The Mathematical Analysis of Logic","author":"G Boole","year":"1947","unstructured":"Boole, G. (1947). The Mathematical Analysis of Logic. Macmillan."},{"key":"18_CR2","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/S0747-7171(87)80065-2","volume":"4","author":"W Biittner","year":"1987","unstructured":"Biittner, W., Simonis, H. (1987). Embedding Boolean expressions into logic programming. Journal of Symbolic Computation 4, pp. 191\u2013205.","journal-title":"Journal of Symbolic Computation"},{"issue":"7","key":"18_CR3","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1145\/79204.79209","volume":"33","author":"J Cohen","year":"1990","unstructured":"Cohen, J. (1990). Constraint logic programming languages. Communications of the ACM 33 (7), pp. 52\u201368.","journal-title":"Communications of the ACM"},{"key":"18_CR4","volume-title":"SEKI Working Paper SWP-89-01","author":"B Crone-Rawe","year":"1989","unstructured":"Crone-Rawe, B. (1989) Unification algorithms for boolean rings. SEKI Working Paper SWP-89-01, University of Kaiserslautern, Germany."},{"key":"18_CR5","first-page":"173","volume-title":"Analog systems diagnosis","author":"P Dague","year":"1990","unstructured":"Dague, P., Deves, P., Luciani, P., Taillibert, P. (1990). Analog systems diagnosis. Proc. 9th ECAI, pp. 173\u2013178, Stockholm."},{"key":"18_CR6","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/0004-3702(84)90042-0","volume":"24","author":"R Davis","year":"1984","unstructured":"Davis, R. (1984). Diagnostic reasoning based on structure and behaviour. Artificial Intelligence 24, pp. 347\u2013410.","journal-title":"Artificial Intelligence"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"de Kleer, J., Mackworth, A.K., Reiter, R. (1990). Characterizing diagnoses. Proc. 8th AAAI, pp. 324\u2013330, Boston, MIT Press.","DOI":"10.1007\/3-540-53104-1_27"},{"key":"18_CR8","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J Kleer de","year":"1987","unstructured":"de Kleer, J., Williams, B.C. (1987). Diagnosing multiple faults. Artificial Intelligence 32, pp. 97\u2013130.","journal-title":"Artificial Intelligence"},{"key":"18_CR9","volume-title":"1324\u20131330","author":"J Kleer de","year":"1989","unstructured":"de Kleer, J., Williams, B.C. (1989). Diagnosis with behavioral modes. Proc. 11th IJCAI, pp. 1324\u20131330, Detroit, Morgan Kaufmann."},{"key":"18_CR10","volume-title":"Focusing the diagnosis engine. Unpublished draft","author":"J Kleer de","year":"1990","unstructured":"de Kleer, J., Williams, B.C. (1990). Focusing the diagnosis engine. Unpublished draft, presented at the First Intl. Workshop on Principles of Diagnosis, Stanford University."},{"key":"18_CR11","first-page":"124","volume-title":"Hypothesis classification, abductive diagnosis and therapy","author":"G Friedrich","year":"1990","unstructured":"Friedrich, G., Gottlob, G., Nejdl, W. (1990). Hypothesis classification, abductive diagnosis and therapy. Proc. First Intl. Workshop on Principles of Diagnosis, pp. 124\u2013128, Stanford University."},{"key":"18_CR12","first-page":"1350","volume-title":"A diagnostic algorithm based on models at different level of abstraction","author":"M Gallanti","year":"1989","unstructured":"Gallanti, M., Roncato, M., Stefanini, A., Tornielli, G. (1989). A diagnostic algorithm based on models at different level of abstraction. Proc. 11th IJCAI, pp. 1350\u20131355, Detroit, Morgan Kaufmann."},{"key":"18_CR13","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1016\/0004-3702(84)90043-2","volume":"24","author":"MR Genesereth","year":"1984","unstructured":"Genesereth, M.R. (1984). The use of design descriptions in automated diagnosis. Artificial Intelligence 24, pp. 411\u2013436.","journal-title":"Artificial Intelligence"},{"key":"18_CR14","volume-title":"of Computer Science","author":"N Heintze","year":"1987","unstructured":"Heintze, N., Jaffar, J., Michaylov, S., Stuckey, P., Yap, R. (1987). The CLP(U) programmer\u2019s manual. Dept. of Computer Science, Monash University, Australia."},{"key":"18_CR15","first-page":"675","volume-title":"Melbourne","author":"N Heintze","year":"1987","unstructured":"Heintze, N., Michaylov, S., Stuckey, P. (1987). CLP (R) and some electrical engineering problems. Proc. 4\n                  \n                    th\n                  \n                  Intl. Conference on Logic Programming, pp. 675\u2013703, Melbourne, Australia, The MIT Press."},{"key":"18_CR16","volume-title":"Specification of constraint based inference mechanisms through extended unification","author":"C Holzbaur","year":"1990","unstructured":"Holzbaur, C. (1990). Specification of constraint based inference mechanisms through extended unification. Ph.D. Thesis, Vienna University of Technology, Austria."},{"key":"18_CR17","volume-title":"CLP(Sft) version 1.0 reference manual","author":"J Jaffar","year":"1990","unstructured":"Jaffar, J. (1990). CLP(Sft) version 1.0 reference manual. IBM Research Division, T.J. Watson Research Center, Yorktown Heights, NY."},{"key":"18_CR18","volume-title":"Logic Programming: Functions, Relations, and Equations","author":"J Jaffar","year":"1986","unstructured":"Jaffar, J., Lassez, J.-L., Mahler, J. (1986). A logic programming language scheme. In D. de Groot, G. Linstrom (eds.), Logic Programming: Functions, Relations, and Equations, Prentice-Hall, Englewood Cliffs, NJ."},{"key":"18_CR19","volume-title":"FB Informatik","author":"F-J Kraemer","year":"1989","unstructured":"Kraemer, F.-J. (1989). A decision procedure for Presburger arithmetic with functions and equality. SEKI working paper SWP-89\u20134, FB Informatik, University of Kaiserslautern, Germany."},{"key":"18_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"JW Lloyd","year":"1987","unstructured":"Lloyd, J.W. (1987). Foundations of Logic Programming (Second edition). Springer-Verlag, Berlin.","edition":"2"},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"Martin, U., Nipkov, T. (1986). Unification in boolean rings. Proc. 8th Intl. Conference on Automated Deduction, pp. 506\u2013513.","DOI":"10.1007\/3-540-16780-3_115"},{"key":"18_CR22","unstructured":"Mozetic, I. (1990). Reduction of diagnostic complexity through model abstractions. Report TR-90\u201310, Austrian Research Institute for Artificial Intelligence, Vienna. Proc. First Intl. Workshop on Principles of Diagnosis, pp. 102\u2013111, Stanford University, Palo Alto."},{"key":"18_CR23","volume-title":"Integrating qualitative and numerical models within Constraint Logic Programming","author":"I Mozetic","year":"1991","unstructured":"Mozetic, I., Holzbaur, C. (1991a). Integrating qualitative and numerical models within Constraint Logic Programming. Report TR-91\u20132, Austrian Research Institute for Artificial Intelligence, Vienna, Austria. Proc. 1st European Workshop on Qualitative Reasoning about Physical Systems, Genova, Italy."},{"key":"18_CR24","volume-title":"Controlling the complexity in model-based diagnosis","author":"I Mozetic","year":"1991","unstructured":"Mozetic, I., Holzbaur, C. (1991b). Controlling the complexity in model-based diagnosis. Report TR-91\u20133, Austrian Research Institute for Artificial Intelligence, Vienna, Austria."},{"key":"18_CR25","first-page":"1304","volume-title":"Normality and faults in logic-based diagnosis","author":"D Poole","year":"1989","unstructured":"Poole, D. (1989). Normality and faults in logic-based diagnosis. Proc. 11th IJCAI, pp. 1304\u20131310, Detroit, Morgan Kaufmann."},{"key":"18_CR26","volume-title":"Diagnosis as a trial: the alibi principle","author":"O Raiman","year":"1989","unstructured":"Raiman, O. (1989). Diagnosis as a trial: the alibi principle. IBM Scientific Center, Paris."},{"key":"18_CR27","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R Reiter","year":"1987","unstructured":"Reiter, R. (1987). A theory of diagnosis from first principles. Artificial Intelligence 32, pp. 57\u201395.","journal-title":"Artificial Intelligence"},{"issue":"4","key":"18_CR28","doi-asserted-by":"publisher","first-page":"769","DOI":"10.1145\/322276.322288","volume":"28","author":"R Shostak","year":"1981","unstructured":"Shostak, R. (1981). Deciding linear inequalities by computing loop residues. Journal of the ACM 28 (4), pp. 769\u2013779.","journal-title":"Journal of the ACM"},{"key":"18_CR29","first-page":"1318","volume-title":"Integrating fault models into the general diagnostic engine","author":"P Struss","year":"1989","unstructured":"Struss, P., Dressier, O., (1989). \u201cPhysical negation\u201d \u2014 integrating fault models into the general diagnostic engine. Proc. 11th IJCAI, pp. 1318\u20131323, Detroit, Morgan Kaufmann."},{"key":"18_CR30","first-page":"95","volume-title":"Electronic Engineering","author":"A Wakeling","year":"1989","unstructured":"Wakeling, A., McKeon A. (1989). On automatic fault finding in analogue circuits. Electronic Engineering, pp. 95\u2013101, Nov. 1989."}],"container-title":["Informatik-Fachberichte","7. \u00d6sterreichische Artificial-Intelligence-Tagung \/ Seventh Austrian Conference on Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-46752-3_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T13:50:56Z","timestamp":1620136256000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-46752-3_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540545675","9783642467523"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-46752-3_18","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1991]]}}}