iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://doi.org/10.1007/3-540-36078-6
Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings | SpringerLink
Skip to main content
Springer Nature Link
Log in

Logic for Programming, Artificial Intelligence, and Reasoning

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

  • Conference proceedings
  • © 2002

Overview

Editors:
  1. Matthias Baaz

    1. Abteilung für Theoretische Informatik, Institut für Algebra und Diskrete Mathematik, Wien, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Andrei Voronkov

    1. Department of Computer Science, University of Manchester, Manchester, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: LPAR 2002.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Keywords

Table of contents (30 papers)

  1. Front Matter

    Pages I-XIII
    Download chapter 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
Back to top

Other volumes

  1. Logic for Programming, Artificial Intelligence, and Reasoning

Editors and Affiliations

  • Abteilung für Theoretische Informatik, Institut für Algebra und Diskrete Mathematik, Wien, Austria

    Matthias Baaz

  • Department of Computer Science, University of Manchester, Manchester, UK

    Andrei Voronkov

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation