Abstract
We now define a new class of models for \({\cal {MQL}}\) specification, the locally minimal models. They are an amalgamation of domain minimal models and subset-minimal models known from first-order model generation. The property of being a local minimal model in our logic \({\cal {MQL}}\) is decidable.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Konrad, K. (2004). 4 Minimal Model Generation. In: Model Generation for Natural Language Interpretation and Analysis. Lecture Notes in Computer Science(), vol 2953. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24640-4_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-24640-4_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21069-6
Online ISBN: 978-3-540-24640-4
eBook Packages: Springer Book Archive