Abstract is missing.
- Query Processing in Peer-to-Peer Systems: An Epistemic Logic ApproachDiego Calvanese. 1 [doi]
- Description Logics in Ontology ApplicationsIan Horrocks. 2-13 [doi]
- Automated Reasoning in the Context of the Semantic WebHans Jürgen Ohlbach. 14-14 [doi]
- Formal Versus Rigorous Mathematics: How to Get Your Papers PublishedErik Rosenthal. 15-32 [doi]
- Consistency of Variable Splitting in Free Variable Systems of First-Order LogicRoger Antonsen, Arild Waaler. 33-47 [doi]
- On the Dynamic Increase of Multiplicities in Matrix Proof Methods for Classical Higher-Order LogicSerge Autexier. 48-62 [doi]
- A Tableau-Based Decision Procedure for Right Propositional Neighborhood LogicDavide Bresolin, Angelo Montanari. 63-77 [doi]
- Cyclic Proofs for First-Order Logic with Inductive DefinitionsJames Brotherston. 78-92 [doi]
- A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and AcyclicityDomenico Cantone, Calogero G. Zarba. 93-107 [doi]
- Embedding Static Analysis into Tableaux and Sequent Based FrameworksTobias Gedell. 108-122 [doi]
- A Calculus for Type Predicates and Type CoercionMartin Giese. 123-137 [doi]
- A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar LogicsRajeev Goré, Linh Anh Nguyen. 138-152 [doi]
- Comparing Instance Generation Methods for Automated ReasoningSwen Jacobs, Uwe Waldmann. 153-168 [doi]
- An Order-Sorted Quantified Modal Logic for Meta-ontologyKen Kaneiwa, Riichiro Mizoguchi. 169-184 [doi]
- A Redundancy Analysis of Sequent ProofsTatjana Lutovac, James Harland. 185-200 [doi]
- A Tableau Algorithm for Description Logics with Concrete Domains and GCIsCarsten Lutz, Maja Milicic. 201-216 [doi]
- The Space Efficiency of OSHLSwaha Miller, David A. Plaisted. 217-230 [doi]
- Efficient Query Processing with Compiled Knowledge BasesNeil V. Murray, Erik Rosenthal. 231-244 [doi]
- Clausal Connection-Based Theorem Proving in Intuitionistic First-Order LogicJens Otten. 245-261 [doi]
- Automatic Descente Infinie Induction ReasoningSorin Stratulat. 262-276 [doi]
- A Decision Procedure for the Alternation-Free Two-Way Modal µ-CalculusYoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya. 277-291 [doi]
- On the Partial Respects in Which a Real Valued Arithmetic System Can Verify Its Tableaux ConsistencyDan E. Willard. 292-306 [doi]
- Pdk: The System and Its LanguageMarta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni. 307-311 [doi]
- Proof Output and Transformation for Disconnection TableauxPhilipp Correll, Gernot Stenz. 312-317 [doi]
- LoTREC: Logical Tableaux Research Engineering CompanionOlivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade. 318-322 [doi]
- A Tableau-Based Explainer for DL SubsumptionThorsten Liebig, Michael Halfmann. 323-327 [doi]
- CondLean 3.0: Improving CondLean for Stronger Conditional LogicsNicola Olivetti, Gian Luca Pozzato. 328-332 [doi]
- The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic LogicThomas Raths, Jens Otten, Christoph Kreitz. 333-337 [doi]
- Unit Propagation in a Tableau FrameworkGernot Stenz. 338-342 [doi]