{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:37:54Z","timestamp":1725543474769},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540366355"},{"type":"electronic","value":"9783540366362"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11799573_21","type":"book-chapter","created":{"date-parts":[[2006,8,7]],"date-time":"2006-08-07T08:25:42Z","timestamp":1154939142000},"page":"270-284","source":"Crossref","is-referenced-by-count":12,"title":["TOAST: Applying Answer Set Programming to Superoptimisation"],"prefix":"10.1007","author":[{"given":"Martin","family":"Brain","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Crick","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marina","family":"De Vos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Fitch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"420","DOI":"10.1007\/3-540-63255-7_32","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"I. Niemel\u00e4","year":"1997","unstructured":"Niemel\u00e4, I., Simons, P.: Smodels: An Implementation of the Stable Model and Well-Founded Semantics for Normal Logic Programs. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol.\u00a01265, pp. 420\u2013429. Springer, Heidelberg (1997)"},{"key":"21_CR2","first-page":"406","volume-title":"Proceedings of the 6th International Conference on the Principles of Knowledge Representation and Reasoning (KR 1998)","author":"T. Eiter","year":"1998","unstructured":"Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: The KR System DLV: Progress Report, Comparisons and Benchmarks. In: Proceedings of the 6th International Conference on the Principles of Knowledge Representation and Reasoning (KR 1998), pp. 406\u2013417. Morgan Kaufmann, San Francisco (1998)"},{"key":"21_CR3","unstructured":"WASP: WP5 Report: Model Applications and Proofs-of-Concept (2004), http:\/\/www.kr.tuwien.ac.at\/projects\/WASP\/wasp-wp5-web.html"},{"key":"21_CR4","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: Using the DLV System for Planning and Diagnostic Reasoning. In: Proceedings of the 14th Workshop on Logic Programming WLP 1999, pp. 125\u2013134 (2000)"},{"key":"21_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/3-540-45241-9_12","volume-title":"Practical Aspects of Declarative Languages","author":"M. Nogueira","year":"2001","unstructured":"Nogueira, M., Balduccini, M., Gelfond, M., Watson, R., Barry, M.: An A-Prolog Decision Support System for the Space Shuttle. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol.\u00a01990, pp. 169\u2013183. Springer, Heidelberg (2001)"},{"key":"21_CR6","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/11691792_5","volume-title":"Declarative Agent Languages and Technologies III","author":"J.A. Padget","year":"2006","unstructured":"Padget, J.A., De Vos, M., Crick, T., Brain, M., Cliffe, O., Needham, J.: LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol.\u00a03904, pp. 72\u201388. Springer, Heidelberg (2006)"},{"key":"21_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-540-24747-0_14","volume-title":"Trust Management","author":"P. Giorgini","year":"2004","unstructured":"Giorgini, P., Massacci, F., Mylopoulos, J., Zannone, N.: Requirements Engineering Meets Trust Management. In: Jensen, C., Poslad, S., Dimitrakos, T. (eds.) iTrust 2004. LNCS, vol.\u00a02995, pp. 176\u2013190. Springer, Heidelberg (2004)"},{"key":"21_CR8","unstructured":"Costantini, S., Formisano, A., Omodeo, E.: Mapping Between Domain Models in Answer Set Programming. In: Proceedings of Answer Set Programming: Advances in Theory and Implementation (ASP 2003) (2003)"},{"key":"21_CR9","first-page":"122","volume-title":"Proceedings of the 2nd International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 1987)","author":"H. Massalin","year":"1987","unstructured":"Massalin, H.: Superoptimizer: A Look at the Smallest Program. In: Proceedings of the 2nd International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 1987), pp. 122\u2013126. IEEE Computer Society Press, Los Alamitos (1987)"},{"key":"21_CR10","volume-title":"Compilers: Principles, Techniques and Tools","author":"A.V. Aho","year":"1986","unstructured":"Aho, A.V., Sethi, R., Ullmann, J.D.: Compilers: Principles, Techniques and Tools. Addison-Wesley, Reading (1986)"},{"key":"21_CR11","volume-title":"Modern Compiler Implementation in C","author":"A.W. Appel","year":"2004","unstructured":"Appel, A.W.: Modern Compiler Implementation in C. Cambridge University Press, Cambridge (2004)"},{"key":"21_CR12","unstructured":"Proebsting, T.: Proebsting\u2019s Law: Compiler Advances Double Computing Power Every 18 Years (1998), http:\/\/research.microsoft.com\/~toddpro\/papers\/law.htm"},{"key":"21_CR13","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1145\/143095.143146","volume-title":"Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 1992)","author":"T. Granlund","year":"1992","unstructured":"Granlund, T., Kenner, R.: Eliminating Branches using a Superoptimizer and the GNU C Compiler. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 1992), pp. 341\u2013352. ACM Press, New York (1992)"},{"key":"21_CR14","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1145\/512529.512566","volume-title":"Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2002)","author":"R. Joshi","year":"2002","unstructured":"Joshi, R., Nelson, G., Randall, K.: Denali: A Goal-Directed Superoptimizer. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2002), pp. 304\u2013314. ACM Press, New York (2002)"},{"key":"21_CR15","unstructured":"Joshi, R., Nelson, G., Zhou, Y.: The Straight-Line Automatic Programming Problem. Technical Report HPL-2003-236, HP Labs (2003)"},{"key":"21_CR16","first-page":"1070","volume-title":"Proceedings of the 5th International Conference on Logic Programming (ICLP 1988)","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Proceedings of the 5th International Conference on Logic Programming (ICLP 1988), pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"issue":"3-4","key":"21_CR17","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing\u00a09(3-4), 365\u2013386 (1991)","journal-title":"New Generation Computing"},{"key":"21_CR18","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"C. Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)"},{"key":"21_CR19","first-page":"106","volume-title":"Proceedings of the 9th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2004)","author":"M. Denecker","year":"2004","unstructured":"Denecker, M.: What\u2019s in a Model? Epistemological Analysis of Logic Programming. In: Proceedings of the 9th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2004), pp. 106\u2013113. AAAI Press, Menlo Park (2004)"},{"key":"21_CR20","doi-asserted-by":"crossref","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV System for Knowledge Representation and Reasoning. ACM Transactions on Computational Logic (to appear, 2006)","DOI":"10.1145\/1149114.1149117"},{"issue":"7","key":"21_CR21","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1145\/368273.368557","volume":"5","author":"M. Davis","year":"1962","unstructured":"Davis, M., Logemann, G., Loveland, D.: A Machine Program for Theorem-Proving. Communications of the ACM\u00a05(7), 394\u2013397 (1962)","journal-title":"Communications of the ACM"},{"key":"21_CR22","unstructured":"Syrj\u00e4nen, T.: Lparse 1.0 User\u2019s Manual. Helsinki University of Technology (2000)"},{"key":"21_CR23","first-page":"61","volume-title":"Proceedings of the 19th National Conference on Artificial Intelligence (AAAI 2004)","author":"E. Giunchiglia","year":"2004","unstructured":"Giunchiglia, E., Lierler, Y., Maratea, M.: SAT-Based Answer Set Programming. In: Proceedings of the 19th National Conference on Artificial Intelligence (AAAI 2004), pp. 61\u201366. AAAI Press, Menlo Park (2004)"},{"issue":"1-2","key":"21_CR24","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.artint.2004.04.004","volume":"157","author":"F. Lin","year":"2004","unstructured":"Lin, F., Zhao, Y.: ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers. Artificial Intelligence\u00a0157(1-2), 115\u2013137 (2004)","journal-title":"Artificial Intelligence"},{"key":"21_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/3-540-36388-2_5","volume-title":"Practical Aspects of Declarative Languages","author":"E. Pontelli","year":"2002","unstructured":"Pontelli, E., Balduccini, M., Bermudez, F.: Non-monotonic Reasoning on Beowulf Platforms. In: Dahl, V., Wadler, P. (eds.) PADL 2003. LNCS, vol.\u00a02562, pp. 37\u201357. Springer, Heidelberg (2002)"},{"key":"21_CR26","volume-title":"MIPS RISC Architecture","author":"G. Kane","year":"1988","unstructured":"Kane, G.: MIPS RISC Architecture. Prentice-Hall, Englewood Cliffs (1988)"},{"key":"21_CR27","unstructured":"SPARC International, Inc: The SPARC Architecture Manual, Version 8 (1992)"},{"key":"21_CR28","unstructured":"Mellarkod, V.S.: Optimizing The Computation Of Stable Models Using Merged Rules. Technical report, Texas Tech University (2002)"},{"key":"21_CR29","doi-asserted-by":"crossref","unstructured":"Anger, C., Gebser, M., Linke, T., Neumann, A., Schaub, T.: The nomore++ Approach to Answer Set Solving. In: Proceedings of Answer Set Programming: Advances in Theory and Implementation (ASP 2005) (2005)","DOI":"10.1007\/11591191_8"},{"key":"21_CR30","unstructured":"Asparagus Project Team: Asparagus Benchmark Project (2004), http:\/\/asparagus.cs.uni-potsdam.de\/"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11799573_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T10:42:39Z","timestamp":1555756959000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11799573_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540366355","9783540366362"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/11799573_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}