Logic programming. 18th international conference, ICLP 2002, Copenhagen, Denmark, July 29 -- August 1, 2002. Proceedings (Q1613687)

The articles of mathematical interest will be reviewed individually. The preceding conference (17th, 2001) has been reviewed (see Zbl 0977.00040). Indexed articles: \textit{Boigelot, Bernard; Wolper, Pierre}, Representing arithmetic constraints with finite automata: An overview, 1-19 [Zbl 1045.03038] \textit{Decker, Stefan}, Logic databases on the semantic web: Challenges and opportunities, 20-21 [Zbl 1045.68557] \textit{Russo, Alessandra; Miller, Rob; Nuseibeh, Bashar; Kramer, Jeff}, An abductive approach for analysing event-based requirements specifications, 22-37 [Zbl 1045.68531] \textit{Schrijvers, Tom; García de la Banda, Maria; Demoen, Bart}, Trailing analysis for HAL, 38-53 [Zbl 1045.68522] \textit{Barker, Steve}, Access control for deductive databases by logic programming, 54-69 [Zbl 1045.68506] \textit{Thielscher, Michael}, Reasoning about actions with CHRs and finite domain constraints, 70-84 [Zbl 1045.68039] \textit{Bockmayr, Alexander; Courtois, Arnaud}, Using hybrid concurrent constraint programming to model dynamic biological systems, 85-99 [Zbl 1045.68527] \textit{Pemmasani, Giridhar; Ramakrishnan, C. R.; Ramakrishnan, I. V.}, Efficient real-time model checking using tabled logic programming and constraints, 100-114 [Zbl 1045.68520] \textit{Charatonik, Witold; Mukhopadhyay, Supratik; Podelski, Andreas}, Constraint-based infinite model checking and tabulation for stratified CLP, 115-129 [Zbl 1045.68089] \textit{Jamil, Hasan M.; Dobbie, Gillian}, A model theoretic semantics for multi-level secure deductive databases, 130-147 [Zbl 1045.68052] \textit{Maher, Michael J.}, Propagation completeness of reactive constraints, 148-162 [Zbl 1045.68529] \textit{Makholm, Henning; Sagonas, Konstantinos}, On enabling the WAM with region support, 163-178 [Zbl 1045.68516] \textit{Demoen, Bart}, A different look at garbage collection for the WAM, 179-193 [Zbl 1045.68510] \textit{Demoen, Bart; Nguyen, Phuong-Lan; Vandeginste, Ruben}, Copying garbage collection for the WAM: To mark or not to mark?, 194-208 [Zbl 1045.68511] \textit{Ganzinger, Harald; McAllester, David}, Logical algorithms, 209-223 [Zbl 1045.68061] \textit{Schimpf, Joachim}, Logical loops, 224-238 [Zbl 1045.68521] \textit{Martin, Eric; Nguyen, Phuong; Sharma, Arun; Stephan, Frank}, Learning in logic with RichProlog, 239-254 [Zbl 1045.68037] \textit{Bry, François; Schaffert, Sebastian}, Towards a declarative query and transformation language for XML and semistructured data: Simulation unification, 255-270 [Zbl 1045.68509] \textit{Pientka, Brigitte}, A proof-theoretic foundation for tabled higher-order logic programming, 271-286 [Zbl 1045.68038] \textit{Craciunescu, Sorin}, Proving the equivalence of CLP programs, 287-301 [Zbl 1045.68035] \textit{Bruscoli, Paola}, A purely logical account of sequentiality in proof search, 302-316 [Zbl 1045.68033] \textit{Inoue, Katsumi; Sakama, Chiaki}, Disjunctive explanations, 317-332 [Zbl 1045.68111] \textit{Bonatti, Piero A.}, Reasoning with infinite stable models. II: Disjunctive programs, 333-346 [Zbl 1045.68508] \textit{Lonc, Zbigniew; Truszczyński, Mirosław}, Computing stable models: Worst-case performance estimates, 347-362 [Zbl 1045.68036] \textit{Dimopoulos, Yannis; Sideris, Andreas}, Towards local search for answer sets, 363-377 [Zbl 1045.68607] \textit{Cabalar, Pedro}, A rewriting method for well-founded semantics with explicit negation, 378-392 [Zbl 1045.68086] \textit{Antoniou, Grigoris; Maher, Michael J.}, Embedding defeasible logic into logic programs, 393-404 [Zbl 1045.68130] \textit{Pearce, David; Sarsakov, Vladimir; Schaub, Torsten; Tompits, Hans; Woltran, Stefan}, A polynomial translation of logic programs with nested expressions into disjunctive logic programs: Preliminary report, 405-420 [Zbl 1045.68519] \textit{Christensen, Henrik Bærbak}, Using logic programming to detect activities in pervasive healthcare, 421-436 [Zbl 1045.68608] \textit{Lau, Kung-Kiu; Vanden Bossche, Michel}, Logic programming for software engineering: A second chance, 437-451 [Zbl 1045.68515] \textit{Benkő, Tamás; Krauth, Péter; Szeredi, Péter}, A logic-based system for application integration, 452-466 [Zbl 1045.68507] \textit{Ma, Shilong; Sui, Yuefei; Xu, Ke}, The limits of Horn logic programs, 467 [Zbl 1045.68597] \textit{Medina, Jesús; Mérida-Casermeiro, Enrique; Ojeda-Aciego, Manuel}, Multi-adjoint logic programming: A neural net approach, 468 [Zbl 1045.68599] \textit{Vaucheret, Claudio; Guadarrama, Sergio; Muñoz, Susana}, Fuzzy Prolog:, 469 [Zbl 1045.68523] \textit{Ducassé, Mireille; Langevine, Ludovic}, Automated analysis of CLP(FD) program execution traces, 470-471 [Zbl 1045.68512] \textit{Olmer, Petr; Štěpánek, Petr}, Schema-based transformations of logic programs in \(\lambda\)Prolog, 472 [Zbl 1045.68517] \textit{Loyer, Yann; Straccia, Umberto}, Non-uniform hypothesis in deductive databases with uncertainty, 473-474 [Zbl 1045.68559] \textit{Angelopoulos, Nicos}, Probabilistic finite domains: A brief overview, 475 [Zbl 1045.68610] \textit{Sampath, Prahladavaradan}, Modelling multi-agent reactive systems, 476 [Zbl 1045.68609] \textit{Hayashi, Hisashi; Cho, Kenta; Ohsuga, Akihiko}, Integrating planning, action execution, knowledge updates and plan modifications via logic programming, 477 [Zbl 1045.68595] \textit{Ferrand, Gérard; Lallouet, Arnaud}, A logic program characterization of domain reduction approximations in finite domain CSPs, 478-479 [Zbl 1045.68513] \textit{Coquery, Emmanuel; Fages, François}, TCLP: Overloading, subtyping and parametric polymorphism made practical for CLP, 480 [Zbl 1045.68034] \textit{Christiansen, Henning}, Logical grammars based on constraint handling rules, 481 [Zbl 1045.68612] \textit{Osorio, Mauricio; Navarro, Juan Antonio; Arrazola, José}, Debugging in A-Prolog: A logical approach, 482-483 [Zbl 1045.68518]