Conferences in DBLP
Diego Calvanese Query Processing in Peer-to-Peer Systems: An Epistemic Logic Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Ian Horrocks Description Logics in Ontology Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Jürgen Ohlbach Automated Reasoning in the Context of the Semantic Web. [Citation Graph (0, 0)][DBLP ] Conf ] Erik Rosenthal Formal Versus Rigorous Mathematics: How to Get Your Papers Published. [Citation Graph (0, 0)][DBLP ] Conf ] Roger Antonsen , Arild Waaler Consistency of Variable Splitting in Free Variable Systems of First-Order Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Serge Autexier On the Dynamic Increase of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Davide Bresolin , Angelo Montanari A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic. [Citation Graph (0, 0)][DBLP ] Conf ] James Brotherston Cyclic Proofs for First-Order Logic with Inductive Definitions. [Citation Graph (0, 0)][DBLP ] Conf ] Domenico Cantone , Calogero G. Zarba A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and Acyclicity. [Citation Graph (0, 0)][DBLP ] Conf ] Tobias Gedell Embedding Static Analysis into Tableaux and Sequent Based Frameworks. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Giese A Calculus for Type Predicates and Type Coercion. [Citation Graph (0, 0)][DBLP ] Conf ] Rajeev Goré , Linh Anh Nguyen A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Swen Jacobs , Uwe Waldmann Comparing Instance Generation Methods for Automated Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Ken Kaneiwa , Riichiro Mizoguchi An Order-Sorted Quantified Modal Logic for Meta-ontology. [Citation Graph (0, 0)][DBLP ] Conf ] Tatjana Lutovac , James Harland A Redundancy Analysis of Sequent Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Carsten Lutz , Maja Milicic A Tableau Algorithm for Description Logics with Concrete Domains and GCIs. [Citation Graph (0, 0)][DBLP ] Conf ] Swaha Miller , David A. Plaisted The Space Efficiency of OSHL. [Citation Graph (0, 0)][DBLP ] Conf ] Neil V. Murray , Erik Rosenthal Efficient Query Processing with Compiled Knowledge Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Jens Otten Clausal Connection-Based Theorem Proving in Intuitionistic First-Order Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Sorin Stratulat Automatic 'Descente Infinie' Induction Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Yoshinori Tanabe , Koichi Takahashi , Mitsuharu Yamamoto , Akihiko Tozawa , Masami Hagiya A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Dan E. Willard On the Partial Respects in Which a Real Valued Arithmetic System Can Verify Its Tableaux Consistency. [Citation Graph (0, 0)][DBLP ] Conf ] Marta Cialdea Mayer , Carla Limongelli , Andrea Orlandini , Valentina Poggioni Pdk: The System and Its Language. [Citation Graph (0, 0)][DBLP ] Conf ] Philipp Correll , Gernot Stenz Proof Output and Transformation for Disconnection Tableaux. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Gasquet , Andreas Herzig , Dominique Longin , Mohamad Sahade LoTREC: Logical Tableaux Research Engineering Companion. [Citation Graph (0, 0)][DBLP ] Conf ] Thorsten Liebig , Michael Halfmann A Tableau-Based Explainer for DL Subsumption. [Citation Graph (0, 0)][DBLP ] Conf ] Nicola Olivetti , Gian Luca Pozzato CondLean 3.0: Improving CondLean for Stronger Conditional Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Raths , Jens Otten , Christoph Kreitz The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Gernot Stenz Unit Propagation in a Tableau Framework. [Citation Graph (0, 0)][DBLP ] Conf ] 