{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:52:42Z","timestamp":1725486762697},"publisher-location":"Berlin, Heidelberg","reference-count":47,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540719854"},{"type":"electronic","value":"9783540719861"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-71986-1_24","type":"book-chapter","created":{"date-parts":[[2007,6,28]],"date-time":"2007-06-28T22:39:16Z","timestamp":1183070356000},"page":"413-430","source":"Crossref","is-referenced-by-count":0,"title":["Model-Based Chemical Compound Formulation"],"prefix":"10.1007","author":[{"given":"Stefania","family":"Bandini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Mosca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matteo","family":"Palmonari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1_Ref","unstructured":"Grant, G., Richards, W.: Computational Chemistry. Volume 29 of Oxford Chem-istry Primers. Oxford University Press (1995)"},{"key":"24_CR2_Ref","unstructured":"Cohen-Tannoudji, C., Diu, B., Laloe, F.: Quantum Mechanics Volume I & II. John Wiley & Sons (1977)"},{"key":"24_CR3_Ref","unstructured":"MacQuarrie, D.: Quantum Chemistry. Prentice Hall (1983)"},{"key":"24_CR4_Ref","doi-asserted-by":"crossref","unstructured":"Hammond, B., Lester, W., Reynolds, P.: Monte Carlo Methods in Ab Initio Quantum Chemistry. World Scientific (1994)","DOI":"10.1142\/1170"},{"key":"24_CR5_Ref","unstructured":"Parr, R., Yang, W.: Density Functional Theory of Atoms and Molecules. Oxford University Press (1989)"},{"key":"24_CR6_Ref","volume-title":"Rubber Technology Handbook","author":"W Hoffmann","year":"1989","unstructured":"Hoffmann, W.: Rubber Technology Handbook. Oxford University Press, New York (1989)"},{"key":"24_CR7_Ref","unstructured":"Burkert, U., Allinger, N.: Molecular Mechanics. American Chemical Society (1982)"},{"key":"24_CR8_Ref","doi-asserted-by":"crossref","unstructured":"Schlick, T.: Molecular Modeling and Simulation. Springer Verlag (2002)","DOI":"10.1007\/978-0-387-22464-0"},{"key":"24_CR9_Ref","doi-asserted-by":"crossref","unstructured":"Young, D.: Computational Chemistry : A Practical Guide for Applying Tech-niques to Real World Problems. Wiley-Interscience (2001)","DOI":"10.1002\/0471220655"},{"key":"24_CR10_Ref","unstructured":"Mittal, S., Frayman, F.: Towards a generic model of configuration tasks. In: Proc. of the 11th IJCAI, Detroit, MI (1989) 1395-1401"},{"key":"24_CR11_Ref","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R Fikes","year":"1971","unstructured":"Fikes, R., Nilsson, N.J.: Strips: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2 (1971) 189-208","journal-title":"Artificial Intelligence"},{"key":"24_CR12_Ref","unstructured":"Newell, A., Simon, H.A.: Gps, a program that simulates human thought. In Feigenbaum, E.A., Feldman, J., eds.: Computers and Thought. McGraw-Hill (1963)279-293"},{"key":"24_CR13_Ref","volume-title":"Machine Intelligence 4","author":"CC Green","year":"1969","unstructured":"Green, C.C.: Theorem proving by resolution as a basis for question-answering systems. In Meltzer, Michie, eds.: Machine Intelligence 4. Edinburgh University Press, Edinburgh (1969)"},{"key":"24_CR14_Ref","doi-asserted-by":"crossref","unstructured":"Green, C.C.: Application of theorem proving to problem solving. In: IJCAI1. (1969)219-239","DOI":"10.21236\/ADA459656"},{"key":"24_CR15_Ref","unstructured":"McCarthy, J., Hayes, P.J.: Some philosophical problems from the standpoint of artificial intelligence. In Meltzer, B., Michie, D., eds.: Machine Intelligence 4. Edinburgh University Press (1969) 463-502"},{"key":"24_CR16_Ref","first-page":"367","volume":"9","author":"M Fox","year":"1998","unstructured":"Fox, M., Long, D.: The automatic inference of state invariants in tim. Journal of AI Research 9 (1998) 367-421","journal-title":"Journal of AI Research"},{"key":"24_CR17_Ref","unstructured":"Gerevini, A., Schubert, L.: Inferring state constraints for domain-independent planning. In: AAAI \u201998\/IAAI \u201998: Proceedings of the Fifteenth National\/Tenth Conference on Artificial Intelligence\/Innovative Applications of Artificial intel-ligence, Menlo Park, CA, USA, American Association for Artificial Intelligence (1998)905-912"},{"key":"24_CR18_Ref","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1023\/A:1011432307724","volume":"6","author":"JE Borrett","year":"2001","unstructured":"Borrett, J.E., Tsang, E.P.K.: A context for constraint satisfaction problem formulation selection. Constraints 6 (2001) 299-327","journal-title":"Constraints"},{"key":"24_CR19_Ref","unstructured":"Westfold, S., Smith, D.: Synthesis of efficient constraint satisfaction programs (1998)"},{"key":"24_CR20_Ref","first-page":"359","volume-title":"ECAI \u201992: Proceedings of the 10th European conference on Artificial intelligence","author":"H Kautz","year":"1992","unstructured":"Kautz, H., Selman, B.: Planning as satisfiability. In: ECAI \u201992: Proceedings of the 10th European conference on Artificial intelligence, New York, NY, USA, John Wiley & Sons, Inc. (1992) 359-363"},{"key":"24_CR21_Ref","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0004-3702(02)00186-8","volume":"138","author":"V Lifschitz","year":"2002","unstructured":"Lifschitz, V.: Answer set programming and plan generation. Artificial Intelli-gence 138 (2002) 39-54","journal-title":"Artificial Intelli-gence"},{"key":"24_CR22_Ref","doi-asserted-by":"crossref","unstructured":"Lifschitz, V.: Answer set planning. In: ICLP. (1999) 23-37","DOI":"10.1007\/3-540-46767-X_28"},{"key":"24_CR23_Ref","doi-asserted-by":"crossref","unstructured":"Lifschitz, V., Turner, H.: Representing transition systems by logic programs. In: LPNMR. (1999) 92-106","DOI":"10.1007\/3-540-46767-X_7"},{"key":"24_CR24_Ref","unstructured":"Subrahmanian, V.S., Zaniolo, C.: Relating stable models and ai planning domains. In: ICLP. (1995) 233-247"},{"key":"24_CR25_Ref","doi-asserted-by":"crossref","unstructured":"Giunchiglia, F., Traverso, P.: Planning as model checking. In: ECP \u201999: Proceed-ings of the 5th European Conference on Planning, London, UK, Springer-Verlag (2000)1-20","DOI":"10.1007\/10720246_1"},{"key":"24_CR26_Ref","doi-asserted-by":"publisher","first-page":"787","DOI":"10.1093\/logcom\/10.6.787","volume":"10","author":"L Spalazzi","year":"2000","unstructured":"Spalazzi, L., Traverso, P.: A dynamic logic for acting, sensing, and planning. Journal of Logic Computation 10 (2000) 787-821","journal-title":"Journal of Logic Computation"},{"key":"24_CR27_Ref","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0004-3702(02)00367-3","volume":"144","author":"T Eiter","year":"2003","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: A logic programming approach to knowledge-state planning, ii: the dlvk system. Artificial Intelligence 144 (2003) 157-211","journal-title":"Artificial Intelligence"},{"key":"24_CR28_Ref","unstructured":"Mosca, A.: A theoretical and computational inquiry into the Compounding Problem. Ph.D. thesis, Department of Computer Science, Systems, and Com-munication - University of Milano-Bicocca, Italy (2005)"},{"key":"24_CR29_Ref","unstructured":"Himmelblau, D.M., Riggs, J.B.: Basic Principles and Calculations in Chemical Engineering. 7 edn. Prentice Hall Professional Technical Reference (2003)"},{"key":"24_CR30_Ref","doi-asserted-by":"crossref","unstructured":"Duncan, T.M., Reimer, J.A.: Chemical Engineering Design and Analysis, An introduction. Cambridge Series in Chemical Engineering. Cambridge University Press (1998)","DOI":"10.1017\/CBO9780511803352"},{"key":"24_CR31_Ref","doi-asserted-by":"crossref","first-page":"137","DOI":"10.2307\/2216046","volume":"28","author":"K Fine","year":"1992","unstructured":"Fine, K.: Compounds and aggregates. Nous 28 (1992) 137-158","journal-title":"Nous"},{"key":"24_CR32_Ref","unstructured":"Husserl, E.: Logische Untersuchungen. Zweiter Band. Untersuchungen zur Phnomenologie und Theorie der Erkenntnis. Halle: Niemeyer (1900\/1901) [2nd ed. 1913; Eng. trans. by J. N. Findlay: Logical Investigations, Volume Two, London: Routledge & Kegan Paul (1970)"},{"key":"24_CR33_Ref","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/BF02341057","volume":"6","author":"N Rescher","year":"1955","unstructured":"Rescher, N.: Axioms for the part relation. Philosophical Studies 6 (1955) 8-11","journal-title":"Philosophical Studies"},{"key":"24_CR34_Ref","doi-asserted-by":"crossref","first-page":"159","DOI":"10.5840\/monist19695327","volume":"53","author":"R Montague","year":"1969","unstructured":"Montague, R.: On the nature of certain philosophical entities. The Monist 53 (1969) 159-194","journal-title":"The Monist"},{"key":"24_CR35_Ref","doi-asserted-by":"crossref","unstructured":"Simons, P., Dement, C.: Aspects of the mereology of artifacts. In Poli, R., Simons, P., eds.: Computers and Thought. Kluwer Academic Publishers (1996) 255-276","DOI":"10.1007\/978-94-015-8733-4_10"},{"key":"24_CR36_Ref","volume-title":"Proceedings of the 14th European Conference on Artificial Intelligence","author":"U Sattler","year":"2000","unstructured":"Sattler, U.: Description logics for the representation of aggregated objects. In W. Horn, ed.: Proceedings of the 14th European Conference on Artificial Intelligence, IOS Press, Amsterdam (2000)"},{"key":"24_CR37_Ref","volume-title":"Engineering with rubber, how to design rubber components","author":"AE Gent","year":"1992","unstructured":"Gent, A.E.: Engineering with rubber, how to design rubber components. Hanser Publisher, New York (1992)"},{"key":"24_CR38_Ref","unstructured":"Simons, P.: Parts: A Study In Ontology. Clarendon Press, Oxford (1987)"},{"key":"24_CR39_Ref","volume-title":"Rubber processing, Technology - Materials - Principles","author":"JL White","year":"1995","unstructured":"White, J.L.: Rubber processing, Technology - Materials - Principles. Hanser Publisher, Munich Vienna New York (1995)"},{"key":"24_CR40_Ref","unstructured":"Roberts, A.D., ed.: Natural rubber science and technology. Oxford University Press, Ney York (1988) s. 161."},{"key":"24_CR41_Ref","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1145\/360018.360022","volume":"19","author":"A Newell","year":"1976","unstructured":"Newell, A., Simon, H.A.: Computer science as empirical inquiry: symbols and search. Commun. ACM 19 (1976) 113-126","journal-title":"Commun. ACM"},{"key":"24_CR42_Ref","unstructured":"Korf, R.E.: Artificial intelligence search algorithms. In: Algorithms and Theory of Computation Handbook, CRC Press, 1999. CRC Press (1999)"},{"key":"24_CR43_Ref","unstructured":"Korf, R.E.: Search: A survey of recent results for Artificial Intelligence. In Shrobe, H.E., A.A., eds.: Exploring Artificial Intelligence: Survey Talks from the National Conferences on Artificial Intelligence, San Mateo, CA, Kaufmann (1988)197-237"},{"key":"24_CR44_Ref","doi-asserted-by":"crossref","unstructured":"Bandini, S., Manzoni, S., Sartori, F.: Knowledge maintenance and sharing in the KM context: the case of P-Truck. In Cappelli, A., Turini, F., eds.: AI*IA 2003: Advances in Artificial Intelligence, Proceedings of 8th Congress of the Italian Association for Artificial Intelligence, Pisa (I), September 2003. Volume 2829 of Lecture Notes in Artificial Intelligence, Berlin, Heidelberg, Springer-Verlag (2003)499-510","DOI":"10.1007\/978-3-540-39853-0_41"},{"key":"24_CR45_Ref","unstructured":"Bandini, S., Mosca, A., Vanneschi, L.: Towards the use of genetic algorithms for the chemical formulation problem. In Manzoni, S., Palmonari, M., Sartori, F., eds.: Proceedings of the 9th Congress of the Italian Association for Artificial Intelligence (AI*IA 2005), Workshop on Evolutionary Computation (GSICE 2005), Milano, Centro Copie Bicocca (2005) ISBN 88-900910-0-2."},{"key":"24_CR46_Ref","volume-title":"Adaptation in Natural and Artificial Systems","author":"JH Holland","year":"1975","unstructured":"Holland, J.H.: Adaptation in Natural and Artificial Systems. The University of Michigan Press, Ann Arbor, Michigan (1975)"},{"key":"24_CR47_Ref","unstructured":"Goldberg, D.E.: Genetic Algorithms in Search, Optimization and Machine Learning. Addison-Wesley (1989)"}],"container-title":["Studies in Computational Intelligence","Model-Based Reasoning in Science, Technology, and Medicine"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71986-1_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:03:00Z","timestamp":1619517780000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71986-1_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540719854","9783540719861"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71986-1_24","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2007]]}}}