Search results for "Tableau"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Adila Krisnadhi, Pascal Hitzler	A Tableau Algorithm for Description Logics with Nominal Schema.	RR	2012	DBLP DOI BibTeX RDF
17	Fabio Papacchini, Renate A. Schmidt	A Tableau Calculus for Minimal Modal Model Generation.	M4M/LAMAS	2011	DBLP DOI BibTeX RDF
17	John Christopher McCabe-Dansted	A Rooted Tableau for BCTL*.	M4M/LAMAS	2011	DBLP DOI BibTeX RDF
17	Guillaume Aucher, Bastien Maubert, François Schwarzentruber	Tableau Method and NEXPTIME-Completeness of DEL-Sequents.	M4M/LAMAS	2011	DBLP DOI BibTeX RDF
17	Linh Anh Nguyen, Andrzej Szalas	ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse.	Stud Logica	2011	DBLP DOI BibTeX RDF
17	François Hantry, Mohand-Said Hacid	Handling Conflicts in Depth-First Search for LTL Tableau to Debug Compliance Based Languages	FLACOS	2011	DBLP DOI BibTeX RDF
17	Linh Anh Nguyen	A Cut-Free ExpTime Tableau Decision Procedure for the Logic Extending Converse-PDL with Regular Inclusion Axioms	CoRR	2011	DBLP BibTeX RDF
17	Renate A. Schmidt, Dmitry Tishkovsky	Automated Synthesis of Tableau Calculi	Log. Methods Comput. Sci.	2011	DBLP DOI BibTeX RDF
17	Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska	Dual tableau-based decision procedures for relational logics with restricted composition operator.	J. Appl. Non Class. Logics	2011	DBLP DOI BibTeX RDF
17	Ji Ma 0001, Mehmet A. Orgun, Kamel Adi	An analytic tableau calculus for a temporalised belief logic.	J. Appl. Log.	2011	DBLP DOI BibTeX RDF
17	Joanna Golinska-Pilarek, Ewa Orlowska	Dual tableau for monoidal triangular norm logic MTL.	Fuzzy Sets Syst.	2011	DBLP DOI BibTeX RDF
17	Mark Reynolds 0001	A tableau-based decision procedure for CTL.	Formal Aspects Comput.	2011	DBLP DOI BibTeX RDF
17	Jang Soo Kim	q-Analog of tableau containment.	J. Comb. Theory, Ser. A	2011	DBLP DOI BibTeX RDF
17	Renate A. Schmidt	Synthesising Terminating Tableau Calculi for Relational Logics - (Invited Paper).	RAMiCS	2011	DBLP DOI BibTeX RDF
17	Richard Michael Grantham Wesley, Matthew Eldridge, Pawel Terlecki	An analytic data engine for visualization in tableau.	SIGMOD Conference	2011	DBLP DOI BibTeX RDF
17	Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi	METTEL\textsc{Met\hspace{-.5pt}TeL}: A Tableau Prover with Logic-Independent Inference Engine.	TABLEAUX	2011	DBLP DOI BibTeX RDF
17	Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato	A Tableau Calculus for a Nonmonotonic Extension of EL^\mathcal{EL}^\bot.	TABLEAUX	2011	DBLP DOI BibTeX RDF
17	Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco	Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders.	TABLEAUX	2011	DBLP DOI BibTeX RDF
17	Yuri Ozaki, Daisuke Bekki	Conditional Logic Cb and Its Tableau System.	LACL	2011	DBLP DOI BibTeX RDF
17	Mark Reynolds 0001	A Tableau for Until and Since over Linear Time.	TIME	2011	DBLP DOI BibTeX RDF
17	Linh Anh Nguyen	A Cut-Free ExpTime Tableau Decision Procedure for the Description Logic SHI.	ICCCI (1)	2011	DBLP DOI BibTeX RDF
17	Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato	A Tableau Calculus for a Nonmonotonic Extension of the Description Logic $\mbox{\em DL-Lite}_{\mathit{core}}$.	AI*IA	2011	DBLP DOI BibTeX RDF
17	Xiaowang Zhang, Zuoquan Lin, Kewen Wang 0001	A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System.	APWeb	2011	DBLP DOI BibTeX RDF
17	Loris Bozzato	Kripke semantics and tableau procedures for constructive description logics.		2011	RDF
17	Guido Fiorino	Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus.	Inf. Sci.	2010	DBLP DOI BibTeX RDF
17	Uwe Egly, Leopold Haller	A SAT Solver for Circuits Based on the Tableau Method.	Künstliche Intell.	2010	DBLP DOI BibTeX RDF
17	Igor Pak, Ernesto Vallejo	Reductions of Young Tableau Bijections.	SIAM J. Discret. Math.	2010	DBLP DOI BibTeX RDF
17	Arthur Randrianarivony	Un q-tableau d'Euler.	Eur. J. Comb.	2010	DBLP DOI BibTeX RDF
17	Jocelyne Faddoul, Volker Haarslev	Algebraic tableau reasoning for the description logic SHOQ.	J. Appl. Log.	2010	DBLP DOI BibTeX RDF
17	Dustin T. Dunsmuir, Mahshid Z. Baraghoush, Victor Y. Chen, Minoo Erfani Joorabchi, Mona Erfani Joorabchi, Saba Alimadadi, Eric Lee, John Dill, Cheryl Z. Qian, Christopher D. Shaw, Robert F. Woodbury	CZSaw, IMAS & Tableau: Collaboration among teams: VAST 2010 Grand Challenge award: Excellent student team analysis.	IEEE VAST	2010	DBLP DOI BibTeX RDF
17	Guido Fiorino	Tableau Calculus for Dummett Logic Based on Present and Next State of Knowledge.	IWIL@LPAR	2010	DBLP DOI BibTeX RDF
17	Régis Alenda, Nicola Olivetti	Tableau Calculus for the Logic of Comparative Similarity over Arbitrary Distance Spaces.	LPAR (Yogyakarta)	2010	DBLP DOI BibTeX RDF
17	Santanu S. Dey, Andrea Lodi 0001, Andrea Tramontani, Laurence A. Wolsey	Experiments with Two Row Tableau Cuts.	IPCO	2010	DBLP DOI BibTeX RDF
17	Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska	Dual Tableau-based Decision Procedures for Some Relational Logics.	CILC	2010	DBLP BibTeX RDF
17	Nikolay V. Shilov 0002	Tableau-Like Automata-Based Axiomatization for Propositional Linear Temporal Logic.	PSPL@LICS	2010	DBLP DOI BibTeX RDF
17	Malika Charrad, Yves Lechevallier, Mohamed Ben Ahmed	Bipartitionnement d'un tableau de contingence.	AAFD	2010	DBLP BibTeX RDF
17	Daniel Marques de Oliveira, Rafael Dueire Lins	Generalizing Tableau to Any Color of Teaching Boards.	ICPR	2010	DBLP DOI BibTeX RDF
17	Xiaolei Gao	The Z Specification Refinement of Based on Tableau.	FCS	2010	DBLP BibTeX RDF
17	Zhe Wang 0001, Kewen Wang 0001, Rodney W. Topor, Xiaowang Zhang	Tableau-based Forgetting in [Ascr ][Lscr ][Cscr ] Ontologies.	ECAI	2010	DBLP BibTeX RDF
17	Marta Cialdea Mayer, Serenella Cerrito	Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic.	IJCAR	2010	DBLP DOI BibTeX RDF
17	Guido Fiorino	Fast Decision Procedure for Propositional Dummett Logic Based on a Multiple Premise Tableau Calculus.	PAAR@IJCAR	2010	DBLP DOI BibTeX RDF
17	Rajeev Goré, Clemens Kupke, Dirk Pattinson	Optimal Tableau Algorithms for Coalgebraic Logics.	TACAS	2010	DBLP DOI BibTeX RDF
17	Stefano Bragaglia, Federico Chesani, Paola Mello, Davide Sottara	A Rule-Based Implementation of Fuzzy Tableau Reasoning.	RuleML	2010	DBLP DOI BibTeX RDF
17	Régis Alenda, Nicola Olivetti, Camilla Schwind, Dmitry Tishkovsky	Tableau Calculi for CSL\mathcal{CSL} over minspaces.	CSL	2010	DBLP DOI BibTeX RDF
17	Jocelyne Faddoul, Volker Haarslev	Optimizing Algebraic Tableau Reasoning for SHOQ: First Experimental Results.	Description Logics	2010	DBLP BibTeX RDF
17	Linh Anh Nguyen	An Efficient Tableau Prover using Global Caching for the Description Logic ALC.	Fundam. Informaticae	2009	DBLP DOI BibTeX RDF
17	Kent Andersen, Christian Wagner 0006, Robert Weismantel	On an Analysis of the Strength of Mixed-Integer Cutting Planes from Multiple Simplex Tableau Rows.	SIAM J. Optim.	2009	DBLP DOI BibTeX RDF
17	Joanna Golinska-Pilarek, Emilio Muñoz-Velasco	Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility.	Int. J. Comput. Math.	2009	DBLP DOI BibTeX RDF
17	Daniel Götzmann, Mark Kaminski, Gert Smolka	Spartacus: A Tableau Prover for Hybrid Logic.	M4M	2009	DBLP DOI BibTeX RDF
17	Valentin Goranko, Angelo Kyrilov, Dmitry Shkatov	Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis.	M4M	2009	DBLP DOI BibTeX RDF
17	Sergey Babenyshev, Vladimir V. Rybakov, Renate A. Schmidt, Dmitry Tishkovsky	A Tableau Method for Checking Rule Admissibility in S4.	M4M	2009	DBLP DOI BibTeX RDF
17	Egon Balas, Pierre Bonami	Generating lift-and-project cuts from the LP simplex tableau: open source implementation and testing of new variants.	Math. Program. Comput.	2009	DBLP DOI BibTeX RDF
17	Valentin Goranko, Dmitry Shkatov	Tableau-based decision procedures for logics of strategic ability in multiagent systems.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF
17	Nenad Krdzavac, Dragan Gasevic, Vladan Devedzic	Model driven engineering of a tableau algorithm for description logics.	Comput. Sci. Inf. Syst.	2009	DBLP DOI BibTeX RDF
17	Alex D. Stivala, Anthony Wirth, Peter J. Stuckey	Tableau-based protein substructure search using quadratic programming.	BMC Bioinform.	2009	DBLP DOI BibTeX RDF
17	Valentin Goranko, Dmitry Shkatov	Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic	CoRR	2009	DBLP BibTeX RDF
17	Valentin Goranko, Dmitry Shkatov	Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time	CoRR	2009	DBLP BibTeX RDF
17	Linh Anh Nguyen, Andrzej Szalas	Optimal Tableau Decision Procedures for PDL	CoRR	2009	DBLP BibTeX RDF
17	Claus-Peter Wirth	Full First-Order Sequent and Tableau Calculi With Preservation of Solutions and the Liberalized delta-Rule but Without Skolemization	CoRR	2009	DBLP BibTeX RDF
17	Mauro Ferrari 0002, Camillo Fiorentini, Guido Fiorino	A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications.	J. Appl. Non Class. Logics	2009	DBLP DOI BibTeX RDF
17	David N. Blank-Edelman	Practical Perl Tools: En Tableau.	login Usenix Mag.	2009	DBLP BibTeX RDF
17	Mark Kaminski, Gert Smolka	Terminating Tableau Systems for Hybrid Logic with Difference and Converse.	J. Log. Lang. Inf.	2009	DBLP DOI BibTeX RDF
17	Régis Gras	Problème de données manquantes dans un tableau numérique, une application de l'ASI.	Analyse Statistique Implicative	2009	DBLP BibTeX RDF
17	Ralf Möller 0001, Volker Haarslev	Tableau-Based Reasoning.	Handbook on Ontologies	2009	DBLP DOI BibTeX RDF
17	Reinhard Muskens	An Analytic Tableau System for Natural Logic.	Amsterdam Colloquium on Logic, Language and Meaning	2009	DBLP DOI BibTeX RDF
17	Jocelyne Faddoul, Volker Haarslev, Ralf Möller 0001	Algebraic Tableau Algorithm for ALCOQ.	Description Logics	2009	DBLP BibTeX RDF
17	Valentin Goranko, Dmitry Shkatov	Tableau-based Decision Procedure for the Full Coalitional Multiagent Logic of Branching Time.	MALLOW	2009	DBLP BibTeX RDF
17	Arun Siddharth Konagurthu, Peter J. Stuckey, Arthur M. Lesk	Structural search and retrieval using a tableau representation of protein folding patterns.	Bioinform.	2008	DBLP DOI BibTeX RDF
17	Brieuc Conan-Guez, Fabrice Rossi	Accélération des cartes auto-organisatrices sur tableau de dissimilarités par séparation et évaluation	CoRR	2008	DBLP BibTeX RDF
17	Valentin Goranko, Dmitry Shkatov	Tableau-based decision procedures for logics of strategic ability in multi-agent systems	CoRR	2008	DBLP BibTeX RDF
17	Valentin Goranko, Dmitry Shkatov	Tableau-based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge	CoRR	2008	DBLP BibTeX RDF
17	Thomas Bottini, Pierre Morizet-Mahoudeaux, Bruno Bachimont	Modèle et outils documentaires multimédias pour la mise en tableau de partitions. Segmenter et restructurer, le cas de l'analyse paradigmatique.	Document Numérique	2008	DBLP DOI BibTeX RDF
17	Sergei P. Odintsov, Heinrich Wansing	Inconsistency-tolerant description logic. Part II: A tableau algorithm for CACLC.	J. Appl. Log.	2008	DBLP DOI BibTeX RDF
17	Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller 0001	A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ].	ECAI	2008	DBLP DOI BibTeX RDF
17	Adam M. Smith 0001, Mario Romero, Zachary Pousman, Michael Mateas	Tableau Machine: A Creative Alien Presence.	AAAI Spring Symposium: Creative Intelligent Systems	2008	DBLP BibTeX RDF
17	Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller 0001	A Hybrid Tableau Algorithm for ALCQ.	Description Logics	2008	DBLP BibTeX RDF
17	Ralf Möller 0001, Volker Haarslev, Sebastian Wandelt	The Revival of Structural Subsumption in Tableau-based Reasoners.	Description Logics	2008	DBLP BibTeX RDF
17	Uwe Keller, Stijn Heymans	The SAT-Tableau Calculus.	Description Logics	2008	DBLP BibTeX RDF
17	Robert D. C. Shearer, Boris Motik, Ian Horrocks 0001	Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi.	Description Logics	2008	DBLP BibTeX RDF
17	Guilin Qi, Jeff Z. Pan	A Tableau Algorithm for Possibilistic Description Logic .	RR	2008	DBLP DOI BibTeX RDF
17	Valentin Goranko, Dmitry Shkatov	Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge.	SEFM	2008	DBLP DOI BibTeX RDF
17	Guyslain Naves, András Sebö	Multiflow Feasibility: An Annotated Tableau.	Bonn Workshop of Combinatorial Optimization	2008	DBLP DOI BibTeX RDF
17	Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala	Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings.	M4M	2007	DBLP DOI BibTeX RDF
17	Thomas Bolander, Patrick Blackburn	Terminating Tableau Calculi for Hybrid Logics Extending K.	M4M	2007	DBLP DOI BibTeX RDF
17	Pietro Abate, Rajeev Goré, Florian Widmann	An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability.	M4M	2007	DBLP DOI BibTeX RDF
17	Inanç Seylan, Riza Cenk Erdur	A Tableau Decision Procedure for ALC With Monotonic Modal Operators and Constant Domains.	M4M	2007	DBLP DOI BibTeX RDF
17	Pietro Abate, Rajeev Goré	The Tableau Workbench.	M4M	2007	DBLP DOI BibTeX RDF
17	Yoshisato Sakai	A Tableau Construction Approach to Control Synthesis of FSMs Using Simulation Relations.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2007	DBLP DOI BibTeX RDF
17	Pietro Abate, Rajeev Goré, Florian Widmann	An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability	CoRR	2007	DBLP BibTeX RDF
17	Aïcha El Golli, Fabrice Rossi, Brieuc Conan-Guez, Yves Lechevallier	Une adaptation des cartes auto-organisatrices pour des données décrites par un tableau de dissimilarités	CoRR	2007	DBLP BibTeX RDF
17	Ian Horrocks 0001, Ulrike Sattler	A Tableau Decision Procedure for SHOIQ.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	Description logic, Decision procedures
17	Mark Reynolds 0001	A Tableau for Bundled CTL.	J. Log. Comput.	2007	DBLP DOI BibTeX RDF
17	Alessandro Avellone, Guido Fiorino, Ugo Moscato	Improvements to the Tableau Prover PITP.	TABLEAUX	2007	DBLP DOI BibTeX RDF
17	Yu Ding 0004, Volker Haarslev	An ExpTime Tableau Decision Procedure for ALCQI.	Description Logics	2007	DBLP BibTeX RDF
17	Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri	Optimizing Tableau Reasoning in ALC Extended with Uncertainty.	Description Logics	2007	DBLP BibTeX RDF
17	Renate A. Schmidt, Dmitry Tishkovsky	Deciding ALBO with Tableau.	Description Logics	2007	DBLP BibTeX RDF
17	Adolfo Gustavo Serra Seca Neto	A Multi-Strategy Tableau Prover.		2007	RDF
17	Valentin Goranko, Angelo Montanari, Pietro Sala, Guido Sciavicco	A general tableau method for propositional interval temporal logics: Theory and implementation.	J. Appl. Log.	2006	DBLP DOI BibTeX RDF
17	Thomas Bolander, Torben Braüner	Tableau-based Decision Procedures for Hybrid Logic.	J. Log. Comput.	2006	DBLP DOI BibTeX RDF
17	Lei Liu, Lin Chen	A Modal Supervaluation Description Logic for Characterization of Vague Concepts: its semantics and a tableau algorithm for it.	Log. J. IGPL	2006	DBLP DOI BibTeX RDF