9. LPAR 2002: Tbilisi, Georgia

@proceedings{DBLP:conf/lpar/2002,
  editor    = {Matthias Baaz and
               Andrei Voronkov},
  title     = {Logic for Programming, Artificial Intelligence, and Reasoning,
               9th International Conference, LPAR 2002, Tbilisi, Georgia, October
               14-18, 2002, Proceedings},
  booktitle = {LPAR},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2514},
  year      = {2002},
  isbn      = {3-540-00010-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas:
  Improving On-Demand Strategy Annotations. 1-18
  Electronic Edition (Springer LINK) BibTeX
• Krzysztof R. Apt, C. F. M. Vermeulen:
  First-Order Logic as a Constraint Programming Language. 19-35
  Electronic Edition (Springer LINK) BibTeX
• Serge Autexier, Dieter Hutter:
  Maintenance of Formal Software Developments by Stratified Verification. 36-52
  Electronic Edition (Springer LINK) BibTeX
• Arnold Beckmann:
  A Note on Universal Measures for Weak Implicit Computational Complexity. 53-67
  Electronic Edition (Springer LINK) BibTeX
• Benedikt Bollig, Martin Leucker, Philipp Lucas:
  Extending Compositional Message Sequence Graphs. 68-85
  Electronic Edition (Springer LINK) BibTeX
• James Brotherston, Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa:
  Searching for Invariants Using Temporal Resolution. 86-101
  Electronic Edition (Springer LINK) BibTeX
• Claudio Castellini, Alan Smaill:
  Proof Planning for Feature Interactions: A Preliminary Report. 102-114
  Electronic Edition (Springer LINK) BibTeX
• Mehdi Dastani, Leendert W. N. van der Torre:
  An Extension of BDI_CTL with Functional Dependencies and Components. 115-129
  Electronic Edition (Springer LINK) BibTeX
• Gilles Dowek, Thérèse Hardin, Claude Kirchner:
  Binding Logic: Proofs and Models. 130-144
  Electronic Edition (Springer LINK) BibTeX
• Stefan Edelkamp, Peter Leven:
  Directed Automated Theorem Proving. 145-159
  Electronic Edition (Springer LINK) BibTeX
• Xiaocong Fan, John Yen:
  A Framework for Splitting BDI Agents. 160-174
  Electronic Edition (Springer LINK) BibTeX
• Mauro Ferrari, Camillo Fiorentini, Guido Fiorino:
  On the Complexity of Disjunction and Explicit Definability Properties in Some Intermediate Logics. 175-189
  Electronic Edition (Springer LINK) BibTeX
• Pascal Fontaine, E. Pascal Gribomont:
  Using BDDs with Combinations of Theories. 190-201
  Electronic Edition (Springer LINK) BibTeX
• Fabio Grandi:
  On Expressive Description Logics with Composition of Roles in Number Restrictions. 202-215
  Electronic Edition (Springer LINK) BibTeX
• Gianluigi Greco, Sergio Greco, Irina Trubitsyna, Ester Zumpano:
  Query Optimization of Disjunctive Databases with Constraints through Binding Propagation. 216-230
  Electronic Edition (Springer LINK) BibTeX
• Alessio Guglielmi, Lutz Straßburger:
  A Non-commutative Extension of MELL. 231-246
  Electronic Edition (Springer LINK) BibTeX
• Dusan Guller:
  Procedural Semantics for Fuzzy Disjunctive Programs. 247-261
  Electronic Edition (Springer LINK) BibTeX
• Orna Kupferman, Nir Piterman, Moshe Y. Vardi:
  Pushdown Specifications. 262-277
  Electronic Edition (Springer LINK) BibTeX
• Temur Kutsia:
  Theorem Proving with Sequence Variables and Flexible Arity Symbols. 278-291
  Electronic Edition (Springer LINK) BibTeX
• Annabelle McIver, Carroll Morgan:
  Games, Probability and the Quantitative µ-Calculus qMµ. 292-310
  Electronic Edition (Springer LINK) BibTeX
• Joachim Niehren, Mateu Villaret:
  Parallelism and Tree Regular Constraints. 311-326
  Electronic Edition (Springer LINK) BibTeX
• Norbert Preining:
  Gödel Logics and Cantor-Bendixon Analysis. 327-336
  Electronic Edition (Springer LINK) BibTeX
• Julian Richardson:
  A Semantics for Proof Plans with Applications to Interactive Proof Planning. 337-351
  Electronic Edition (Springer LINK) BibTeX
• José Espírito Santo:
  An Isomorphism between a Fragment of Sequent Calculus and an Extension of Natural Deduction. 352-366
  Electronic Edition (Springer LINK) BibTeX
• Jörg H. Siekmann, Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet:
  Proof Development with Omega-MEGA: sqrt(2) Is Irrational. 367-387
  Electronic Edition (Springer LINK) BibTeX
• Lutz Straßburger:
  A Local System for Linear Logic. 388-402
  Electronic Edition (Springer LINK) BibTeX
• Martin Strecker:
  Investigating Type-Certifying Compilation with Isabelle. 403-417
  Electronic Edition (Springer LINK) BibTeX
• Don Syme, Andrew D. Gordon:
  Automating Type Soundness Proofs via Decision Procedures and Guided Reductions. 418-434
  Electronic Edition (Springer LINK) BibTeX
• Sergio Tessaris, Ian Horrocks:
  Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics. 435-449
  Electronic Edition (Springer LINK) BibTeX
• Claudio Vaucheret, Sergio Guadarrama, Susana Muñoz-Hernández:
  Fuzzy Prolog: A Simple General Implementation Using CLP(R). 450-464
  Electronic Edition (Springer LINK) BibTeX