Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Shuolin Li, Jordi Coll, Djamal Habet, Chu Min Li, Felip Manyà |
A Tableau Calculus for Signed Maximum Satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 53rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2023, Matsue, Japan, May 22-24, 2023, pp. 170-175, 2023, IEEE, 978-1-6654-6416-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 30th International Symposium on Temporal Representation and Reasoning, TIME 2023, September 25-26, 2023, NCSR Demokritos, Athens, Greece, pp. 9:1-9:14, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-298-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Guido Fiorino |
A non-clausal tableau calculus for MinSat. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 173, pp. 106167, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Yuki Nishimura |
Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.09630, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Nico Roos |
A Semantic Tableau Method for Argument Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.04759, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.01492, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Davi Romero de Vasconcelos |
ANITA: Analytic Tableau Proof Assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ThEdu@FLoC ![In: Proceedings 11th International Workshop on Theorem Proving Components for Educational Software, ThEdu@FLoC 2022, Haifa, Israel, 11 August 2022., pp. 38-53, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Samuel Huang 0001, Rance Cleaveland |
A tableau construction for finite linear-time temporal logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 125, pp. 100743, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Guido Fiorino |
New Tableau Characterizations for Non-clausal MaxSAT Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 30(3), pp. 422-436, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCIA ![In: Artificial Intelligence Research and Development - Proceedings of the 24th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2022, Sitges, Spain, 19-21 October 2022., pp. 35-44, 2022, IOS Press, 978-1-64368-326-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Michal Sochanski, Dorota Leszczynska-Jasion, Szymon Chlebowski, Agata Tomczyk, Marcin Jukiewicz |
Synthetic Tableaux: Minimal Tableau Search Heuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings, pp. 407-425, 2022, Springer, 978-3-031-10768-9. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings, pp. 359-368, 2022, Springer, 978-3-031-10768-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACLIC ![In: Proceedings of the 36th Pacific Asia Conference on Language, Information and Computation, PACLIC 2022, Manila, Philippines, October 20-22, 2022, pp. 430-437, 2022, De La Salle University. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT/ICDT Workshops ![In: Proceedings of the Workshops of the EDBT/ICDT 2022 Joint Conference, Edinburgh, UK, March 29, 2022., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.13139, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
17 | Joanna Golinska-Pilarek, Taneli Huuskonen, Michal Zawidzki |
Tableau-based decision procedure for non-Fregean logic of sentential identity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.14697, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
17 | Riccardo Zese, Giuseppe Cota |
Optimizing a tableau reasoner and its implementation in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Web Semant. ![In: J. Web Semant. 71, pp. 100677, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Tin Perkov, Luka Mikec |
Tableau-based translation from first-order logic to modal logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reports Math. Log. ![In: Reports Math. Log. 56, pp. 57-74, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 31(1), pp. 375-392, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Reason. based Intell. Syst. ![In: Int. J. Reason. based Intell. Syst. 13(4), pp. 235-242, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 278, pp. 104599, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Syst. Educ. ![In: J. Inf. Syst. Educ. 32(4), pp. 249-252, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
17 | Joanna Golinska-Pilarek, Taneli Huuskonen, Michal Zawidzki |
Tableau-based Decision Procedure for Non-Fregean Logic of Sentential Identity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 41-57, 2021, Springer, 978-3-030-79875-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Piet De Vaere, Claude Hähni, Franco Monti, Adrian Perrig |
Tableau: Future-Proof Zoning for OT Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRITIS ![In: Critical Information Infrastructures Security - 16th International Conference, CRITIS 2021, Lausanne, Switzerland, September 27-29, 2021, Revised Selected Papers, pp. 207-227, 2021, Springer, 978-3-030-93199-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 28th International Symposium on Temporal Representation and Reasoning, TIME 2021, September 27-29, 2021, Klagenfurt, Austria., pp. 16:1-16:18, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-206-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Yanjun Li |
Tableau-Based Decision Procedure for Logic of Knowing-How via Simple Plans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 266-283, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Ayahito Saji, Daiki Takao, Yoshihide Kato, Shigeki Matsubara |
Natural Language Inference using Neural Network and Tableau Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACLIC ![In: Proceedings of the 35th Pacific Asia Conference on Language, Information and Computation, PACLIC 2021, Shanghai International Studies University, Shanghai, China, 5-7 November 2021, pp. 402-410, 2021, Association for Computational Lingustics. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AHFE (18) ![In: Advances in Creativity, Innovation, Entrepreneurship and Communication of Design - Proceedings of the AHFE 2021 Virtual Conferences on Creativity, Innovation and Entrepreneurship, and Human Factors in Communication of Design, July 25-29, 2021, USA, pp. 596-607, 2021, Springer, 978-3-030-80093-2. The full citation details ...](Pics/full.jpeg) |
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+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 813, pp. 428-451, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | D. A. Yanovich |
Computation of Involutive and Gröbner Bases Using the Tableau Representation of Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program. Comput. Softw. ![In: Program. Comput. Softw. 46(2), pp. 162-166, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Asta Halkjær From |
Synthetic Completeness for a Terminating Seligman-Style Tableau System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: 26th International Conference on Types for Proofs and Programs, TYPES 2020, March 2-5, 2020, University of Turin, Italy., pp. 5:1-5:17, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-182-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Vlad-Valentin Fireteanu |
Integrating Tableau with Internet of Things Acquiring Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: 12th International Conference on Electronics, Computers and Artificial Intelligence, ECAI 2020, Bucharest, Romania, June 25-27, 2020, pp. 1-5, 2020, IEEE, 978-1-7281-6843-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Bishakha Upadhyaya, Monica M. McGill |
Dynamic Data Visualization for CSEdResearch.org using Tableau and MySQL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 51st ACM Technical Symposium on Computer Science Education, SIGCSE 2020, Portland, OR, USA, March 11-14, 2020, pp. 1425, 2020, ACM, 978-1-4503-6793-6. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR (1) ![In: Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I, pp. 474-481, 2020, Springer, 978-3-030-51073-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Nico Roos |
A Semantic Tableau Method for Argument Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BNAIC/BENELEARN (Selected Papers) ![In: Artificial Intelligence and Machine Learning - 32nd Benelux Conference, BNAIC/Benelearn 2020, Leiden, The Netherlands, November 19-20, 2020, Revised Selected Papers, pp. 122-140, 2020, Springer, 978-3-030-76639-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Bartosz Piotrowski, Josef Urban |
Guiding Inferences in Connection Tableau by Recurrent Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings, pp. 309-314, 2020, Springer, 978-3-030-53517-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Maria Gillespie 0001, Jake Levinson |
Axioms for Shifted Tableau Crystals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 26(2), pp. 2, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Omar I. Al-Bataineh, David S. Rosenblum, Mark Reynolds 0001 |
Efficient Decentralized LTL Monitoring Framework Using Tableau Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 18(5s), pp. 87:1-87:21, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Minghui Ma |
Labelled Tableau Systems for Some Subintuitionistic Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logica Universalis ![In: Logica Universalis 13(2), pp. 273-288, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Samuel Huang 0001, Rance Cleaveland |
A Tableau Construction for Finite Linear-Time Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1910.09339, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
17 | Asta Halkjær From |
Formalizing a Seligman-Style Tableau System for Hybrid Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2019, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
17 | Leilani Battle, Jeffrey Heer |
Characterizing Exploratory Visual Analysis: A Literature Review and Evaluation of Analytic Provenance in Tableau. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Graph. Forum ![In: Comput. Graph. Forum 38(3), pp. 145-159, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BTW ![In: Datenbanksysteme für Business, Technologie und Web (BTW 2019), 18. Fachtagung des GI-Fachbereichs „Datenbanken und Informationssysteme` (DBIS), 4.-8. März 2019, Rostock, Germany, Proceedings, pp. 313-333, 2019, Gesellschaft für Informatik, Bonn, 978-3-88579-683-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings, pp. 3-20, 2019, Springer, 978-3-030-29025-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Chu Min Li, Felip Manyà, Joan Ramon Soler |
A Tableau Calculus for Non-clausal Maximum Satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings, pp. 58-73, 2019, Springer, 978-3-030-29025-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Priti Bhardwaj, Niyati Baliyan |
Hadoop based Analysis and Visualization of Diabetes Data through Tableau. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IC3 ![In: 2019 Twelfth International Conference on Contemporary Computing, IC3 2019, Noida, India, August 8-10, 2019, pp. 1-5, 2019, IEEE, 978-1-7281-3591-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Joanna Golinska-Pilarek, Michal Zawidzki |
Tableau-based Decision Procedure for the Logic SCI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, co-located with the 18th International Conference of the Italian Association for Artificial Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019., pp. 23-28, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2019, American Medical Informatics Association Annual Symposium, Washington, DC, USA, November 16-20, 2019, 2019, AMIA. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2019, American Medical Informatics Association Annual Symposium, Washington, DC, USA, November 16-20, 2019, 2019, AMIA. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
17 | Sun Makosso-Kallyth |
Analyse en composante principales d'un tableau de distributions macroéconomiques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Monde des Util. Anal. Données ![In: Monde des Util. Anal. Données 45, pp. 55-74, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WiPiEC Journal ![In: WiPiEC Journal 4(1), 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. Theor. Comput. Sci. ![In: Discret. Math. Theor. Comput. Sci. 20(2), 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 82(1-3), pp. 101-130, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Grigory K. Olkhovikov, Heinrich Wansing |
An Axiomatic System and a Tableau Calculus for STIT Imagination Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 47(2), pp. 259-279, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Andrzej Pietruszczak, Tomasz Jarmuzek |
Pure Modal Logic of Names and Tableau Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 106(6), pp. 1261-1289, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018., pp. 176-190, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1804.11222, 2018. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1802.07508, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Omar I. Al-Bataineh |
Efficient Decentralized LTL Monitoring Framework Using Tableau Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1803.02051, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Razieh Mehri, Volker Haarslev, Hamidreza Chinaei |
Optimizing Heuristics for Tableau-based OWL Reasoners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1810.06617, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Anna Weigandt, Alexander Yong |
The Prism tableau model for Schubert polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 154, pp. 551-582, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Bo Sun, Benjamin Weidner, Simon Su |
Using Tableau to Discover the Effect of Chemical Release at Wildlife Preserve. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VAST ![In: 13th IEEE Conference on Visual Analytics Science and Technology, IEEE VAST 2018, Berlin, Germany, October 21-26, 2018, pp. 121-122, 2018, IEEE, 978-1-5386-6861-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWDTS ![In: 2018 IEEE East-West Design & Test Symposium, EWDTS 2018, Kazan, Russia, September 14-17, 2018, pp. 1-5, 2018, IEEE, 978-1-5386-5710-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth |
Rule-Based Visualization of Tableau Calculus for Propositional Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: 22nd International Conference Information Visualisation, IV 2018, Fisciano, Italy, July 10-13, 2018, pp. 368-372, 2018, IEEE Computer Society, 978-1-5386-7202-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SUM ![In: Scalable Uncertainty Management - 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings, pp. 228-242, 2018, Springer, 978-3-030-00460-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Yotaro Nakayama, Seiki Akama, Tetsuya Murai |
Four-valued Tableau Calculi for Decision Logic of Rough Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 22nd International Conference KES-2018, Belgrade, Serbia, 3-5 September 2018., pp. 383-392, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Alexander Bolotov, Montserrat Hermo, Paqui Lucio |
Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 25th International Symposium on Temporal Representation and Reasoning, TIME 2018, Warsaw, Poland, October 15-17, 2018, pp. 5:1-5:22, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-089-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Junhua Yu |
A Tableau System for Instantial Neighborhood Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science - International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings, pp. 337-353, 2018, Springer, 978-3-319-72055-5. The full citation details ...](Pics/full.jpeg) |
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 }$$. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML+RR ![In: Rules and Reasoning - Second International Joint Conference, RuleML+RR 2018, Luxembourg, September 18-21, 2018, Proceedings, pp. 239-247, 2018, Springer, 978-3-319-99905-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Peter Paulovics, Júlia Pukancová, Martin Homola |
SIVA: An Educational Tool for the Tableau Reasoning Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: Proceedings of the Thirteenth EuroSys Conference, EuroSys 2018, Porto, Portugal, April 23-26, 2018, pp. 28:1-28:16, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Sanja Pavlovic, Hans Tompits |
A Tableau Calculus for a Multi-modal Logic of Dishonesty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AI*IA 2018 - Advances in Artificial Intelligence - XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20-23, 2018, Proceedings, pp. 238-251, 2018, Springer, 978-3-030-03839-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Changpeng Shao, Hongbo Li 0012 |
Fast Straightening Algorithm for Bracket Polynomials Based on Tableau Manipulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2018, New York, NY, USA, July 16-19, 2018, pp. 367-374, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Mauro Ferrari 0002, Camillo Fiorentini, Guido Fiorino |
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 150(1), pp. 119-142, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Pablo F. Castro |
Tableau Systems for Deontic Action Logics Based on Finite Boolean Algebras, and Their Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 105(2), pp. 229-251, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Prashanth Busireddygari, Subhash C. Kak |
Binary Prime Tableau Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1704.08718, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
17 | John Christopher McCabe-Dansted, Mark Reynolds 0001 |
A Parallel Linear Temporal Logic Tableau. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September 2017., pp. 166-179, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Thinh Dong, Chan Le Duc, Myriam Lamolle |
Tableau-based revision for expressive description logics with individuals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Web Semant. ![In: J. Web Semant. 45, pp. 63-79, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Lucas Kocia, Yifei Huang, Peter J. Love |
Discrete Wigner Function Derivation of the Aaronson-Gottesman Tableau Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 19(7), pp. 353, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 27(1), pp. 81-107, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Nicola Gigante, Angelo Montanari, Mark Reynolds 0001 |
A One-Pass Tree-Shaped Tableau for LTL+Past. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017, pp. 456-473, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Prashanth Busireddygari, Subhash C. Kak |
Pseudorandom tableau sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSSC ![In: 51st Asilomar Conference on Signals, Systems, and Computers, ACSSC 2017, Pacific Grove, CA, USA, October 29 - November 1, 2017, pp. 1733-1736, 2017, IEEE, 978-1-5386-1823-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Daniel H. Fylstra |
Simulation models in Excel, Tableau, power BI and mobile apps with analytic solver® software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: 2017 Winter Simulation Conference, WSC 2017, Las Vegas, NV, USA, December 3-6, 2017, pp. 4422, 2017, IEEE, 978-1-5386-3428-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA., pp. 2161-2167, 2017, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan |
Implementation of a Tableau-based Satisfiability Checker for HS3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS/CILC ![In: Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), Naples, Italy, September 26-28, 2017., pp. 326-340, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
17 | Michael Färber 0002, Cezary Kaliszyk, Josef Urban |
Monte Carlo Tableau Proof Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings, pp. 563-579, 2017, Springer, 978-3-319-63045-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Dmitry Tishkovsky, Renate A. Schmidt |
Rule Refinement for Semantic Tableau Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods - 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings, pp. 228-244, 2017, Springer, 978-3-319-66901-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Byungkwon Park, Christopher L. DeMarco |
Sparse tableau relaxation for the optimal power flow problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Allerton ![In: 55th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2017, Monticello, IL, USA, October 3-6, 2017, pp. 315-323, 2017, IEEE, 978-1-5386-3266-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Júlia Pukancová, Martin Homola |
Tableau-Based ABox Abduction for the ALCHO Description Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
17 | Sophie Burrill, Julien Courtiel, Éric Fusy, Stephen Melczer, Marni Mishna |
Tableau sequences, open diagrams, and Baxter families. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 58, pp. 144-165, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Tomer Libal, Marco Volpe 0001 |
Certification of Prefixed Tableau Proofs for Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016., pp. 257-271, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Mark Reynolds 0001 |
A traditional tree-style tableau for LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1604.03962, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Log. ![In: J. Appl. Log. 17, pp. 14-24, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Linh Anh Nguyen |
Design of the Tableau Reasoner TGC2 for Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 26(8), pp. 1315-, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Maroua Gmati, Manuel Atencia, Jérôme Euzenat |
Tableau extensions for reasoning with link keys. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OM@ISWC ![In: Proceedings of the 11th International Workshop on Ontology Matching co-located with the 15th International Semantic Web Conference (ISWC 2016), Kobe, Japan, October 18, 2016., pp. 37-48, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Chu Min Li, Felip Manyà, Joan Ramon Soler |
A Clause Tableau Calculus for MinSAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCIA ![In: Artificial Intelligence Research and Development - Proceedings of the 19th International Conference of the Catalan Association for Artificial Intelligence, Barcelona, Catalonia, Spain, October 19-21, 2016, pp. 88-97, 2016, IOS Press, 978-1-61499-695-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Yifan Yang, Ricardo de Aldama, Jamal Atif, Isabelle Bloch |
Efficient Semantic Tableau Generation for Abduction in Propositional Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016), pp. 1756-1757, 2016, IOS Press, 978-1-61499-671-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Diana Costa 0001, Manuel A. Martins 0001 |
A Tableau System for Quasi-Hybrid Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings, pp. 435-451, 2016, Springer, 978-3-319-40228-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Hong Fang, Xiaowang Zhang |
A Tableau-Based Forgetting in ALCQ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCKS ![In: Knowledge Graph and Semantic Computing: Semantic, Knowledge, and Linked Big Data - First China Conference, CCKS 2016, Beijing, China, September 19-22, 2016, Revised Selected Papers, pp. 110-116, 2016, Springer, 978-981-10-3167-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|