Search for Author All Reviews
	Etalle, Sandro     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 4 of 4 reviews       Logic programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science 4079) Etalle S., Truszczynski M., Springer-Verlag New York, Inc., Secaucus, NJ, 2007. 474 pp.  Type: Book (9783540366355) For quite a few years now, logic programming has given the impression of a solution looking for an answer. There is something of this in this conference proceedings volume. There are a fair number of contributions from people who have ...... Oct 16 2007     Termination of simply moded logic programs with dynamic scheduling Bossi A., Etalle S., Rossi S., Smaus J. ACM Transactions on Computational Logic 5(3): 470-507, 2004.  Type: Article Many Prolog systems search for solutions by using a fixed rule to choose an atom to carry out a derivation step. This approach is not always adequate, since termination cannot be guaranteed, even if the program under consideration has ...... Dec 22 2004     A semantics for modular general logic programs Etalle S. Theoretical Computer Science 206(1/2): 51-80, 1998.  Type: Article The semantics of logic programs with negation (so-called generallogic programs) has generated many papers. There are several approaches,each with several variants. Much of the research on this subject haslittle to do with the practical...... Aug 1 1999     Transforming acyclic programs Bossi A., Etalle S. ACM Transactions on Programming Languages and Systems 16(4): 1081-1096, 1994.  Type: Article The unfold/fold transformation sequences that were proposed by Tamaki and Sato are used to improve the efficiency of logic programs. Each program of such a transformation sequence should preserve the main properties of the initial pro...... Dec 1 1995
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy