Search results for "Tableau"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Shuolin Li, Jordi Coll, Djamal Habet, Chu Min Li, Felip Manyà	A Tableau Calculus for Signed Maximum Satisfiability.	ISMVL	2023	DBLP DOI BibTeX RDF
17	Willem Conradie, Riccardo Monego, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan	A Sound and Complete Tableau System for Fuzzy Halpern and Shoham's Interval Temporal Logic.	TIME	2023	DBLP DOI BibTeX RDF
17	Guido Fiorino	A non-clausal tableau calculus for MinSat.	Inf. Process. Lett.	2022	DBLP DOI BibTeX RDF
17	Yuki Nishimura	Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics.	CoRR	2022	DBLP DOI BibTeX RDF
17	Nico Roos	A Semantic Tableau Method for Argument Construction.	CoRR	2022	DBLP DOI BibTeX RDF
17	Montserrat Hermo, Paqui Lucio, César Sánchez 0001	A Tableau Method for the Realizability and Synthesis of Reactive Safety Specifications.	CoRR	2022	DBLP DOI BibTeX RDF
17	Davi Romero de Vasconcelos	ANITA: Analytic Tableau Proof Assistant.	ThEdu@FLoC	2022	DBLP DOI BibTeX RDF
17	Samuel Huang 0001, Rance Cleaveland	A tableau construction for finite linear-time temporal logic.	J. Log. Algebraic Methods Program.	2022	DBLP DOI BibTeX RDF
17	Guido Fiorino	New Tableau Characterizations for Non-clausal MaxSAT Problem.	Log. J. IGPL	2022	DBLP DOI BibTeX RDF
17	Shoulin Li, Jordi Coll, Djamal Habet, Chu-Min Li, Felip Manyà	A Tableau Calculus for MaxSAT Based on Resolution.	CCIA	2022	DBLP DOI BibTeX RDF
17	Michal Sochanski, Dorota Leszczynska-Jasion, Szymon Chlebowski, Agata Tomczyk, Marcin Jukiewicz	Synthetic Tableaux: Minimal Tableau Search Heuristics.	IJCAR	2022	DBLP DOI BibTeX RDF
17	Julie Cailler, Johann Rosain, David Delahaye, Simon Robillard, Hinde-Lilia Bouziane	Goéland: A Concurrent Tableau-Based Theorem Prover (System Description).	IJCAR	2022	DBLP DOI BibTeX RDF
17	Ayahito Saji, Yoshihide Kato, Shigeki Matsubara	A Model-Theoretic Formalization of Natural Language Inference Using Neural Network and Tableau Method.	PACLIC	2022	DBLP BibTeX RDF
17	Qiushi Bai, Sadeem Alsudais, Chen Li 0001	Demo of VisBooster: Accelerating Tableau Live Mode Queries Up to 100 Times Faster.	EDBT/ICDT Workshops	2022	DBLP BibTeX RDF
17	Yuhao Yao, Haoran Zhang 0002, Jinyu Chen, Wenjing Li, Mariko Shibasaki, Ryosuke Shibasaki, Xuan Song 0001	Mobsimilarity: Vector Graph Optimization for Mobility Tableau Comparison.	CoRR	2021	DBLP BibTeX RDF
17	Joanna Golinska-Pilarek, Taneli Huuskonen, Michal Zawidzki	Tableau-based decision procedure for non-Fregean logic of sentential identity.	CoRR	2021	DBLP BibTeX RDF
17	Riccardo Zese, Giuseppe Cota	Optimizing a tableau reasoner and its implementation in Prolog.	J. Web Semant.	2021	DBLP DOI BibTeX RDF
17	Tin Perkov, Luka Mikec	Tableau-based translation from first-order logic to modal logic.	Reports Math. Log.	2021	DBLP BibTeX RDF
17	Dan E. Willard	About the characterization of a fine line that separates generalizations and boundary-case exceptions for the Second Incompleteness Theorem under semantic tableau deduction.	J. Log. Comput.	2021	DBLP DOI BibTeX RDF
17	Yotaro Nakayama, Seiki Akama, Tetsuya Murai	Many-valued tableau calculi for decision logic based on approximation regions in VPRS.	Int. J. Reason. based Intell. Syst.	2021	DBLP DOI BibTeX RDF
17	Luca Geatti, Nicola Gigante, Angelo Montanari, Mark Reynolds 0001	One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past.	Inf. Comput.	2021	DBLP DOI BibTeX RDF
17	Concetta A. DePaolo, Aimee Jacobs	Teaching Case: Analyzing Disney World Wait Time Data: A Lesson in Visualization Using Tableau.	J. Inf. Syst. Educ.	2021	DBLP BibTeX RDF
17	Joanna Golinska-Pilarek, Taneli Huuskonen, Michal Zawidzki	Tableau-based Decision Procedure for Non-Fregean Logic of Sentential Identity.	CADE	2021	DBLP DOI BibTeX RDF
17	Piet De Vaere, Claude Hähni, Franco Monti, Adrian Perrig	Tableau: Future-Proof Zoning for OT Networks.	CRITIS	2021	DBLP DOI BibTeX RDF
17	Anasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak	A One-Pass Tree-Shaped Tableau for Defeasible LTL.	TIME	2021	DBLP DOI BibTeX RDF
17	Yanjun Li	Tableau-Based Decision Procedure for Logic of Knowing-How via Simple Plans.	CLAR	2021	DBLP DOI BibTeX RDF
17	Ayahito Saji, Daiki Takao, Yoshihide Kato, Shigeki Matsubara	Natural Language Inference using Neural Network and Tableau Method.	PACLIC	2021	DBLP BibTeX RDF
17	Oluwole Soyinka, Alain J. F. Chiaradia	Visual Analytics of Urban Informality and Infrastructure Planning with Tableau for Sustainable Urban Design Research Strategies in Lagos Metropolis.	AHFE (18)	2021	DBLP DOI BibTeX RDF
17	Alexander Bolotov, Montserrat Hermo, Paqui Lucio	Branching-time logic ECTL# and its tree-style one-pass tableau: Extending fairness expressibility of ECTL+.	Theor. Comput. Sci.	2020	DBLP DOI BibTeX RDF
17	D. A. Yanovich	Computation of Involutive and Gröbner Bases Using the Tableau Representation of Polynomials.	Program. Comput. Softw.	2020	DBLP DOI BibTeX RDF
17	Asta Halkjær From	Synthetic Completeness for a Terminating Seligman-Style Tableau System.	TYPES	2020	DBLP DOI BibTeX RDF
17	Vlad-Valentin Fireteanu	Integrating Tableau with Internet of Things Acquiring Projects.	ECAI	2020	DBLP DOI BibTeX RDF
17	Bishakha Upadhyaya, Monica M. McGill	Dynamic Data Visualization for CSEdResearch.org using Tableau and MySQL.	SIGCSE	2020	DBLP DOI BibTeX RDF
17	Asta Halkjær From, Patrick Blackburn, Jørgen Villadsen	Formalizing a Seligman-Style Tableau System for Hybrid Logic - (Short Paper).	IJCAR (1)	2020	DBLP DOI BibTeX RDF
17	Nico Roos	A Semantic Tableau Method for Argument Construction.	BNAIC/BENELEARN (Selected Papers)	2020	DBLP DOI BibTeX RDF
17	Bartosz Piotrowski, Josef Urban	Guiding Inferences in Connection Tableau by Recurrent Neural Networks.	CICM	2020	DBLP DOI BibTeX RDF
17	Maria Gillespie 0001, Jake Levinson	Axioms for Shifted Tableau Crystals.	Electron. J. Comb.	2019	DBLP DOI BibTeX RDF
17	Omar I. Al-Bataineh, David S. Rosenblum, Mark Reynolds 0001	Efficient Decentralized LTL Monitoring Framework Using Tableau Technique.	ACM Trans. Embed. Comput. Syst.	2019	DBLP DOI BibTeX RDF
17	Minghui Ma	Labelled Tableau Systems for Some Subintuitionistic Logics.	Logica Universalis	2019	DBLP DOI BibTeX RDF
17	Samuel Huang 0001, Rance Cleaveland	A Tableau Construction for Finite Linear-Time Temporal Logic.	CoRR	2019	DBLP BibTeX RDF
17	Asta Halkjær From	Formalizing a Seligman-Style Tableau System for Hybrid Logic.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
17	Leilani Battle, Jeffrey Heer	Characterizing Exploratory Visual Analysis: A Literature Review and Evaluation of Analytic Provenance in Tableau.	Comput. Graph. Forum	2019	DBLP DOI BibTeX RDF
17	Adrian Vogelsgesang, Tobias Mühlbauer, Viktor Leis, Thomas Neumann 0001, Alfons Kemper	Domain Query Optimization: Adapting the General-Purpose Database System Hyper for Tableau Workloads.	BTW	2019	DBLP DOI BibTeX RDF
17	Luca Geatti, Nicola Gigante, Angelo Montanari	A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL.	TABLEAUX	2019	DBLP DOI BibTeX RDF
17	Chu Min Li, Felip Manyà, Joan Ramon Soler	A Tableau Calculus for Non-clausal Maximum Satisfiability.	TABLEAUX	2019	DBLP DOI BibTeX RDF
17	Priti Bhardwaj, Niyati Baliyan	Hadoop based Analysis and Visualization of Diabetes Data through Tableau.	IC3	2019	DBLP DOI BibTeX RDF
17	Joanna Golinska-Pilarek, Michal Zawidzki	Tableau-based Decision Procedure for the Logic SCI.	OVERLAY@AI*IA	2019	DBLP BibTeX RDF
17	Olga Strachna, Alexander J. Tanchoco, Stuart M. Gardos, Wazim Narain, Peter D. Stetson	Accelerating Self - Service Analytics and Rapid Data Exploration using a Custom Tableau Web Data Connector (WDC) to REDCap.	AMIA	2019	DBLP BibTeX RDF
17	Alexander J. Tanchoco, Olga Strachna, Stuart M. Gardos, Jonathan M. Wills, Joseph Lengfellner, Andrew Zarski, Ilya Sher, Mike Piscitelli, Peter D. Stetson	Development, Design and Security Features of a REDCap -Tableau Web Data Connector (WDC) to Facilitate Operational and Clinical Self- Service Analytics.	AMIA	2019	DBLP BibTeX RDF
17	Guillaume Bury	Integrating rewriting, tableau and superposition into SMT. (Intégrer la réecriture, la méthode des tableaux et la superposition dans les solveurs SMT).		2019	RDF
17	Sun Makosso-Kallyth	Analyse en composante principales d'un tableau de distributions macroéconomiques.	Monde des Util. Anal. Données	2018	DBLP BibTeX RDF
17	Gennady V. Svetlov, Aleksey I. Baranchikov, Natalya N. Grinchenko, Nataliy S. Fokina	Using a Tableau Method for Checking the Database Logical Structure Correctness.	WiPiEC Journal	2018	DBLP BibTeX RDF
17	Robert A. Proctor, Matthew J. Willis	Convexity of tableau sets for type A Demazure characters (key polynomials), parabolic Catalan numbers.	Discret. Math. Theor. Comput. Sci.	2018	DBLP DOI BibTeX RDF
17	Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Giuseppe Cota, Evelina Lamma	Tableau reasoning for description logics and its extension to probabilities.	Ann. Math. Artif. Intell.	2018	DBLP DOI BibTeX RDF
17	Grigory K. Olkhovikov, Heinrich Wansing	An Axiomatic System and a Tableau Calculus for STIT Imagination Logic.	J. Philos. Log.	2018	DBLP DOI BibTeX RDF
17	Andrzej Pietruszczak, Tomasz Jarmuzek	Pure Modal Logic of Names and Tableau Systems.	Stud Logica	2018	DBLP DOI BibTeX RDF
17	Luca Geatti, Nicola Gigante, Angelo Montanari, Mark Reynolds 0001	One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past.	GandALF	2018	DBLP DOI BibTeX RDF
17	Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria	An optimized KE-tableau-based system for reasoning in the description logic \shdlssx.	CoRR	2018	DBLP BibTeX RDF
17	Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska	A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version).	CoRR	2018	DBLP BibTeX RDF
17	Omar I. Al-Bataineh	Efficient Decentralized LTL Monitoring Framework Using Tableau Approach.	CoRR	2018	DBLP BibTeX RDF
17	Razieh Mehri, Volker Haarslev, Hamidreza Chinaei	Optimizing Heuristics for Tableau-based OWL Reasoners.	CoRR	2018	DBLP BibTeX RDF
17	Anna Weigandt, Alexander Yong	The Prism tableau model for Schubert polynomials.	J. Comb. Theory, Ser. A	2018	DBLP DOI BibTeX RDF
17	Bo Sun, Benjamin Weidner, Simon Su	Using Tableau to Discover the Effect of Chemical Release at Wildlife Preserve.	VAST	2018	DBLP DOI BibTeX RDF
17	Gennady V. Svetlov, Aleksey I. Baranchikov, Natalya N. Grinchenko, Nataliy S. Fokina, Boris V. Kostrov	Using a Tableau Method for Checking the Database Logical Structure Correctness.	EWDTS	2018	DBLP DOI BibTeX RDF
17	Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth	Rule-Based Visualization of Tableau Calculus for Propositional Logic.	IV	2018	DBLP DOI BibTeX RDF
17	Maria del Pilar Pozos Parra, Laurent Perrussel, Jean-Marc Thévenin	On Enumerating Models for the Logic of Paradox Using Tableau.	SUM	2018	DBLP DOI BibTeX RDF
17	Yotaro Nakayama, Seiki Akama, Tetsuya Murai	Four-valued Tableau Calculi for Decision Logic of Rough Set.	KES	2018	DBLP DOI BibTeX RDF
17	Alexander Bolotov, Montserrat Hermo, Paqui Lucio	Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach.	TIME	2018	DBLP DOI BibTeX RDF
17	Junhua Yu	A Tableau System for Instantial Neighborhood Logic.	LFCS	2018	DBLP DOI BibTeX RDF
17	Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria	An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4, \!\times }$$.	RuleML+RR	2018	DBLP DOI BibTeX RDF
17	Peter Paulovics, Júlia Pukancová, Martin Homola	SIVA: An Educational Tool for the Tableau Reasoning Algorithm.	Description Logics	2018	DBLP BibTeX RDF
17	Manohar Vanga, Arpan Gujarati, Björn B. Brandenburg	Tableau: a high-throughput and predictable VM scheduler for high-density workloads.	EuroSys	2018	DBLP DOI BibTeX RDF
17	Sanja Pavlovic, Hans Tompits	A Tableau Calculus for a Multi-modal Logic of Dishonesty.	AI*IA	2018	DBLP DOI BibTeX RDF
17	Changpeng Shao, Hongbo Li 0012	Fast Straightening Algorithm for Bracket Polynomials Based on Tableau Manipulations.	ISSAC	2018	DBLP DOI BibTeX RDF
17	Mauro Ferrari 0002, Camillo Fiorentini, Guido Fiorino	JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi.	Fundam. Informaticae	2017	DBLP DOI BibTeX RDF
17	Pablo F. Castro	Tableau Systems for Deontic Action Logics Based on Finite Boolean Algebras, and Their Complexity.	Stud Logica	2017	DBLP DOI BibTeX RDF
17	Prashanth Busireddygari, Subhash C. Kak	Binary Prime Tableau Sequences.	CoRR	2017	DBLP BibTeX RDF
17	John Christopher McCabe-Dansted, Mark Reynolds 0001	A Parallel Linear Temporal Logic Tableau.	GandALF	2017	DBLP DOI BibTeX RDF
17	Thinh Dong, Chan Le Duc, Myriam Lamolle	Tableau-based revision for expressive description logics with individuals.	J. Web Semant.	2017	DBLP DOI BibTeX RDF
17	Lucas Kocia, Yifei Huang, Peter J. Love	Discrete Wigner Function Derivation of the Aaronson-Gottesman Tableau Algorithm.	Entropy	2017	DBLP DOI BibTeX RDF
17	Patrick Blackburn, Thomas Bolander, Torben Braüner, Klaus Frovin Jørgensen	Completeness and termination for a Seligman-style tableau system.	J. Log. Comput.	2017	DBLP DOI BibTeX RDF
17	Nicola Gigante, Angelo Montanari, Mark Reynolds 0001	A One-Pass Tree-Shaped Tableau for LTL+Past.	LPAR	2017	DBLP DOI BibTeX RDF
17	Prashanth Busireddygari, Subhash C. Kak	Pseudorandom tableau sequences.	ACSSC	2017	DBLP DOI BibTeX RDF
17	Daniel H. Fylstra	Simulation models in Excel, Tableau, power BI and mobile apps with analytic solver® software.	WSC	2017	DBLP DOI BibTeX RDF
17	Zhixian Lei, Xuehan Ye, Yongcai Wang, Deying Li 0001, Jia Xu 0004	Efficient Online Model Adaptation by Incremental Simplex Tableau.	AAAI	2017	DBLP DOI BibTeX RDF
17	Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan	Implementation of a Tableau-based Satisfiability Checker for HS3.	ICTCS/CILC	2017	DBLP BibTeX RDF
17	Michael Färber 0002, Cezary Kaliszyk, Josef Urban	Monte Carlo Tableau Proof Search.	CADE	2017	DBLP DOI BibTeX RDF
17	Dmitry Tishkovsky, Renate A. Schmidt	Rule Refinement for Semantic Tableau Calculi.	TABLEAUX	2017	DBLP DOI BibTeX RDF
17	Byungkwon Park, Christopher L. DeMarco	Sparse tableau relaxation for the optimal power flow problem.	Allerton	2017	DBLP DOI BibTeX RDF
17	Júlia Pukancová, Martin Homola	Tableau-Based ABox Abduction for the ALCHO Description Logic.	Description Logics	2017	DBLP BibTeX RDF
17	Sophie Burrill, Julien Courtiel, Éric Fusy, Stephen Melczer, Marni Mishna	Tableau sequences, open diagrams, and Baxter families.	Eur. J. Comb.	2016	DBLP DOI BibTeX RDF
17	Tomer Libal, Marco Volpe 0001	Certification of Prefixed Tableau Proofs for Modal Logic.	GandALF	2016	DBLP DOI BibTeX RDF
17	Mark Reynolds 0001	A traditional tree-style tableau for LTL.	CoRR	2016	DBLP BibTeX RDF
17	Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Ángel Mora 0001	Tableau reductions: Towards an optimal decision procedure for the modal necessity.	J. Appl. Log.	2016	DBLP DOI BibTeX RDF
17	Linh Anh Nguyen	Design of the Tableau Reasoner TGC2 for Description Logics.	Int. J. Softw. Eng. Knowl. Eng.	2016	DBLP DOI BibTeX RDF
17	Maroua Gmati, Manuel Atencia, Jérôme Euzenat	Tableau extensions for reasoning with link keys.	OM@ISWC	2016	DBLP BibTeX RDF
17	Chu Min Li, Felip Manyà, Joan Ramon Soler	A Clause Tableau Calculus for MinSAT.	CCIA	2016	DBLP DOI BibTeX RDF
17	Yifan Yang, Ricardo de Aldama, Jamal Atif, Isabelle Bloch	Efficient Semantic Tableau Generation for Abduction in Propositional Logic.	ECAI	2016	DBLP DOI BibTeX RDF
17	Diana Costa 0001, Manuel A. Martins 0001	A Tableau System for Quasi-Hybrid Logic.	IJCAR	2016	DBLP DOI BibTeX RDF
17	Hong Fang, Xiaowang Zhang	A Tableau-Based Forgetting in ALCQ.	CCKS	2016	DBLP DOI BibTeX RDF