1 option
Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings / edited by Matthias Baaz, Andrei Voronkov.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science. Lecture notes in artificial intelligence ; 2514.
- Lecture Notes in Artificial Intelligence ; 2514
- Language:
- English
- Subjects (All):
- Computers.
- Software engineering.
- Artificial intelligence.
- Computer science.
- Computer logic.
- Theory of Computation.
- Software Engineering/Programming and Operating Systems.
- Artificial Intelligence.
- Computer Science, general.
- Software Engineering.
- Logics and Meanings of Programs.
- Local Subjects:
- Theory of Computation.
- Software Engineering/Programming and Operating Systems.
- Artificial Intelligence.
- Computer Science, general.
- Software Engineering.
- Logics and Meanings of Programs.
- Physical Description:
- 1 online resource (XIV, 470 pages).
- Edition:
- First edition 2002.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
- System Details:
- text file PDF
- Contents:
- Improving On-Demand Strategy Annotations
- First-Order Logic as a Constraint Programming Language
- Maintenance of Formal Software Developments by Stratified Verification
- A Note on Universal Measures for Weak Implicit Computational Complexity
- Extending Compositional Message Sequence Graphs
- Searching for Invariants Using Temporal Resolution
- Proof Planning for Feature Interactions: A Preliminary Report
- An Extension of BDICTL with Functional Dependencies and Components
- Binding Logic: Proofs and Models
- Directed Automated Theorem Proving
- A Framework for Splitting BDI Agents
- On the Complexity of Disjunction and Explicit Definability Properties in Some Intermediate Logics
- Using BDDs with Combinations of Theories
- On Expressive Description Logics with Composition of Roles in Number Restrictions
- Query Optimization of Disjunctive Databases with Constraints through Binding Propagation
- A Non-commutative Extension of MELL
- Procedural Semantics for Fuzzy Disjunctive Programs
- Pushdown Specifications
- Theorem Proving with Sequence Variables and Flexible Arity Symbols
- Games, Probability, and the Quantitative ?-Calculus qM?
- Parallelism and Tree Regular Constraints
- Gödel Logics and Cantor-Bendixon Analysis
- A Semantics for Proof Plans with Applications to Interactive Proof Planning
- An Isomorphism between a Fragment of Sequent Calculus and an Extension of Natural Deduction
- Proof Development with ?MEGA: ?2 Is Irrational
- A Local System for Linear Logic
- Investigating Type-Certifying Compilation with Isabelle
- Automating Type Soundness Proofs via Decision Procedures and Guided Reductions
- Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics
- Fuzzy Prolog: A Simple General Implementation Using (R).
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-36078-0
- 9783540360780
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.