Search results for "Tableaux"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
48	Miroslava Tzakova	Tableau Calculi for Hybrid Logics.	TABLEAUX	1999	DBLP DOI BibTeX RDF
48	Fabio Massacci	Automated Reasoning and the Verification of Security Protocols.	TABLEAUX	1999	DBLP DOI BibTeX RDF
48	Ulrich Endriss	A Time Efficient KE Based Theorem Prover.	TABLEAUX	1999	DBLP DOI BibTeX RDF
48	Martin Giese, Wolfgang Ahrendt	Hilbert's epsilon-Terms in Automated Theorem Proving.	TABLEAUX	1999	DBLP DOI BibTeX RDF
48	Agata Ciabattoni	Bounded Contraction in Systems with Linearity.	TABLEAUX	1999	DBLP DOI BibTeX RDF
48	Vijay Boyapati, Rajeev Goré	KtSeqC: System Description.	TABLEAUX	1999	DBLP DOI BibTeX RDF
48	Reiner Hähnle, Bernhard Beckert	Proof Confluent Tableau Calculi.	TABLEAUX	1999	DBLP DOI BibTeX RDF
48	Krysia Broda, Dov M. Gabbay	CLDS for Propositional Intuitionistic Logic.	TABLEAUX	1999	DBLP DOI BibTeX RDF
48	Jean Goubault-Larrecq	A Simple Sequent System for First-Order Logic with Free Constructors.	TABLEAUX	1999	DBLP DOI BibTeX RDF
48	Peter F. Patel-Schneider, Ian Horrocks 0001	DLP and FaCT.	TABLEAUX	1999	DBLP DOI BibTeX RDF
48	Christof Monz, Maarten de Rijke	A Tableau Calculus for Pronoun Resolution.	TABLEAUX	1999	DBLP DOI BibTeX RDF
48	Wolfgang May	A Tableau Calculus for a Temporal Logic with Temporal Connectives.	TABLEAUX	1999	DBLP DOI BibTeX RDF
48	Paul C. Gilmore	Partial Functions in an Impredicative Simple Theory of Types.	TABLEAUX	1999	DBLP DOI BibTeX RDF
48	James L. Caldwell	Intuitionistic Tableau Extracted.	TABLEAUX	1999	DBLP DOI BibTeX RDF
48	Domenico Cantone, Calogero G. Zarba	A Tableau-Based Decision Procedure for a Fragment of Set Theory Involving a Restricted Form of Quantification.	TABLEAUX	1999	DBLP DOI BibTeX RDF
48	Volker Haarslev, Ralf Möller 0001	Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems.	TABLEAUX	1999	DBLP DOI BibTeX RDF
48	Andreas Wolf, Joachim Draeger	Strategy Parallel Use of Model Elimination with Lemmata (System Abstract).	TABLEAUX	1999	DBLP DOI BibTeX RDF
48	Philippe de Groote	The Non-Associative Lambek Calculus with Product in Polynomial Time.	TABLEAUX	1999	DBLP DOI BibTeX RDF
48	Matthias Baaz, Christian G. Fermüller	Analytic Calculi for Projective Logics.	TABLEAUX	1999	DBLP DOI BibTeX RDF
48	Stéphane Demri, Rajeev Goré	Cut-Free Display Calculi for Nominal Tense Logics.	TABLEAUX	1999	DBLP DOI BibTeX RDF
48	Ulrich Endriss	An Interactive Theorem Proving Assistant.	TABLEAUX	1999	DBLP DOI BibTeX RDF
48	Harrie C. M. de Swart (eds.)	Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings	TABLEAUX	1998	DBLP DOI BibTeX RDF
48	Serenella Cerrito, Marta Cialdea Mayer	Bounded Model Search in Linear Temporal Logic and Its Application to Planning.	TABLEAUX	1998	DBLP DOI BibTeX RDF
48	Bernhard Beckert, Ulrike Hartmer	A Tableau Calculus for Quantifier-Free Set Theoretic Formulae.	TABLEAUX	1998	DBLP DOI BibTeX RDF
48	Ullrich Hustadt, Renate A. Schmidt	Simplification and Backjumping in Modal Tableau.	TABLEAUX	1998	DBLP DOI BibTeX RDF
48	Stephan Schmitt, Christoph Kreitz	Deleting Redundancy in Proof Reconstruction.	TABLEAUX	1998	DBLP DOI BibTeX RDF
48	Uwe Egly, Hans Tompits	On Proof Complexity of Circumscription.	TABLEAUX	1998	DBLP DOI BibTeX RDF
48	Peter Balsiger, Alain Heuerding, Stefan Schwendimann	Logics Workbench 1.0.	TABLEAUX	1998	DBLP DOI BibTeX RDF
48	Sara Negri, Jan von Plato	From Kripke Models to Algebraic Counter-Valuations.	TABLEAUX	1998	DBLP DOI BibTeX RDF
48	Klaus Weich	Decision Procedures for Intuitionistic Propositional Logic by Program Extraction.	TABLEAUX	1998	DBLP DOI BibTeX RDF
48	G. L. J. M. Janssen	Implementation of Propositional Temporal Logics Using BDDs.	TABLEAUX	1998	DBLP DOI BibTeX RDF
48	Ján Komara, Paul J. Voda	Computer Programming as Mathematics in a Programming Language and Proof System CL.	TABLEAUX	1998	DBLP DOI BibTeX RDF
48	N. G. de Bruijn	Philosophical Aspects of Computerized Verification of Mathematics.	TABLEAUX	1998	DBLP DOI BibTeX RDF
48	Howard Bowman, Simon J. Thompson	A Tableau Method for Interval Temporal Logic with Projection.	TABLEAUX	1998	DBLP DOI BibTeX RDF
48	Edmund M. Clarke, Sergey Berezin	Model Checking: Historical Perspective and Example (Extended Abstract).	TABLEAUX	1998	DBLP DOI BibTeX RDF
48	Peter Baumgartner 0001	Hyper Tableau - The Next Generation.	TABLEAUX	1998	DBLP BibTeX RDF
48	Reiner Hähnle, Neil V. Murray, Erik Rosenthal	Some Remarks on Completeness, Connection Graph Resolution and Link Deletion.	TABLEAUX	1998	DBLP BibTeX RDF
48	Stefan Schwendimann	A New One-Pass Tableau Calculus for PLTL.	TABLEAUX	1998	DBLP DOI BibTeX RDF
48	Alan Bundy	A Science of Reasoning (Extended Abstract).	TABLEAUX	1998	DBLP DOI BibTeX RDF
48	Christian Urban	Implementation of Proof Search in the Imperative Programming Language Pizza.	TABLEAUX	1998	DBLP DOI BibTeX RDF	Success Continuations, G4ip, Pizza
48	Andreas Wolf	p-SETHEO: Strategy Parallelism in Automated Theorem Proving.	TABLEAUX	1998	DBLP DOI BibTeX RDF
48	Michel Levy	Prover KT4.	TABLEAUX	1998	DBLP DOI BibTeX RDF
48	Didier Galmiche (eds.)	Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings	TABLEAUX	1997	DBLP DOI BibTeX RDF
48	Peter Niebert, Barbara Sprick	A Tableau Proof System for a Mazurkiewicz Trace Logic with Fixpoints.	TABLEAUX	1997	DBLP DOI BibTeX RDF
48	Richard Mayr	Tableau Methods for PA-Processes.	TABLEAUX	1997	DBLP DOI BibTeX RDF
48	Alessandro Avellone, Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi	Generalized Tableau Systems for Intemediate Propositional Logics.	TABLEAUX	1997	DBLP DOI BibTeX RDF
48	Piero A. Bonatti, Nicola Olivetti	A Sequent Calculus for Skeptical Default Logic.	TABLEAUX	1997	DBLP DOI BibTeX RDF
48	Serenella Cerrito, Marta Cialdea Mayer	Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics.	TABLEAUX	1997	DBLP DOI BibTeX RDF
48	Ján Komara, Paul J. Voda	On Quasitautologies.	TABLEAUX	1997	DBLP DOI BibTeX RDF
48	Uwe Egly	Non-elementary Speed-ups in Proof Length by Different Variants of Classical Analytic Calculi.	TABLEAUX	1997	DBLP DOI BibTeX RDF
48	Ortrun Ibens, Reinhold Letz	Subgoal Alternation in Model Elimination.	TABLEAUX	1997	DBLP DOI BibTeX RDF
48	Ryuzo Hasegawa, Hiroshi Fujita 0002, Miyuki Koshimura	MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications.	TABLEAUX	1997	DBLP DOI BibTeX RDF
48	Umberto Straccia	A Sequent Calculus for Reasoning in Four-Valued Description Logics.	TABLEAUX	1997	DBLP DOI BibTeX RDF
48	Benjamin Shults	A Framework for Using Knowledge in Tableau Proofs.	TABLEAUX	1997	DBLP DOI BibTeX RDF
48	Grigori Mints	Three Faces of Natural Deduction.	TABLEAUX	1997	DBLP DOI BibTeX RDF
48	Jacob M. Howe	Two Loop Detection Mechanisms: A Comparision.	TABLEAUX	1997	DBLP DOI BibTeX RDF
48	Li Dafa	Automated Natural Deduction Prover and Experiments.	TABLEAUX	1997	DBLP DOI BibTeX RDF
48	Jens Otten	ileanTAP: An Intuitionistic Theorem Prover.	TABLEAUX	1997	DBLP DOI BibTeX RDF
48	Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi (eds.)	Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings	TABLEAUX	1996	DBLP DOI BibTeX RDF
48	Jean-Paul Billon	The Disconnection Method - A Confluent Integration of Unification in the Analytic Framework.	TABLEAUX	1996	DBLP DOI BibTeX RDF
48	Stéphane Demri	A Simple Tableau System for the Logic of Elsewhere.	TABLEAUX	1996	DBLP DOI BibTeX RDF
48	Alain Heuerding, Michael Seyfried, Heinrich Zimmermann	Efficient Loop-Check for Backward Proof Search in Some Non-classical Propositional Logics.	TABLEAUX	1996	DBLP DOI BibTeX RDF
48	Andrei Voronkov	Proof-Search in Intuitionistic Logic Based on Constraint Satisfaction.	TABLEAUX	1996	DBLP DOI BibTeX RDF
48	Piero A. Bonatti	Sequent Calculi for Default and Autoepistemic Logics.	TABLEAUX	1996	DBLP DOI BibTeX RDF
48	Ilkka Niemelä	A Tableau Calculus for Minimal Model Reasoning.	TABLEAUX	1996	DBLP DOI BibTeX RDF
48	Natasha Alechina	Interpolation for a Sequent Calculus of Generalized Quantifiers.	TABLEAUX	1996	DBLP DOI BibTeX RDF
48	Alessandro Avellone, Mauro Ferrari 0002	Almost Duplication-Free Tableau Calculi for Propositional Lax Logics.	TABLEAUX	1996	DBLP DOI BibTeX RDF
48	Jeremy V. Pitt, Jim Cunningham	Distributed Modal Theorem Proving with KE.	TABLEAUX	1996	DBLP DOI BibTeX RDF
48	Michael Mendler	A Timing Refinement of Intuitionistic Proofs and its Application to the Timing Analysis of Combinational Circuits.	TABLEAUX	1996	DBLP DOI BibTeX RDF
48	Bertram Fronhöfer	Situational Calculus, Linear Connection Proofs and STRIPS-like Planning: An Experimental Comparison.	TABLEAUX	1996	DBLP DOI BibTeX RDF
48	Peter B. Andrews, Matthew Bishop	On Sets, Types, Fixed Points, and Checkerboards.	TABLEAUX	1996	DBLP DOI BibTeX RDF
48	Jens Otten, Christoph Kreitz	T-String Unification: Unifying Prefixes in Non-classical Proof Methods.	TABLEAUX	1996	DBLP DOI BibTeX RDF
48	Gérard Becher	Cyclic Connections.	TABLEAUX	1996	DBLP DOI BibTeX RDF
48	Eike Ritter, David J. Pym, Lincoln A. Wallen	On the Intuitionistic Force of Classical Search (Extended Abstract).	TABLEAUX	1996	DBLP DOI BibTeX RDF
48	Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco	Strong Normalization for All-Style LK.	TABLEAUX	1996	DBLP DOI BibTeX RDF
48	Peter Baumgartner 0001, Reiner Hähnle, Joachim Posegga (eds.)	Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings	TABLEAUX	1995	DBLP DOI BibTeX RDF
48	Stephan Schmitt, Christoph Kreitz	On Transforming Intuitionistic Matrix Proofs into Standard-Sequent Proofs.	TABLEAUX	1995	DBLP DOI BibTeX RDF
48	Ricardo Caferra, Nicolas Peltier	Model Building and Interactive Theory Discovery.	TABLEAUX	1995	DBLP DOI BibTeX RDF
48	Alain Heuerding, Gerhard Jäger, Stefan Schwendimann, Michael Seyfried	Propositional Logics on the Computer.	TABLEAUX	1995	DBLP DOI BibTeX RDF
48	Ingrid Neumann	Semantic Tableaus for Inheritance Nets.	TABLEAUX	1995	DBLP DOI BibTeX RDF
48	Peter Baumgartner 0001, Frieder Stolzenburg	Constraint Model Elimination and a PTTP-Implementation.	TABLEAUX	1995	DBLP DOI BibTeX RDF
48	Eric de Kogel	Rigid E-Unification Simplified.	TABLEAUX	1995	DBLP DOI BibTeX RDF
48	Jens Otten	A Connection Based Proof Method for Intuitionistic Logic.	TABLEAUX	1995	DBLP DOI BibTeX RDF
48	Philippe de Groote	Linear Logic with Isabelle: Pruning the Proof Search Tree.	TABLEAUX	1995	DBLP DOI BibTeX RDF
48	Wolfgang Bibel, Stefan Brüning, Uwe Egly, Daniel S. Korn, Thomas Rath	Issues in Theorem Proving Based on the Connection Method.	TABLEAUX	1995	DBLP DOI BibTeX RDF
48	Stéphane Demri	Using Connection Method in Modal Logics: Some Advantages.	TABLEAUX	1995	DBLP DOI BibTeX RDF
48	Klaus Mayr	Link Deletion in Model Elimination.	TABLEAUX	1995	DBLP DOI BibTeX RDF
48	Jeremy V. Pitt	MacKE: Yet Another Proof Assistant & Automated Pedagogic Tool.	TABLEAUX	1995	DBLP DOI BibTeX RDF
48	Jörg Hudelmaier, Peter Schroeder-Heister	Classical Lambek Logic.	TABLEAUX	1995	DBLP DOI BibTeX RDF
48	Johann Schumann	Using the Theorem Prover SETHEO for Verifying the Development of a Communication Protocol in FOCUS: A Case Study.	TABLEAUX	1995	DBLP DOI BibTeX RDF
48	Gerd Neugebauer, Uwe Petermann	Specifications of Inference Rules and Their Automatic Translation.	TABLEAUX	1995	DBLP DOI BibTeX RDF
48	Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi	Refutation Systems for Propositional Modal Logics.	TABLEAUX	1995	DBLP DOI BibTeX RDF
48	Raoul Vorc'h	Generalization and Abstraction Using Tableaux-Based Proof Systems.	TABLEAUX	1992	DBLP BibTeX RDF
48	Vincent Risch, Camilla Schwind	Tableaux-Based Theorem Proving and Non-Standard Reasoning.	TABLEAUX	1992	DBLP BibTeX RDF
48	Roderic A. Girle	Possible Worlds Tableaux without Explicit Accessibility.	TABLEAUX	1992	DBLP BibTeX RDF
48	Zoran Ognjanovic, Dragan Urosevic, Tatjana Petrovic, Zorana Ristovic	A Tableaux Retlated Method for Modal Theorem Proving (Extended Abstract).	TABLEAUX	1992	DBLP BibTeX RDF
48	Marcello D'Agostino, Marco Mondadori	An Improvement of Analytic Tableaux.	TABLEAUX	1992	DBLP BibTeX RDF
48	Regimantas Pliuskevicius	The Analityc Tableaux for Linear Temporal Logic.	TABLEAUX	1992	DBLP BibTeX RDF
48	Graham Wrightson	Research into Analytic Tableaux.	TABLEAUX	1992	DBLP BibTeX RDF
47	Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato	Analytic tableaux calculi for KLM logics of nonmonotonic reasoning.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	Analytic tableaux calculi, nonmonotonic reasoning