1 option
Automated Reasoning with Analytic Tableaux and Related Methods : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings / edited by Nicola Olivetti.
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 ; 4548.
- Lecture Notes in Artificial Intelligence ; 4548
- Language:
- English
- Subjects (All):
- Artificial intelligence.
- Logic, Symbolic and mathematical.
- Computer programming.
- Software engineering.
- Artificial Intelligence.
- Mathematical Logic and Formal Languages.
- Programming Techniques.
- Software Engineering.
- Local Subjects:
- Artificial Intelligence.
- Mathematical Logic and Formal Languages.
- Programming Techniques.
- Software Engineering.
- Physical Description:
- 1 online resource (X, 250 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:
- Invited Talks
- Nonmonotonic Description Logics - Requirements, Theory, and Implementations
- Our Quest for the Holy Grail of Agent Verification
- An Abstract Framework for Satisfiability Modulo Theories
- Research Papers
- Axiom Pinpointing in General Tableaux
- Proof Theory for First Order ?ukasiewicz Logic
- A Tableau Method for Public Announcement Logics
- Bounded Model Checking with Description Logic Reasoning
- Tableau Systems for Logics of Subinterval Structures over Dense Orderings
- A Cut-Free Sequent Calculus for Bi-intuitionistic Logic
- Tableaux with Dynamic Filtration for Layered Modal Logics
- The Neighbourhood of S0.9 and S1
- EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies
- Tree-Sequent Methods for Subintuitionistic Predicate Logics
- A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation
- Updating Reduced Implicate Tries
- A Bottom-Up Approach to Clausal Tableaux
- Differential Dynamic Logic for Verifying Parametric Hybrid Systems
- System Descriptions
- Improvements to the Tableau Prover PITP
- KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-73099-6
- 9783540730996
- 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.