{"type":"ScholarlyArticle","title":"A Static Model-Based Engine for Model-Based Reasoning","authors":[{"name":"Peter Fröhlich","slug":"peter-frohlich","given":"Peter","family":"Fröhlich","affiliation":""},{"name":"Wolfgang Nejdl","slug":"wolfgang-nejdl","given":"Wolfgang","family":"Nejdl","affiliation":""}],"abstract":"Most systems for model-based reasoning record justifications during the search for solutions. In the popular ATMS systems this can lead to an explosion of recorded information when solving complicated problems. We propose an engine for modelbased reasoning which works directly on logical models, uses static precompiled information on the structure of the underlying theory and does no further recording during search. This engine (DRUMII) solves large complicated problems with attractive time and space complexity. To demonstrate the efficiency of the engine we give a new characterization of a popular benchmark suite, solve it with our engine and compare the performance to previous results.","doi":null,"url":"https://ijcai.org/proceedings/1997/69","pdf":"https://ijcai.org/proceedings/1997/0069.pdf","markdown":"https://ijcai.org/proceedings/1997/69.md","bibtex":"https://ijcai.org/proceedings/1997/bibtex/69","volume":{"slug":"1997","title":"Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1997","url":"https://ijcai.org/proceedings/1997/","year":1997,"location":"Nagoya, Japan","dates":"","editors":"Martha E. Pollack","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Diagnosis and Qualitative Reasoning","track":"Diagnosis and Qualitative Reasoning","number":69,"pages":{"first":466,"last":472},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}