36 papers:
SIGMOD-2015-TerleckiXSKW #on the- On Improving User Response Times in Tableau (PT, FX, MS, VK, RMGW), pp. 1695–1706.
- SIGMOD-2014-WesleyT
- Leveraging compression in the tableau data engine (RMGW, PT), pp. 563–573.
ICGT-2014-LambersO #graph #reasoning- Tableau-Based Reasoning for Graph Properties (LL, FO), pp. 17–32.
IJCAR-2014-GoreOT #calculus #implementation #using- Implementing Tableau Calculi Using BDDs: BDDTab System Description (RG, KO, JT), pp. 337–343.
- IJCAR-2014-SteigmillerGL #algorithm #logic
- Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures (AS, BG, TL), pp. 449–463.
- SIGMOD-2012-MortonBMMS #integration
- Dynamic workload driven data integration in tableau (KM, RB, JDM, RM, CS), pp. 807–816.
ICPR-2012-SilvaL #automation #education #framework #recognition- Automatic content recognition of teaching boards in the Tableau platform (GdFPeS, RDL), pp. 645–648.
- SIGMOD-2011-WesleyET #visualisation
- An analytic data engine for visualization in tableau (RMGW, ME, PT), pp. 1185–1194.
TACAS-2010-GoreKP #algebra #algorithm #logic- Optimal Tableau Algorithms for Coalgebraic Logics (RG, CK, DP), pp. 114–128.
- ICPR-2010-OliveiraL #education
- Generalizing Tableau to Any Color of Teaching Boards (DMdO, RDL), pp. 2411–2414.
CSL-2010-AlendaOST #calculus- Tableau Calculi for CSL over minspaces (RA, NO, CS, DT), pp. 52–66.
- IJCAR-2010-MayerC #hybrid #logic #proving
- Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic (MCM, SC), pp. 255–262.
FM-2009-Reynolds- A Tableau for CTL (MR), pp. 403–418.
CADE-2009-GoreW #on the fly #satisfiability- An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability (RG, FW), pp. 437–452.
- CADE-2009-NguyenS #calculus #logic
- A Tableau Calculus for Regular Grammar Logics with Converse (LAN, AS), pp. 421–436.
SEFM-2008-GorankoS #distributed #logic #multi- Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge (VG, DS), pp. 237–246.
- IJCAR-2008-SchmidtT #first-order #logic
- A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments (RAS, DT), pp. 194–209.
ICLP-2006-GebserS #calculus #programming #set- Tableau Calculi for Answer Set Programming (MG, TS), pp. 11–25.
- CSL-2004-AvelloneFFM #calculus #implementation #logic #performance
- A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation (AA, CF, GF, UM), pp. 488–502.
- IJCAR-2004-Bonichon #deduction #named
- TaMeD: A Tableau Method for Deduction Modulo (RB), pp. 445–459.
CAV-2003-Geilen #logic #on the fly #realtime- An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic (MG), pp. 394–406.
FoSSaCS-2002-Srba #commutative- Note on the Tableau Technique for Commutative Transition Systems (JS), pp. 387–401.
- CAV-2001-BhatCG #automaton #model checking #performance
- Efficient Model Checking Via Büchi Tableau Automata (GB, RC, AG), pp. 38–52.
- IJCAR-2001-CerroFGHLM #logic #proving
- Lotrec : The Generic Tableau Prover for Modal and Description Logics (LFdC, DF, OG, AH, DL, FM), pp. 453–458.
- CL-2000-JunttilaN #performance #satisfiability #towards
- Towards an Efficient Tableau Method for Boolean Circuit Satisfiability Checking (TAJ, IN), pp. 553–567.
- TACAS-1997-SchmittG #linear #logic
- A Tableau System for Linear-TIME Temporal Logic (PHS, JGL), pp. 130–144.
- CADE-1997-KettnerE
- The Tableau Browser SNARKS (MK, NE), pp. 408–411.
ICALP-1996-BradfieldEM #calculus #effectiveness #linear #μ-calculus- An Effective Tableau System for the Linear Time μ-Calculus (JCB, JE, AM), pp. 98–109.
- CADE-1996-BeckertHOS #proving #theorem proving
- The Tableau-based Theorem Prover 3TAP Version 4.0 (BB, RH, PO, MS), pp. 303–307.
SAS-1995-Schmidt-SchausPS #calculus #reduction #using- Abstract Reduction Using a Tableau Calculus (MSS, SEP, MS), pp. 348–365.
- CADE-1994-BeckertP #agile #named #proving #theorem proving
- leanTAP: Lean Tableau-Based Theorem Proving (Extended Abstract) (BB, JP), pp. 793–797.
- CADE-1992-BeckertGHK #logic #multi #proving #theorem proving
- The Tableau-Based Theorem Prover 3TAP for Multi-Valued Logics (BB, SG, RH, WK), pp. 758–760.
- CAV-1992-Mader
- Tableau Recycling (AM), pp. 330–342.
- CADE-1990-Schwind #decidability #logic #proving #set #theorem proving
- A Tableau-Based Theorem Prover for a Decidable Subset of Default Logic (CS), pp. 528–542.
- CSL-1990-Hahnle #logic #multi #performance #proving #towards
- Towards an Efficient Tableau Proof Procedure for Multiple-Valued Logics (RH), pp. 248–260.
LFP-1984-MalachiMW #named #programming language- TABLOG: The Deductive-Tableau Programming Language (YM, ZM, RJW), pp. 323–330.
