Advertisement

Logic for Programming, Artificial Intelligence, and Reasoning

9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings

  • Matthias Baaz
  • Andrei Voronkov
Conference proceedings LPAR 2002

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2514)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 2514)

Table of contents

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

About these proceedings

Keywords

Artificial intelligence Isabelle Resolution formal verification intelligence logic programming verification

Editors and affiliations

  • Matthias Baaz
    • 1
  • Andrei Voronkov
    • 2
  1. 1.Abteilung für Theoretische InformatikInstitut für Algebra und Diskrete MathematikWienAustria
  2. 2.Department of Computer ScienceUniversity of ManchesterManchesterUK

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-36078-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-00010-5
  • Online ISBN 978-3-540-36078-0
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site