Search results for "Tableau"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Klaus Frovin Jørgensen, Patrick Blackburn, Thomas Bolander, Torben Braüner	Synthetic completeness proofs for Seligman-style tableau systems.	Advances in Modal Logic	2016	DBLP BibTeX RDF
17	Júlia Pukancová, Martin Homola	Tableau-Based ABox Abduction for Description Logics: Preliminary Report.	Description Logics	2016	DBLP BibTeX RDF
17	Matteo Bertello, Nicola Gigante, Angelo Montanari, Mark Reynolds 0001	Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau.	IJCAI	2016	DBLP BibTeX RDF
17	Chu Min Li, Felip Manyà, Joan Ramon Soler	A Clause Tableau Calculus for MaxSAT.	IJCAI	2016	DBLP BibTeX RDF
17	Andreas Steigmiller	Optimisation of tableau-based reasoning systems for expressive description logics.		2016	RDF
17	Eric Balci	Capital immatériel et économie virtuelle, normalisation ISO et pilotage par tableau de bord prospectif: une étude exploratoire dans le secteur du traitement de déchets. (Intangible capital and virtual economy, ISO standardization and control by Scorecard: an exploratory study in the waste treatment sector).		2016	RDF
17	Jonathan E. Beagley, Paul Drube	Combinatorics of Tableau Inversions.	Electron. J. Comb.	2015	DBLP DOI BibTeX RDF
17	Serenella Cerrito, Amélie David 0001, Valentin Goranko	Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL+.	ACM Trans. Comput. Log.	2015	DBLP DOI BibTeX RDF
17	Andreas Steigmiller, Birte Glimm	Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures.	J. Artif. Intell. Res.	2015	DBLP DOI BibTeX RDF
17	Yogesh Awate, Gérard Cornuéjols, Bertrand Guenin, Levent Tunçel	On the relative strength of families of intersection cuts arising from pairs of tableau constraints in mixed integer programs.	Math. Program.	2015	DBLP DOI BibTeX RDF
17	Toby Meadows	Infinitary Tableau for Semantic Truth.	Rev. Symb. Log.	2015	DBLP DOI BibTeX RDF
17	Linh Anh Nguyen	Designing a Tableau Reasoner for Description Logics.	ICCSAMA	2015	DBLP DOI BibTeX RDF
17	Thinh Dong, Chan Le Duc, Philippe Bonnot 0002, Myriam Lamolle	Tableau-Based Revision over SHIQ TBoxes.	LPAR	2015	DBLP DOI BibTeX RDF
17	Yifan Yang, Jamal Atif, Isabelle Bloch	Abductive Reasoning Using Tableau Methods for High-Level Image Interpretation.	KI	2015	DBLP DOI BibTeX RDF
17	Mauro Ferrari 0002, Camillo Fiorentini, Guido Fiorino	Towards a tableau-based procedure for PLTL based on a multi-conclusion rule and logical optimizations.	CILC	2015	DBLP BibTeX RDF
17	Pawel Terlecki, Fei Xu, Marianne Shaw, Valeri Kim, Richard Michael Grantham Wesley	On Improving User Response Times in Tableau.	SIGMOD Conference	2015	DBLP DOI BibTeX RDF
17	Mapetlwane Litha Mokwana, John Andrew van der Poll	Evaluating Resolution-Based Reasoning Heuristics for Connection Tableau.	SAICSIT	2015	DBLP DOI BibTeX RDF
17	Renate A. Schmidt, Uwe Waldmann	Modal Tableau Systems with Blocking and Congruence Closure.	TABLEAUX	2015	DBLP DOI BibTeX RDF
17	Michael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure	Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method.	TABLEAUX	2015	DBLP DOI BibTeX RDF
17	John Christopher McCabe-Dansted, Mark Reynolds 0001	A Tableau for Bundled Strategies.	TABLEAUX	2015	DBLP DOI BibTeX RDF
17	Alexander K. Hudek, David Toman 0001, Grant E. Weddell	On Enumerating Query Plans Using Analytic Tableau.	TABLEAUX	2015	DBLP DOI BibTeX RDF
17	Lasha Abzianidze	A Tableau Prover for Natural Logic and Language.	EMNLP	2015	DBLP DOI BibTeX RDF
17	Thinh Dong, Chan Le Duc, Philippe Bonnot 0002, Myriam Lamolle	Tableau-based revision in SHIQ.	Description Logics	2015	DBLP BibTeX RDF
17	Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma	Tableau Reasoners for Probabilistic Ontologies Exploiting Logic Programming Techniques.	DC@AI*IA	2015	DBLP BibTeX RDF
17	Linh Anh Nguyen, Joanna Golinska-Pilarek	An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ.	Fundam. Informaticae	2014	DBLP DOI BibTeX RDF
17	Santanu S. Dey, Andrea Lodi 0001, Andrea Tramontani, Laurence A. Wolsey	On the Practical Strength of Two-Row Tableau Cuts.	INFORMS J. Comput.	2014	DBLP DOI BibTeX RDF
17	Renate A. Schmidt, Dmitry Tishkovsky	Using tableau to decide description logics with full role negation and identity.	ACM Trans. Comput. Log.	2014	DBLP DOI BibTeX RDF
17	Matteo Cristani, Erisa Karafili, Luca Viganò 0001	Tableau systems for reasoning about risk.	J. Ambient Intell. Humaniz. Comput.	2014	DBLP DOI BibTeX RDF
17	Kristi Morton, Magdalena Balazinska, Dan Grossman, Robert Kosara, Jock D. Mackinlay	Public Data and Visualizations: How are Many Eyes and Tableau Public Used for Collaborative Analytics?	SIGMOD Rec.	2014	DBLP DOI BibTeX RDF
17	Stéphane Clain, Gaspar José Machado	A very high-order finite volume method for the time-dependent convection-diffusion problem with Butcher Tableau extension.	Comput. Math. Appl.	2014	DBLP DOI BibTeX RDF
17	Olaf Beyersdorff, Leroy Chew	Tableau vs. Sequent Calculi for Minimal Entailment.	Electron. Colloquium Comput. Complex.	2014	DBLP BibTeX RDF
17	Olaf Beyersdorff, Leroy Chew	Tableau vs. Sequent Calculi for Minimal Entailment.	CoRR	2014	DBLP BibTeX RDF
17	Meghdad Ghari	Tableau Proof Systems for Justification Logics.	CoRR	2014	DBLP BibTeX RDF
17	Agnieszka Kulacka	A tableau for set-satisfiability for extended fuzzy logic BL.	CoRR	2014	DBLP BibTeX RDF
17	Joanna Golinska-Pilarek, Taneli Huuskonen, Emilio Muñoz-Velasco	Relational dual tableau decision procedures and their applications to modal and intuitionistic logics.	Ann. Pure Appl. Log.	2014	DBLP DOI BibTeX RDF
17	María-José Hidalgo-Doblado, José A. Alonso-Jiménez, Joaquín Borrego-Díaz, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina	Formally Verified Tableau-Based Reasoners for a Description Logic.	J. Autom. Reason.	2014	DBLP DOI BibTeX RDF
17	John G. Stell, Renate A. Schmidt, David E. Rydeheard	Tableau Development for a Bi-intuitionistic Tense Logic.	RAMiCS	2014	DBLP DOI BibTeX RDF
17	Mauro Ferrari 0002, Camillo Fiorentini, Guido Fiorino	JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi.	CILC	2014	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.	CILC	2014	DBLP BibTeX RDF
17	Colin Stirling	A Tableau Proof System with Names for Modal Mu-calculus.	HOWARD-60	2014	DBLP DOI BibTeX RDF
17	Lasha Abzianidze	Towards a Wide-Coverage Tableau Method for Natural Logic.	JSAI-isAI Workshops	2014	DBLP DOI BibTeX RDF
17	Richard Michael Grantham Wesley, Pawel Terlecki	Leveraging compression in the tableau data engine.	SIGMOD Conference	2014	DBLP DOI BibTeX RDF
17	Andreas Steigmiller, Birte Glimm, Thorsten Liebig	Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures.	IJCAR	2014	DBLP DOI BibTeX RDF
17	Rajeev Goré, Kerry Olesen, Jimmy Thomson 0001	Implementing Tableau Calculi Using BDDs: BDDTab System Description.	IJCAR	2014	DBLP DOI BibTeX RDF
17	Agnieszka Kulacka	Tableau Calculus for Basic Fuzzy Logic BL.	IPMU (1)	2014	DBLP DOI BibTeX RDF
17	Yang Lu 0009, Lina Yang, Haoliang Yuan, Yulong Wang, Huiwu Luo, Yuan Yan Tang	A novel method for protein structure retrieval using tableau representation and sparse coding.	SMC	2014	DBLP DOI BibTeX RDF
17	Renate A. Schmidt, John G. Stell, David E. Rydeheard	Axiomatic and Tableau-Based Reasoning for Kt(H, R).	Advances in Modal Logic	2014	DBLP BibTeX RDF
17	Mark Reynolds 0001	A Tableau for Temporal Logic over the Reals.	Advances in Modal Logic	2014	DBLP BibTeX RDF
17	John Christopher McCabe-Dansted, Mark Reynolds 0001	Fairness with EXPTIME Bundled CTL Tableau.	TIME	2014	DBLP DOI BibTeX RDF
17	Basilis Mamalis, Marios Perlitis	Hybrid Parallelization of Standard Full Tableau Simplex Method with MPI and OpenMP.	Panhellenic Conference on Informatics	2014	DBLP DOI BibTeX RDF
17	Ken Halland, Arina Britz, Szymon Klarman	TBox Abduction in ALC Using a DL Tableau.	Description Logics	2014	DBLP BibTeX RDF
17	Yevgeny Kazakov, Pavel Klinov	Bridging the Gap between Tableau and Consequence-Based Reasoning.	Description Logics	2014	DBLP BibTeX RDF
17	Erik Wennstrom	Tableau-Based Model Generation for Relational Syllogistic Logics.	ISAIM	2014	DBLP BibTeX RDF
17	Leen Lambers, Fernando Orejas	Tableau-Based Reasoning for Graph Properties.	ICGT	2014	DBLP DOI BibTeX RDF
17	Domenico Cantone, Joanna Golinska-Pilarek, Marianna Nicolosi Asmundo	A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics.	HAIS	2014	DBLP DOI BibTeX RDF
17	Martin Gebser, Torsten Schaub	Tableau Calculi for Logic Programs under Answer Set Semantics.	ACM Trans. Comput. Log.	2013	DBLP DOI BibTeX RDF
17	Xiaowang Zhang, Guohui Xiao 0001, Zuoquan Lin	A Paraconsistent Tableau Algorithm Based on Sign Transformation in Semantic Web	CoRR	2013	DBLP BibTeX RDF
17	Mark Reynolds 0001	A Faster Tableau for CTL.	GandALF	2013	DBLP DOI BibTeX RDF
17	Dmitry Tishkovsky, Renate A. Schmidt	Refinement in the Tableau Synthesis Framework	CoRR	2013	DBLP BibTeX RDF
17	Tin Perkov	Tableau-based bisimulation invariance testing.	Reports Math. Log.	2013	DBLP BibTeX RDF
17	Serenella Cerrito, Marta Cialdea Mayer	A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities.	J. Autom. Reason.	2013	DBLP DOI BibTeX RDF
17	Mark Alexander Reynolds	A tableau for general linear temporal logic.	J. Log. Comput.	2013	DBLP DOI BibTeX RDF
17	Mai Ajspur, Valentin Goranko, Dmitry Shkatov	Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge.	Log. J. IGPL	2013	DBLP DOI BibTeX RDF
17	Linh Anh Nguyen	A Tableau Method with Optimal Complexity for Deciding the Description Logic SHIQ.	Advanced Computational Methods for Knowledge Engineering	2013	DBLP DOI BibTeX RDF
17	Patrick Blackburn, Thomas Bolander, Torben Braüner, Klaus Frovin Jørgensen	A Seligman-Style Tableau System.	LPAR	2013	DBLP DOI BibTeX RDF
17	Matteo Cristani, Erisa Karafili, Luca Viganò 0001	A complete tableau procedure for risk analysis.	CRiSIS	2013	DBLP DOI BibTeX RDF
17	Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi	A Description Logics Tableau Reasoner in Prolog.	CILC	2013	DBLP BibTeX RDF
17	Linh Anh Nguyen, Joanna Golinska-Pilarek	An ExpTime Tableau Method for Dealing with Nominals and Quantified Number Restrictions in Deciding the Description Logic SHOQ.	CS&P	2013	DBLP BibTeX RDF
17	Chad E. Brown, Christine Rizkallah	From Classical Extensional Higher-Order Tableau to Intuitionistic Intentional Natural Deduction.	PxTP@CADE	2013	DBLP DOI BibTeX RDF
17	Ming Zuo, Volker Haarslev	Intelligent Tableau Algorithm for DL Reasoning.	TABLEAUX	2013	DBLP DOI BibTeX RDF
17	Hidenori Kurokawa	Prefixed Tableau Systems for Logic of Proofs and Provability.	TABLEAUX	2013	DBLP DOI BibTeX RDF
17	Amélie David 0001	TATL: Implementation of ATL Tableau-Based Decision Procedure.	TABLEAUX	2013	DBLP DOI BibTeX RDF
17	Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco	A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation.	TABLEAUX	2013	DBLP DOI BibTeX RDF
17	Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky	A Refined Tableau Calculus with Controlled Blocking for the Description Logic.	TABLEAUX	2013	DBLP DOI BibTeX RDF
17	Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Ángel Mora 0001	Deterministic Tableau-Decision Procedure via Reductions for Modal Logic K.	SOCO-CISIS-ICEUTE	2013	DBLP DOI BibTeX RDF
17	Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky	A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI.	Description Logics	2013	DBLP BibTeX RDF
17	Kejia Wu, Volker Haarslev	Exploring Parallelization of Conjunctive Branches in Tableau-Based Description Logic Reasoning.	Description Logics	2013	DBLP BibTeX RDF
17	Ji Bian, Tim French 0002, Mark Reynolds 0001	An Efficient Tableau for Linear Time Temporal Logic.	Australasian Conference on Artificial Intelligence	2013	DBLP DOI BibTeX RDF
17	Mai Ajspur, Valentin Goranko, Dmitry Shkatov	Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge.	CoRR	2012	DBLP BibTeX RDF
17	Renate A. Schmidt, Dmitry Tishkovsky	Using Tableau to Decide Description Logics with Full Role Negation and Identity	CoRR	2012	DBLP BibTeX RDF
17	Jia Tao 0001, Giora Slutzki, Vasant G. Honavar	PSPACE Tableau Algorithms for Acyclic Modalized $\boldsymbol{\mathcal{ALC}}$.	J. Autom. Reason.	2012	DBLP DOI BibTeX RDF
17	Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora-Bonilla	Relational dual tableau decision procedure for modal logic K.	Log. J. IGPL	2012	DBLP DOI BibTeX RDF
17	Md Zahidul Islam 0001, Ahmed Shah Mashiyat, Kashif Nizam Khan, S. M. Masud Karim	A Tableau Based Automated Theorem Prover Using High Performance Computing.	J. Comput.	2012	DBLP BibTeX RDF
17	Marco Volpe 0001, João Marcos 0001, Carlos Caleiro	Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics.	WoLLIC	2012	DBLP DOI BibTeX RDF
17	Yoshinori Neya, Noriaki Yoshiura	Stepwise Satisfiability Checking Procedure for Reactive System Specifications by Tableau Method and Proof System.	ICFEM	2012	DBLP DOI BibTeX RDF
17	Gabriel de França Pereira e Silva, Rafael Dueire Lins	Automatic content recognition of teaching boards in the Tableau platform.	ICPR	2012	DBLP BibTeX RDF
17	Kristi Morton, Ross Bunker, Jock D. Mackinlay, Robert Morton, Chris Stolte	Dynamic workload driven data integration in tableau.	SIGMOD Conference	2012	DBLP DOI BibTeX RDF
17	Ken Halland, Katarina Britz	ABox abduction in ALC using a DL tableau.	SAICSIT	2012	DBLP DOI BibTeX RDF
17	Zhuxiao Wang, Zhitao Guan, Wei Li 0100, Kehe Wu, Jing Guo, Guanhua Tian	A Tableau-Based Reasoning Algorithm for Distributed Dynamic Description Logics.	ICICA (1)	2012	DBLP DOI BibTeX RDF
17	Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi	MetTeL2: Towards a Tableau Prover Generation Platform.	PAAR@IJCAR	2012	DBLP DOI BibTeX RDF
17	Stefan Minica, Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky	Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics.	PAAR@IJCAR	2012	DBLP DOI BibTeX RDF
17	Md Zahidul Islam 0001, Wendy MacCaull	A One-Pass Tableau-Based Workflow Verification Framework.	PAAR@IJCAR	2012	DBLP DOI BibTeX RDF
17	Hongcan Yan, Chen Liu, Baoxiang Liu	Knowledge reasoning and Tableau Algorithm improving based on rough description logics.	FSKD	2012	DBLP DOI BibTeX RDF
17	Angelo Montanari, Pietro Sala	An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals.	TIME	2012	DBLP DOI BibTeX RDF
17	John Christopher McCabe-Dansted	A Tableau for the Combination of CTL and BCTL*.	TIME	2012	DBLP DOI BibTeX RDF
17	Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi	The Tableau Prover Generator MetTeL2.	JELIA	2012	DBLP DOI BibTeX RDF
17	Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky	An Abstract Tableau Calculus for the Description Logic SHOI Using Unrestricted Blocking and Rewriting.	Description Logics	2012	DBLP BibTeX RDF
17	Ken Halland, Katarina Britz	Naive ABox abduction in ALC using a DL tableau.	Description Logics	2012	DBLP BibTeX RDF
17	Chan Le Duc, Myriam Lamolle, Olivier Curé	An ExpSpace Tableau-based Algorithm for SHOIQ.	Description Logics	2012	DBLP BibTeX RDF
17	Stefan Borgwardt, Rafael Peñaloza	A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices.	RR	2012	DBLP DOI BibTeX RDF