Logic programming. 17th international conference, ICLP 2001, Paphos, Cyprus, November 26 -- December 1, 2001. Proceedings (Q5952231)

The articles of mathematical interest will be reviewed individually. The 1999 conference has been reviewed (see Zbl 0968.68025). Indexed articles: \textit{Colmerauer, Alain}, Solving the multiplication constraint in several approximation spaces, 1 [Zbl 1053.68525] \textit{Kowalski, Robert}, Is logic really dead or only just sleeping?, 2-3 [Zbl 1053.68535] \textit{Cousot, Patrick}, Design of syntactic program transformations by abstract interpretation of semantic transformations, 4-5 [Zbl 1053.68561] \textit{Gupta, Ashish}, X-tegration -- some cross-enterprise thoughts, 6 [Zbl 1053.68505] \textit{Wielemaker, Jan}, Building real-life applications with Prolog, 7 [Zbl 1053.68546] \textit{Villemonte de la Clergerie, Éric}, Natural language tabular parsing, 8 [Zbl 1053.68726] \textit{Ueda, Kazunori}, A close look at constraint-based concurrency, 9 [Zbl 1053.68584] \textit{Subrahmanian, V. S.}, Probabilistic databases and logic programming, 10 [Zbl 1053.68544] \textit{Castro, Luís Fernando; Costa, Vítor Santos}, Understanding memory management in Prolog systems, 11-26 [Zbl 1053.68523] \textit{Villaverde, K.; Pontelli, E.; Guo, H.; Gupta, G.}, PALS: An or-parallel implementation of Prolog on Beowulf architectures, 27-42 [Zbl 1053.68545] \textit{Rocha, Ricardo; Silva, Fernando; Costa, Vítor Santos}, On a tabling engine that can exploit or-parallelism, 43-58 [Zbl 1053.68543] \textit{Beldiceanu, Nicolas; Carlsson, Mats}, Revisiting the cardinality operator and introducing the cardinality-path constraint family, 59-73 [Zbl 1053.68521] \textit{Holzbaur, Christian; García de la Banda, María; Jeffery, David; Stuckey, Peter J.}, Optimizing compilation of constraint handling rules, 74-89 [Zbl 1053.68533] \textit{García de la Banda, María; Jeffery, David; Marriott, Kim; Nethercote, Nicholas; Stuckey, Peter J.; Holzbaur, Christian}, Building constraint solvers with HAL, 90-104 [Zbl 1053.68529] \textit{Mazur, Nancy; Ross, Peter; Janssens, Gerda; Bruynooghe, Maurice}, Practical aspects for a working compile time garbage collection system for Mercury, 105-119 [Zbl 1053.68539] \textit{Howe, Jacob M.; King, Andy}, Positive Boolean functions as multiheaded clauses, 120-134 [Zbl 1053.68534] \textit{Codish, Michael; Genaim, Samir; Søndergaard, Harald; Stuckey, Peter J.}, Higher-precision groundness analysis, 135-149 [Zbl 1053.68524] \textit{Guo, Hai-Feng; Ramakrishnan, C. R.; Ramakrishnan, I. V.}, Speculative beats conservative justification, 150-165 [Zbl 1053.68532] \textit{Basu, Samik; Mukund, Madhavan; Ramakrishnan, C. R.; Ramakrishnan, I. V.; Verma, Rakesh}, Local and symbolic bisimulation using tabled constraint logic programming, 166-180 [Zbl 1053.68582] \textit{Guo, Hai-Feng; Gupta, Gopal}, A simple scheme for implementing tabled logic programming systems based on dynamic reordering of alternatives, 181-196 [Zbl 1053.68531] \textit{Lonc, Zbigniew; Truszczynski, Mirosław}, Fixed-parameter complexity of semantics for logic programs, 197-211 [Zbl 1053.68538] \textit{Denecker, Marc; Pelov, Nikolay; Bruynooghe, Maurice}, Ultimate well-founded and stable semantics for logic programs with aggregates, 212-226 [Zbl 1053.68526] \textit{Kumar, K. Narayan; Ramakrishnan, C. R.; Smolka, S. A.}, Alternating fixed points in Boolean equation systems as preferred stable models, 227-241 [Zbl 1053.68536] \textit{Erdem, Esra; Lifschitz, Vladimir}, Fages' theorem for programs with nested expressions, 242-254 [Zbl 1053.68528] \textit{Orejas, Fernando; Pasarella, Edelmira; Pino, Elvira}, Semantics of normal logic programs with embedded implications, 255-268 [Zbl 1053.68541] \textit{Medina, Jesús; Ojeda-Aciego, Manuel; Vojtás, Peter}, A multi-adjoint logic approach to abductive reasoning, 269-283 [Zbl 1053.68707] \textit{Drabent, Włodzimierz; Miłkowska, Mirosława}, Proving correctness and completeness of normal programs -- a declarative approach, 284-299 [Zbl 1053.68527] \textit{Kaneiwa, Ken; Tojo, Satoshi}, An order-sorted resolution with implicitly negative sorts, 300-314 [Zbl 1053.68694] \textit{Banbara, Mutsunori; Kang, Kyoung-Sun; Hirai, Takaharu; Tamura, Naoyuki}, Logic programming in a fragment of intuitionistic temporal linear logic, 315-330 [Zbl 1053.68032] \textit{Almendros-Jiménez, Jesús M.; Becerra-Terón, Antonio; Sánchez-Hernández, Jaime}, A computational model for functional logic deductive databases, 331-347 [Zbl 1053.68563] \textit{Greco, Gianluigi; Greco, Sergio; Zumpano, Ester}, A logic programming approach to the integration, repairing and querying of inconsistent databases, 348-364 [Zbl 1053.68564]