1 option
Logic for Programming, Artificial Intelligence, and Reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings / edited by Nachum Dershowitz, 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 ; 4790.
- Lecture Notes in Artificial Intelligence ; 4790
- Language:
- English
- Subjects (All):
- Software engineering.
- Artificial intelligence.
- Computer programming.
- Computer logic.
- Logic, Symbolic and mathematical.
- Software Engineering/Programming and Operating Systems.
- Artificial Intelligence.
- Programming Techniques.
- Software Engineering.
- Logics and Meanings of Programs.
- Mathematical Logic and Formal Languages.
- Local Subjects:
- Software Engineering/Programming and Operating Systems.
- Artificial Intelligence.
- Programming Techniques.
- Software Engineering.
- Logics and Meanings of Programs.
- Mathematical Logic and Formal Languages.
- Physical Description:
- 1 online resource (XIII, 564 pages).
- Edition:
- First edition 2007.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
- System Details:
- text file PDF
- Contents:
- From Hilbert's Program to a Logic Toolbox
- On the Notion of Vacuous Truth
- Whatever Happened to Deductive Question Answering?
- Decidable Fragments of Many-Sorted Logic
- One-Pass Tableaux for Computation Tree Logic
- Extending a Resolution Prover for Inequalities on Elementary Functions
- Model Checking the First-Order Fragment of Higher-Order Fixpoint Logic
- Monadic Fragments of Gödel Logics: Decidability and Undecidability Results
- Least and Greatest Fixed Points in Linear Logic
- The Semantics of Consistency and Trust in Peer Data Exchange Systems
- Completeness and Decidability in Sequence Logic
- HORPO with Computability Closure: A Reconstruction
- Zenon: An Extensible Automated Theorem Prover Producing Checkable Proofs
- Matching in Hybrid Terminologies
- Verifying Cryptographic Protocols with Subterms Constraints
- Deciding Knowledge in Security Protocols for Monoidal Equational Theories
- Mechanized Verification of CPS Transformations
- Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
- Protocol Verification Via Rigid/Flexible Resolution
- Preferential Description Logics
- On Two Extensions of Abstract Categorial Grammars
- Why Would You Trust B?
- How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited
- On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards
- Data Complexity in the Family of Description Logics
- An Extension of the Knuth-Bendix Ordering with LPO-Like Properties
- Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic
- Integrating Inductive Definitions in SAT
- The Separation Theorem for Differential Interaction Nets
- Complexity of Planning in Action Formalisms Based on Description Logics
- Faster Phylogenetic Inference with MXG
- Enriched ?-Calculus Pushdown Module Checking
- Approved Models for Normal Logic Programs
- Permutative Additives and Exponentials
- Algorithms for Propositional Model Counting
- Completeness for Flat Modal Fixpoint Logics
- : Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols
- The Complexity of Temporal Logic with Until and Since over Ordinals
- ATP Cross-Verification of the Mizar MPTP Challenge Problems.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-75560-9
- 9783540755609
- 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.