Search results for "TABLEAUX"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Laura Giordano 0001, Valentina Gliozzi, Gian Luca Pozzato	KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning.	TABLEAUX	2007	DBLP DOI BibTeX RDF
1	Neil V. Murray, Erik Rosenthal	Updating Reduced Implicate Tries.	TABLEAUX	2007	DBLP DOI BibTeX RDF
1	Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala	Tableau Systems for Logics of Subinterval Structures over Dense Orderings.	TABLEAUX	2007	DBLP DOI BibTeX RDF
1	Nicola Olivetti (eds.)	Automated Reasoning with Analytic Tableaux and Related Methods, 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings	TABLEAUX	2007	DBLP DOI BibTeX RDF
1	Alessandro Avellone, Guido Fiorino, Ugo Moscato	Improvements to the Tableau Prover PITP.	TABLEAUX	2007	DBLP DOI BibTeX RDF
1	Matthias Baaz, George Metcalfe	Proof Theory for First Order Lukasiewicz Logic.	TABLEAUX	2007	DBLP DOI BibTeX RDF
1	Franz Baader, Rafael Peñaloza	Axiom Pinpointing in General Tableaux.	TABLEAUX	2007	DBLP DOI BibTeX RDF
1	Shoham Ben-David, Richard J. Trefler, Grant E. Weddell	Bounded Model Checking with Description Logic Reasoning.	TABLEAUX	2007	DBLP DOI BibTeX RDF
1	Rajeev Goré, Linh Anh Nguyen	EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies.	TABLEAUX	2007	DBLP DOI BibTeX RDF
1	Ekaterina Komendantskaya	A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation.	TABLEAUX	2007	DBLP DOI BibTeX RDF
1	Philippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago de Lima	A Tableau Method for Public Announcement Logics.	TABLEAUX	2007	DBLP DOI BibTeX RDF
1	John-Jules Ch. Meyer	Our Quest for the Holy Grail of Agent Verification.	TABLEAUX	2007	DBLP DOI BibTeX RDF
1	Nicolas Peltier	A Bottom-Up Approach to Clausal Tableaux.	TABLEAUX	2007	DBLP DOI BibTeX RDF
1	Ryo Ishigaki, Kentaro Kikuchi	Tree-Sequent Methods for Subintuitionistic Predicate Logics.	TABLEAUX	2007	DBLP DOI BibTeX RDF
1	Olivier Gasquet, Bilal Said	Tableaux with Dynamic Filtration for Layered Modal Logics.	TABLEAUX	2007	DBLP DOI BibTeX RDF	Layered Modal Logic, Dynamic Filtration, Satisfaction problem, Complexity, Tableau
1	Roderic A. Girle	The Neighbourhood of S0.9 and S1.	TABLEAUX	2007	DBLP DOI BibTeX RDF	S0.9, S1, model-set semantics, interpretation, tableaux
1	Cesare Tinelli	An Abstract Framework for Satisfiability Modulo Theories.	TABLEAUX	2007	DBLP DOI BibTeX RDF
1	Thomas Raths, Jens Otten, Christoph Kreitz	The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic.	TABLEAUX	2005	DBLP DOI BibTeX RDF
1	Philipp Correll, Gernot Stenz	Proof Output and Transformation for Disconnection Tableaux.	TABLEAUX	2005	DBLP DOI BibTeX RDF
1	Hans Jürgen Ohlbach	Automated Reasoning in the Context of the Semantic Web.	TABLEAUX	2005	DBLP DOI BibTeX RDF
1	Bernhard Beckert (eds.)	Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings	TABLEAUX	2005	DBLP DOI BibTeX RDF
1	Jens Otten	Clausal Connection-Based Theorem Proving in Intuitionistic First-Order Logic.	TABLEAUX	2005	DBLP DOI BibTeX RDF
1	Thorsten Liebig, Michael Halfmann	A Tableau-Based Explainer for DL Subsumption.	TABLEAUX	2005	DBLP DOI BibTeX RDF
1	Martin Giese	A Calculus for Type Predicates and Type Coercion.	TABLEAUX	2005	DBLP DOI BibTeX RDF
1	Gernot Stenz	Unit Propagation in a Tableau Framework.	TABLEAUX	2005	DBLP DOI BibTeX RDF
1	Neil V. Murray, Erik Rosenthal	Efficient Query Processing with Compiled Knowledge Bases.	TABLEAUX	2005	DBLP DOI BibTeX RDF
1	Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya	A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus.	TABLEAUX	2005	DBLP DOI BibTeX RDF
1	Tobias Gedell	Embedding Static Analysis into Tableaux and Sequent Based Frameworks.	TABLEAUX	2005	DBLP DOI BibTeX RDF
1	Davide Bresolin, Angelo Montanari	A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic.	TABLEAUX	2005	DBLP DOI BibTeX RDF
1	Sorin Stratulat	Automatic 'Descente Infinie' Induction Reasoning.	TABLEAUX	2005	DBLP DOI BibTeX RDF
1	Olivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade	LoTREC: Logical Tableaux Research Engineering Companion.	TABLEAUX	2005	DBLP DOI BibTeX RDF
1	Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni	Pdk: The System and Its Language.	TABLEAUX	2005	DBLP DOI BibTeX RDF
1	Serge Autexier	On the Dynamic Increase of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic.	TABLEAUX	2005	DBLP DOI BibTeX RDF
1	James Brotherston	Cyclic Proofs for First-Order Logic with Inductive Definitions.	TABLEAUX	2005	DBLP DOI BibTeX RDF
1	Swaha Miller, David A. Plaisted	The Space Efficiency of OSHL.	TABLEAUX	2005	DBLP DOI BibTeX RDF
1	Swen Jacobs, Uwe Waldmann	Comparing Instance Generation Methods for Automated Reasoning.	TABLEAUX	2005	DBLP DOI BibTeX RDF
1	Rajeev Goré, Linh Anh Nguyen	A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics.	TABLEAUX	2005	DBLP DOI BibTeX RDF
1	Ian Horrocks 0001	Description Logics in Ontology Applications.	TABLEAUX	2005	DBLP DOI BibTeX RDF
1	Roger Antonsen, Arild Waaler	Consistency of Variable Splitting in Free Variable Systems of First-Order Logic.	TABLEAUX	2005	DBLP DOI BibTeX RDF
1	Tatjana Lutovac, James Harland	A Redundancy Analysis of Sequent Proofs.	TABLEAUX	2005	DBLP DOI BibTeX RDF
1	Domenico Cantone, Calogero G. Zarba	A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and Acyclicity.	TABLEAUX	2005	DBLP DOI BibTeX RDF
1	Ken Kaneiwa, Riichiro Mizoguchi	An Order-Sorted Quantified Modal Logic for Meta-ontology.	TABLEAUX	2005	DBLP DOI BibTeX RDF
1	Nicola Olivetti, Gian Luca Pozzato	CondLean 3.0: Improving CondLean for Stronger Conditional Logics.	TABLEAUX	2005	DBLP DOI BibTeX RDF
1	Carsten Lutz, Maja Milicic	A Tableau Algorithm for Description Logics with Concrete Domains and GCIs.	TABLEAUX	2005	DBLP DOI BibTeX RDF
1	Erik Rosenthal	Formal Versus Rigorous Mathematics: How to Get Your Papers Published.	TABLEAUX	2005	DBLP DOI BibTeX RDF	nature of proof, rigor, formal mathematics
1	Diego Calvanese	Query Processing in Peer-to-Peer Systems: An Epistemic Logic Approach.	TABLEAUX	2005	DBLP DOI BibTeX RDF
1	Dan E. Willard	On the Partial Respects in Which a Real Valued Arithmetic System Can Verify Its Tableaux Consistency.	TABLEAUX	2005	DBLP DOI BibTeX RDF
1	Nicolas Peltier	A More Efficient Tableaux Procedure for Simultaneous Search for Refutations and Finite Models.	TABLEAUX	2003	DBLP DOI BibTeX RDF
1	Frank M. Brown	Decision Procedures for the Propositional Cases of Second Order Logic and Z Modal Logic Representations.	TABLEAUX	2003	DBLP DOI BibTeX RDF
1	Agata Ciabattoni, George Metcalfe	Bounded Lukasiewicz Logics.	TABLEAUX	2003	DBLP DOI BibTeX RDF
1	Carsten Lutz, Frank Wolter, Michael Zakharyaschev	A Tableau Algorithm for Reasoning about Concepts and Similarity.	TABLEAUX	2003	DBLP DOI BibTeX RDF
1	Olivier Brunet	A Labelled Sequent-Calculus for Observation Logic.	TABLEAUX	2003	DBLP DOI BibTeX RDF
1	V. Michele Abrusci	Non Commutative Logic: A Survey.	TABLEAUX	2003	DBLP DOI BibTeX RDF
1	Maarten Marx	XPath and Modal Logics of Finite DAG's.	TABLEAUX	2003	DBLP DOI BibTeX RDF
1	Martin Giese	Simplification Rules for Constrained Formula Tableaux.	TABLEAUX	2003	DBLP DOI BibTeX RDF
1	Frank M. Brown	Logistica 2.0: A Technology for Implementing Automatic Deduction Systems.	TABLEAUX	2003	DBLP DOI BibTeX RDF
1	Arnon Avron	Tableaux with Four Signs as a Unified Framework.	TABLEAUX	2003	DBLP DOI BibTeX RDF
1	Johann Schumann	Automated Theorem Proving in Generation, Verification, and Certification of Safety Critical Code.	TABLEAUX	2003	DBLP DOI BibTeX RDF
1	Neil V. Murray, Erik Rosenthal	Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation.	TABLEAUX	2003	DBLP DOI BibTeX RDF
1	Valentin Goranko, Angelo Montanari, Guido Sciavicco	A General Tableau Method for Propositional Interval Temporal Logics.	TABLEAUX	2003	DBLP DOI BibTeX RDF
1	Thierry Coquand	Dynamical Method in Algebra: A Survey.	TABLEAUX	2003	DBLP DOI BibTeX RDF
1	Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind	Tableau Calculi for Preference-Based Conditional Logics.	TABLEAUX	2003	DBLP DOI BibTeX RDF
1	Reinhold Letz, Gernot Stenz	Universal Variables in Disconnection Tableaux.	TABLEAUX	2003	DBLP DOI BibTeX RDF
1	Pietro Abate, Rajeev Goré	The Tableaux Work Bench.	TABLEAUX	2003	DBLP DOI BibTeX RDF
1	Nicola Olivetti, Gian Luca Pozzato	CondLean: A Theorem Prover for Conditional Logics.	TABLEAUX	2003	DBLP DOI BibTeX RDF
1	Marta Cialdea Mayer, Fiora Pirri (eds.)	Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings	TABLEAUX	2003	DBLP DOI BibTeX RDF
1	Reiner Hähnle, Niklas Sörensson	Fair Constraint Merging Tableaux in Lazy Functional Programming Style.	TABLEAUX	2003	DBLP DOI BibTeX RDF
1	Miroslav N. Velev	Automatic Abstraction of Equations in a Logic of Equality.	TABLEAUX	2003	DBLP DOI BibTeX RDF
1	Arild Waaler, Roger Antonsen	A Free Variable Sequent Calculus with Uniform Variable Splitting.	TABLEAUX	2003	DBLP DOI BibTeX RDF
1	Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue	SOLAR: A Consequence Finding System for Advanced Reasoning.	TABLEAUX	2003	DBLP DOI BibTeX RDF
1	Christian G. Fermüller	Parallel Dialogue Games and Hypersequents for Intermediate Logics.	TABLEAUX	2003	DBLP DOI BibTeX RDF
1	Virginie Thion, Serenella Cerrito, Marta Cialdea Mayer	A General Theorem Prover for Quantified Modal Logics.	TABLEAUX	2002	DBLP DOI BibTeX RDF
1	Anatoli Degtyarev, Michael Fisher 0001, Boris Konev	A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic.	TABLEAUX	2002	DBLP DOI BibTeX RDF
1	Nathalie Chetcuti-Sperandio	Tableau-Based Automated Deduction for Duration Calculus.	TABLEAUX	2002	DBLP DOI BibTeX RDF
1	Linh Anh Nguyen	Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief.	TABLEAUX	2002	DBLP DOI BibTeX RDF
1	Reinhold Letz, Gernot Stenz	Integration of Equality Reasoning into the Disconnection Calculus.	TABLEAUX	2002	DBLP DOI BibTeX RDF
1	Balder ten Cate, Chung-chieh Shan	Question Answering: From Partitions to Prolog.	TABLEAUX	2002	DBLP DOI BibTeX RDF
1	Mauro Ferrari 0002, Camillo Fiorentini, Guido Fiorino	Tableau Calculi for the Logics of Finite k-Ary Trees.	TABLEAUX	2002	DBLP DOI BibTeX RDF
1	Jan Hladik	Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment.	TABLEAUX	2002	DBLP DOI BibTeX RDF
1	George Metcalfe, Nicola Olivetti, Dov M. Gabbay	Analytic Sequent Calculi for Abelian and ukasiewicz Logics.	TABLEAUX	2002	DBLP DOI BibTeX RDF
1	Viorica Sofronie-Stokkermans	On Uniform Word Problems Involving Bridging Operators on Distributive Lattices.	TABLEAUX	2002	DBLP DOI BibTeX RDF
1	Claus-Peter Wirth	A New Indefinite Semantics for Hilbert's Epsilon.	TABLEAUX	2002	DBLP DOI BibTeX RDF
1	Gernot Stenz	DCTP 1.2 - System Abstract.	TABLEAUX	2002	DBLP DOI BibTeX RDF
1	Martin Giese	A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition.	TABLEAUX	2002	DBLP DOI BibTeX RDF
1	L. Habert, J.-M. Notin, Didier Galmiche	LINK: A Proof Environment Based on Proof Nets.	TABLEAUX	2002	DBLP DOI BibTeX RDF
1	Calogero G. Zarba	A Tableau Calculus for Combining Non-disjoint Theories.	TABLEAUX	2002	DBLP DOI BibTeX RDF
1	Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran	Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks.	TABLEAUX	2002	DBLP DOI BibTeX RDF
1	Marta Cialdea Mayer, Carla Limongelli	Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge.	TABLEAUX	2002	DBLP DOI BibTeX RDF
1	Uwe Petermann	A Confluent Theory Connection Calculus.	TABLEAUX	2002	DBLP DOI BibTeX RDF
1	Patrick Blackburn, Maarten Marx	Tableaux for Quantified Hybrid Logic.	TABLEAUX	2002	DBLP DOI BibTeX RDF
1	Uwe Egly, Christian G. Fermüller (eds.)	Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30 - August 1, 2002, Proceedings	TABLEAUX	2002	DBLP DOI BibTeX RDF
1	Dan E. Willard	Some New Exceptions for the Semantic Tableaux Version of the Second Incompleteness Theorem.	TABLEAUX	2002	DBLP DOI BibTeX RDF
1	Dale Miller 0001, Elaine Pimentel	Using Linear Logic to Reason about Sequent Systems.	TABLEAUX	2002	DBLP DOI BibTeX RDF
1	Matthias Baaz	Proof Analysis by Resolution.	TABLEAUX	2002	DBLP DOI BibTeX RDF
1	Reinhold Letz	Lemma and Model Caching in Decision Procedures for Quantified Boolean Formulas.	TABLEAUX	2002	DBLP DOI BibTeX RDF
1	Matthias Baaz, Agata Ciabattoni	A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic.	TABLEAUX	2002	DBLP DOI BibTeX RDF
1	Stephan Schmitt	A Tableau-Like Representation Framework for Efficient Proof Reconstruction.	TABLEAUX	2000	DBLP DOI BibTeX RDF
1	Alberto Artosi, Guido Governatori, Antonino Rotolo	A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations.	TABLEAUX	2000	DBLP DOI BibTeX RDF
1	Marta Cialdea Mayer, Serenella Cerrito	Variants of First-Order Modal Logics.	TABLEAUX	2000	DBLP DOI BibTeX RDF
1	Joachim Draeger	Redundancy-Free Lemmatization in the Automated Model-Elimination Theorem Prover AI-SETHEO.	TABLEAUX	2000	DBLP DOI BibTeX RDF

Publications at "TABLEAUX"( http://dblp.L3S.de/Venues/TABLEAUX )