You have Guest access.
Log In
Bernhard Beckert
Front matter
1
Query Processing in Peer-to-Peer Systems: An Epistemic Logic Approach
2-13
Description Logics in Ontology Applications
14
Automated Reasoning in the Context of the Semantic Web
15-32
Formal Versus Rigorous Mathematics: How to Get Your Papers Published
33-47
Consistency of Variable Splitting in Free Variable Systems of First-Order Logic
48-62
On the Dynamic Increase of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic
63-77
A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic
78-92
Cyclic Proofs for First-Order Logic with Inductive Definitions
93-107
A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and Acyclicity
108-122
Embedding Static Analysis into Tableaux and Sequent Based Frameworks
123-137
A Calculus for Type Predicates and Type Coercion
138-152
A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics
153-168
Comparing Instance Generation Methods for Automated Reasoning
169-184
An Order-Sorted Quantified Modal Logic for Meta-ontology
185-200
A Redundancy Analysis of Sequent Proofs
201-216
A Tableau Algorithm for Description Logics with Concrete Domains and GCIs
217-230
The Space Efficiency of OSHL
231-244
Efficient Query Processing with Compiled Knowledge Bases
245-261
Clausal Connection-Based Theorem Proving in Intuitionistic First-Order Logic
262-276
Automatic ‘Descente Infinie’ Induction Reasoning
277-291
A Decision Procedure for the Alternation-Free Two-Way Modal μ-Calculus
292-306
On the Partial Respects in Which a Real Valued Arithmetic System Can Verify Its Tableaux Consistency
307-311
Pdk: The System and Its Language
312-317
Proof Output and Transformation for Disconnection Tableaux
318-322
LoTREC: Logical Tableaux Research Engineering Companion
323-327
A Tableau-Based Explainer for DL Subsumption
328-332
CondLean 3.0: Improving CondLean for Stronger Conditional Logics
333-337
The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic
338-342
Unit Propagation in a Tableau Framework
Back matter
This page requires script.
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info