Logic for programming, artificial intelligence, and reasoning. 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14--18, 2002. Proceedings (Q1863978)

The articles of this volume will be reviewed individually. The 7th conference (LPAR 2000) has been reviewed (see Zbl 0952.00026). Indexed articles: \textit{Alpuente, M.; Escobar, S.; Gramlich, B.; Lucas, S.}, Improving on-demand strategy annotations, 1-18 [Zbl 1023.03530] \textit{Apt, K. R.; Vermeulen, C. F. M.}, First-order logic as a constraint programming language, 19-35 [Zbl 1023.03018] \textit{Autexier, Serge; Hutter, Dieter}, Maintenance of formal software developments by stratified verification, 36-52 [Zbl 1023.03531] \textit{Beckmann, Arnold}, A note on universal measures for weak implicit computational complexity, 53-67 [Zbl 1023.03033] \textit{Bollig, Benedikt; Leucker, Martin; Lucas, Philipp}, Extending compositional message sequence graphs, 68-85 [Zbl 1023.68005] \textit{Brotherston, James; Degtyarev, Anatoli; Fisher, Michael; Lisitsa, Alexei}, Searching for invariants using temporal resolution, 86-101 [Zbl 1023.03019] \textit{Castellini, Claudio; Smaill, Alan}, Proof planning for feature interactions: A preliminary report, 102-114 [Zbl 1023.03533] \textit{Dastani, Mehdi; van der Torre, Leendert}, An extension of BDI\(_{\text{CTL}}\) with functional dependencies and components, 115-129 [Zbl 1023.68096] \textit{Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude}, Binding logic: Proofs and models, 130-144 [Zbl 1023.03023] \textit{Edelkamp, Stefan; Leven, Peter}, Directed automated theorem proving, 145-159 [Zbl 1023.68084] \textit{Fan, Xiaocong; Yen, John}, A framework for splitting BDI agents, 160-174 [Zbl 1023.68098] \textit{Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido}, On the complexity of disjunction and explicit definability properties in some intermediate logics, 175-189 [Zbl 1023.03056] \textit{Fontaine, Pascal; Gribomont, E. Pascal}, Using BDDs with combinations of theories, 190-201 [Zbl 1023.03535] \textit{Grandi, Fabio}, On expressive description logics with composition of roles in number restrictions, 202-215 [Zbl 1023.03536] \textit{Greco, Gianluigi; Greco, Sergio; Trubtsyna, Irina; Zumpano, Ester}, Query optimization of disjunctive databases with constraints through binding propagation, 216-230 [Zbl 1023.68549] \textit{Guglielmi, Alessio; Straßburger, Lutz}, A non-commutative extension of MELL, 231-246 [Zbl 1023.03544] \textit{Guller, Dušan}, Procedural semantics for fuzzy disjunctive programs, 247-261 [Zbl 1023.03537] \textit{Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.}, Pushdown specifications, 262-277 [Zbl 1023.68624] \textit{Kutsia, Temur}, Theorem proving with sequence variables and flexible arity symbols, 278-291 [Zbl 1023.03525] \textit{McIver, A. K.; Morgan, C. C.}, Games, probability, and the quantitative \(\mu\)-calculus \(qM\mu\), 292-310 [Zbl 1023.68064] \textit{Niehren, Joachim; Villaret, Mateu}, Parallelism and tree regular constraints, 311-326 [Zbl 1023.03538] \textit{Preining, Norbert}, Gödel logics and Cantor-Bendixson analysis, 327-336 [Zbl 1023.03015] \textit{Richardson, Julian}, A semantics for proof plans with applications to interactive proof planning, 337-351 [Zbl 1023.68659] \textit{Santo, José Espírito}, An isomorphism between a fragment of sequent calculus and an extension of natural deduction, 352-366 [Zbl 1023.03053] \textit{Siekmann, J.; Benzmüller, C.; Fiedler, A.; Meier, A.; Pollet, M.}, Proof development with \(\Omega\)MEGA: \(\sqrt{2}\) is irrational, 367-387 [Zbl 1023.68660] \textit{Straßburger, Lutz}, A local system for linear logic, 388-402 [Zbl 1023.03058] \textit{Strecker, Martin}, Investigating type-certifying compilation with Isabelle, 403-417 [Zbl 1023.68521] \textit{Syme, Don; Gordon, Andrew D.}, Automating type soundness proofs via decision procedures and guided reductions, 418-434 [Zbl 1023.68539] \textit{Tessaris, Sergio; Horrocks, Ian}, Abox satisfiability reduced to terminological reasoning in expressive description logics, 435-449 [Zbl 1023.03541] \textit{Vaucheret, Claudio; Guadarrama, Sergio; Muñoz, Susana}, Fuzzy Prolog: A simple general implementation using CLP(\(\mathcal R\)), 450-463 [Zbl 1023.68515]