TOAST: Applying answer set programming to superoptimisation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4079 LNCS, Issue , 2006, Pages 270-284

  Brain, Martin ^a   Crick, Tom ^a   De Vos, Marina ^a   Fitch, John ^a  

^a University of Bath   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMBINATORIAL MATHEMATICS; COMPUTATIONAL METHODS; OPTIMIZATION; SEARCH ENGINES; SET THEORY;

ANSWER SET PROGRAMMING (ASP); COMPUTATIONAL ENGINES; SEARCH SPACES; SUPEROPTIMIZATION;

LOGIC PROGRAMMING;

EID: 33749324467     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11799573_21     Document Type: Conference Paper

References (30)

1. I. Niemelä and P. Simons: Smodels: An Implementation of the Stable Model and Well-Founded Semantics for Normal Logic Programs. In: Proceedings of the 4th International Conference on Logic Programing and Nonmonotonic Reasoning (LPNMR'97). Volume 1265 of LNAI., Springer (1997) 420-429
2. Thomas Eiter and Nicola Leone and Cristinel Mateis and Gerald Pfeifer and Francesco Scarcello: 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'98), Morgan Kaufmann (1998) 406-417
3. WASP: WP5 Report: Model Applications and Proofs-of-Concept. http:// www.kr.tuwien.ac.at/projects/WASP/wasp-wp5-web.html (2004)
4. Thomas Eiter and Wolfgang Faber and Nicola Leone and Gerald Pfeifer and Axel Polleres: Using the DLV System for Planning and Diagnostic Reasoning. In: Proceedings of the 14th Workshop on Logic Programming (WLP'99). (2000) 125-134
5. Monica Nogueira and Marcello Balduccini and Michael Gelfond and Richard Watson and Matthew Barry: An A-Prolog Decision Support System for the Space Shuttle. In: Proceedings of the 3rd International Symposium on Practical Aspects of Declarative Languages (PADL'01). Volume 1990 of LNCS., Springer (2001) 169-183
6. De Vos, M., Crick, T., Padget, J., Brain, M., Cliffe, O., Needham, J.: A Multi-agent Platform using Ordered Choice Logic Programming. In: Proceedings of the 3rd International Workshop on Declarative Agent Languages and Technologies (DALT'05). Volume 3904 of LNAL, Springer (2006) 72-88
7. P. Giorgini, F. Massacci, J. Mylopoulos and N. Zannone: Requirements Engineering Meets Trust Management: Model, Methodology, and Reasoning. In: Proceedings of the 2nd International Conference on Trust Management (iTrust 2004). Volume 2995 of LNCS., Springer (2004) 176-190
8. S. Costantini and A. Formisano and E. Omodeo: Mapping Between Domain Models in Answer Set Programming. In: Proceedings of Answer Set Programming: Advances in Theory and Implementation (ASP'03). (2003)
9. 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'87), IEEE Computer Society Press (1987) 122-126
10. Aho, A.V, Sethi, R., Ullmann, I.D.: Compilers: Principles, Techniques and Tools. Addison-Wesley (1986)
11. Appel, A.W.: Modern Compiler Implementation in C. Cambridge University Press (2004)
12. Proebsting, T.: Proebsting's Law: Compiler Advances Double Computing Power Every 18 Years, http://research.microsoft.com/~toddpro/papers/law.htm (1998)
13. 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'92), ACM Press (1992) 341-352
14. 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'02), ACM Press (2002) 304-314
15. Joshi, R., Nelson, G., Zhou, Y.: The Straight-Line Automatic Programming Problem. Technical Report HPL-2003-236, HP Labs (2003)
16. Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Proceedings of the 5th International Conference on Logic Programming (ICLP'88), MIT Press (1988) 1070-1080
17. Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing 9(3-4) (1991) 365-386
18. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press (2003)
19. Denecker, M.: What's in a Model? Epistemological Analysis of Logic Programming. In: Proceedings of the 9th International Conference on the Principles of Knowledge Representation and Reasoning (KR2004), AAAI Press (2004) 106-113
20. Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV System for Knowledge Representation and Reasoning, to appear in ACM Transactions on Computational Logic (2006)
21. Davis, M., Logemann, G., Loveland, D.: A Machine Program for Theorem-Proving. Communications of the ACM 5(7) (1962) 394-397
22. Syrjänen, T: Lparse 1.0 User's Manual. Helsinki University of Technology. (2000)
23. Giunchiglia, E., Lierler, Y., Maratea, M.: SAT-Based Answer Set Programming. In: Proceedings of the 19th National Conference on Artificial Intelligence (AAAI-04), AAAI Press (2004) 61-66
24. Fangzhen Lin and Yuting Zhao: ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers. Artificial Intelligence 157(1-2) (2004) 115-137
25. Enrico Pontelli and Marcello Balduccini and F. Bermudez: Non-Monotonic Reasoning on Beowulf Platforms. In: Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages (PADL'03). Volume 2562 of LNAL, Springer (2003) 37-57
26. Kane, G.: MIPS RISC Architecture. Prentice Hall (1988)
27. SPARC International, Inc: The SPARC Architecture Manual, Version 8. (1992)
28. Mellarkod, VS.: Optimizing The Computation Of Stable Models Using Merged Rules. Technical report, Texas Tech University (2002)
29. 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'05). (2005)
30. Asparagus Project Team: Asparagus Benchmark Project. http:// asparagus.cs.uni-potsdam.de/ (2004)