A Calculus for Type Predicates and Type Coercion (English)
- New search for: Giese, M.
- New search for: Giese, M.
- New search for: Beckert, Bernhard
In:
Automated reasoning with analytic tableaux and related methods; TABLEAUX 2005
;
123-137
;
2005
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:A Calculus for Type Predicates and Type Coercion
-
Contributors:Giese, M. ( author ) / Beckert, Bernhard
-
Conference:International conference, Automated reasoning with analytic tableaux and related methods; TABLEAUX 2005 ; 2005 ; Koblenz, Germany
-
Published in:LECTURE NOTES IN COMPUTER SCIENCE ; 3702 ; 123-137
-
Publisher:
- New search for: Springer
-
Place of publication:Berlin , [London]
-
Publication date:2005-01-01
-
Size:15 pages
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Query Processing in Peer-to-Peer Systems: An Epistemic Logic ApproachCalvanese, D. et al. | 2005
- 2
-
Description Logics in Ontology ApplicationsHorrocks, I. et al. | 2005
- 14
-
Automated Reasoning in the Context of the Semantic WebOhlbach, H. J. et al. | 2005
- 15
-
Formal Versus Rigorous Mathematics: How to Get Your Papers PublishedRosenthal, E. et al. | 2005
- 33
-
Consistency of Variable Splitting in Free Variable Systems of First-Order LogicAntonsen, R. / Waaler, A. et al. | 2005
- 48
-
On the Dynamic Increase of Multiplicities in Matrix Proof Methods for Classical Higher-Order LogicAutexier, S. et al. | 2005
- 63
-
A Tableau-Based Decision Procedure for Right Propositional Neighborhood LogicBresolin, D. / Montanari, A. et al. | 2005
- 78
-
Cyclic Proofs for First-Order Logic with Inductive DefinitionsBrotherston, J. et al. | 2005
- 93
-
A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and AcyclicityCantone, D. / Zarba, C. G. et al. | 2005
- 108
-
Embedding Static Analysis into Tableaux and Sequent Based FrameworksGedell, T. et al. | 2005
- 123
-
A Calculus for Type Predicates and Type CoercionGiese, M. et al. | 2005
- 138
-
A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar LogicsGore, R. / Nguyen, L. A. et al. | 2005
- 153
-
Comparing Instance Generation Methods for Automated ReasoningJacobs, S. / Waldmann, U. et al. | 2005
- 169
-
An Order-Sorted Quantified Modal Logic for Meta-ontologyKaneiwa, K. / Mizoguchi, R. et al. | 2005
- 185
-
A Redundancy Analysis of Sequent ProofsLutovac, T. / Harland, J. et al. | 2005
- 201
-
A Tableau Algorithm for Description Logics with Concrete Domains and GCIsLutz, C. / Milicic, M. et al. | 2005
- 217
-
The Space Efficiency of OSHLMiller, S. / Plaisted, D. A. et al. | 2005
- 231
-
Efficient Query Processing with Compiled Knowledge BasesMurray, N. V. / Rosenthal, E. et al. | 2005
- 245
-
Clausal Connection-Based Theorem Proving in Intuitionistic First-Order LogicOtten, J. et al. | 2005
- 262
-
Automatic `Descente Infinie' Induction ReasoningStratulat, S. et al. | 2005
- 277
-
A Decision Procedure for the Alternation-Free Two-Way Modal mu-CalculusTanabe, Y. / Takahashi, K. / Yamamoto, M. / Tozawa, A. / Hagiya, M. et al. | 2005
- 292
-
On the Partial Respects in Which a Real Valued Arithmetic System Can Verify Its Tableaux ConsistencyWillard, D. E. et al. | 2005
- 307
-
Pdk: The System and Its LanguageMayer, M. C. / Limongelli, C. / Orlandini, A. / Poggioni, V. et al. | 2005
- 312
-
Proof Output and Transformation for Disconnection TableauxCorrell, P. / Stenz, G. et al. | 2005
- 318
-
LoTREC: Logical Tableaux Research Engineering CompanionGasquet, O. / Herzig, A. / Longin, D. / Sahade, M. et al. | 2005
- 323
-
A Tableau-Based Explainer for DL SubsumptionLiebig, T. / Halfmann, M. et al. | 2005
- 328
-
CondLean 3.0: Improving CondLean for Stronger Conditional LogicsOlivetti, N. / Pozzato, G. L. et al. | 2005
- 333
-
The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic LogicRaths, T. / Otten, J. / Kreitz, C. et al. | 2005
- 338
-
Unit Propagation in a Tableau FrameworkStenz, G. et al. | 2005