zbMATH — the first resource for mathematics

Logic for programming, artificial intelligence, and reasoning. 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14–18, 2002. Proceedings. (English) Zbl 1007.00026
Lecture Notes in Computer Science 2514. Lecture Notes in Artificial Intelligence. Berlin: Springer. xiii, 463 p. (2002).

Show indexed articles as search result.

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

00B25 Proceedings of conferences of miscellaneous specific interest
03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
03B70 Logic in computer science
68T27 Logic in artificial intelligence
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Full Text: Link