Search results for "Tableaux"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Steven Pon, Qiang Wang	Promotion and Evacuation on Standard Young Tableaux of Rectangle and Staircase Shape.	Electron. J. Comb.	2011	DBLP DOI BibTeX RDF
15	Lukasz Golab, Flip Korn, Divesh Srivastava	Efficient and Effective Analysis of Data Quality using Pattern Tableaux.	IEEE Data Eng. Bull.	2011	DBLP BibTeX RDF
15	Dov M. Gabbay	Reactive intuitionistic tableaux.	Synth.	2011	DBLP DOI BibTeX RDF
15	Amar Kumar Narisetty, Jean-Philippe P. Richard, George L. Nemhauser	Lifted Tableaux Inequalities for 0-1 Mixed-Integer Programs: A Computational Study.	INFORMS J. Comput.	2011	DBLP DOI BibTeX RDF
15	Amitabh Basu, Pierre Bonami, Gérard Cornuéjols, François Margot	Experiments with Two-Row Cuts from Degenerate Tableaux.	INFORMS J. Comput.	2011	DBLP DOI BibTeX RDF
15	Mark Kaminski, Gert Smolka	Clausal Tableaux for Hybrid PDL.	M4M/LAMAS	2011	DBLP DOI BibTeX RDF
15	Jessica Striker	A unifying poset perspective on alternating sign matrices, plane partitions, Catalan objects, tournaments, and tableaux.	Adv. Appl. Math.	2011	DBLP DOI BibTeX RDF
15	William Y. C. Chen, Cindy C. Y. Gu, Kevin J. Ma	Minimal permutations and 2-regular skew tableaux.	Adv. Appl. Math.	2011	DBLP DOI BibTeX RDF
15	Rafael del Vado Vírseda, Fernando Pérez Morente	An Innovative Teaching Tool based on Semantic Tableaux for Verification and Debugging of Imperative Programs.	ICCS	2011	DBLP DOI BibTeX RDF
15	Sylvie Corteel, Jang Soo Kim	Combinatorics on permutation tableaux of type A and type B.	Eur. J. Comb.	2011	DBLP DOI BibTeX RDF
15	Dohan Kim 0001	Priority-based task reassignments in hierarchical 2D mesh-connected systems using tableaux	CoRR	2011	DBLP BibTeX RDF
15	Corina Cîrstea, Clemens Kupke, Dirk Pattinson	EXPTIME Tableaux for the Coalgebraic mu-Calculus	Log. Methods Comput. Sci.	2011	DBLP DOI BibTeX RDF
15	Linh Anh Nguyen	Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic SHI	CoRR	2011	DBLP BibTeX RDF
15	Mark Kaminski, Sigurd Schneider, Gert Smolka	Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies	Log. Methods Comput. Sci.	2011	DBLP DOI BibTeX RDF
15	Julian Backes, Chad E. Brown	Analytic Tableaux for Higher-Order Logic with Choice.	J. Autom. Reason.	2011	DBLP DOI BibTeX RDF
15	Joel Brewster Lewis	Pattern avoidance for alternating permutations and Young tableaux.	J. Comb. Theory, Ser. A	2011	DBLP DOI BibTeX RDF
15	Philippe Nadeau	The structure of alternative tableaux.	J. Comb. Theory, Ser. A	2011	DBLP DOI BibTeX RDF
15	Linh Anh Nguyen	Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALCI\mathcal{ALCI}.	ISMIS	2011	DBLP DOI BibTeX RDF
15	Rania Khéfifi, Patrice Buche, Juliette Dibie-Barthélemy, Fatiha Saïs	Détection de redondances dans les tableaux guidée par une ontologie.	EGC	2011	DBLP BibTeX RDF
15	Patrice Buche, Juliette Dibie-Barthélemy, Liliana Ibanescu, Abir Saïd	Modélisation d'une ressource termino-ontologique de domaine pour l'annotation sémantique de tableaux.	EGC	2011	DBLP BibTeX RDF
15	Rafael del Vado Vírseda, Fernando Pérez Morente	An innovative teaching tool based on semantic tableaux for verification and debugging of programs.	ITiCSE	2011	DBLP DOI BibTeX RDF
15	Chan Le Duc, Myriam Lamolle, Olivier Curé	A Tableaux-Based Algorithm for SHIQ\mathcal{SHIQ} with Transitive Closure of Roles in Concept and Role Inclusion Axioms.	ESWC (1)	2011	DBLP DOI BibTeX RDF
15	Rafael del Vado Vírseda	A learning methodology based on semantic tableaux for software engineering education.	CSEE&T	2011	DBLP DOI BibTeX RDF
15	Rafael del Vado Vírseda, Eva Pilar Orna, Eduardo Berbis, Saúl de León Guerrero	A Logic Teaching Tool Based on Tableaux for Verification and Debugging of Algorithms.	TICTTL	2011	DBLP DOI BibTeX RDF
15	Sandrine Dasse-Hartaut, Pawel Hitczenko	Some Properties of Random Staircase Tableaux.	ANALCO	2011	DBLP DOI BibTeX RDF
15	Rafael del Vado Vírseda, Fernando Pérez Morente, Sergio Esquembri Martínez	An Educational Tool based on Semantic Tableaux for Verification and Debugging of Algorithms - Experiences and Results.	CSEDU (2)	2011	DBLP BibTeX RDF
15	Linh Anh Nguyen, Andrzej Szalas	Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic SH.	Trans. Comput. Collect. Intell.	2010	DBLP DOI BibTeX RDF
15	Sen-Peng Eu	Skew-standard tableaux with three rows.	Adv. Appl. Math.	2010	DBLP DOI BibTeX RDF
15	Guoce Xin	Determinant formulas relating to tableaux of bounded height.	Adv. Appl. Math.	2010	DBLP DOI BibTeX RDF
15	Arno Bastenhof	Tableaux for the Lambek-Grishin calculus	CoRR	2010	DBLP BibTeX RDF
15	Rajeev Goré, Florian Widmann	Optimal Tableaux for Propositional Dynamic Logic with Converse	CoRR	2010	DBLP BibTeX RDF
15	Chad E. Brown, Gert Smolka	Analytic Tableaux for Simple Type Theory and its First-Order Fragment	Log. Methods Comput. Sci.	2010	DBLP BibTeX RDF
15	Dohan Kim 0001	Representations of task assignments in distributed systems using Young tableaux and symmetric groups	CoRR	2010	DBLP BibTeX RDF
15	Serenella Cerrito, Marta Cialdea Mayer	An efficient approach to nominal equalities in hybrid logic tableaux.	J. Appl. Non Class. Logics	2010	DBLP DOI BibTeX RDF
15	Lukasz Golab, Howard J. Karloff, Flip Korn, Divesh Srivastava	Data Auditor: Exploring Data Quality and Semantics using Pattern Tableaux. (PDF / PS)	Proc. VLDB Endow.	2010	DBLP DOI BibTeX RDF
15	Shinya Anzai, Jinhee Chun, Ryosei Kasai, Matias Korman, Takeshi Tokuyama	Effect of Corner Information in Simultaneous Placement of k Rectangles and Tableaux.	Discret. Math. Algorithms Appl.	2010	DBLP DOI BibTeX RDF
15	Guillaume Hoffmann 0001	Lightweight hybrid tableaux.	J. Appl. Log.	2010	DBLP DOI BibTeX RDF
15	Didier Galmiche, Daniel Méry	Tableaux and Resource Graphs for Separation Logic.	J. Log. Comput.	2010	DBLP DOI BibTeX RDF
15	Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima	Tableaux for Public Announcement Logic.	J. Log. Comput.	2010	DBLP DOI BibTeX RDF
15	Franz Baader, Rafael Peñaloza	Axiom Pinpointing in General Tableaux.	J. Log. Comput.	2010	DBLP DOI BibTeX RDF
15	Peter Baumgartner 0001, Ulrich Furbach, Björn Pelzer	The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation.	J. Log. Comput.	2010	DBLP DOI BibTeX RDF
15	Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala	Tableaux for Logics of Subinterval Structures over Dense Orderings.	J. Log. Comput.	2010	DBLP DOI BibTeX RDF
15	Nicolas Peltier	Bottom-up Construction of Semantic Tableaux.	J. Log. Comput.	2010	DBLP DOI BibTeX RDF
15	Mark Kaminski, Gert Smolka	Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference.	LPAR (Yogyakarta)	2010	DBLP DOI BibTeX RDF
15	Laurent d'Orazio, Sandro Bimonte	Intégration des Tableaux Multidimensionnels en Pig pour l'Entreposage de Données sur les Nuages.	EDA	2010	DBLP BibTeX RDF
15	Lutz Schröder, Dirk Pattinson, Daniel Hausmann 0001	Optimal Tableaux for Conditional Logics with Cautious Monotonicity.	ECAI	2010	DBLP DOI BibTeX RDF
15	Oliver Friedmann, Markus Latte, Martin Lange	A Decision Procedure for CTL* Based on Tableaux and Automata.	IJCAR	2010	DBLP DOI BibTeX RDF
15	Julian Backes, Chad E. Brown	Analytic Tableaux for Higher-Order Logic with Choice.	IJCAR	2010	DBLP DOI BibTeX RDF
15	Rajeev Goré, Florian Widmann	Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse.	IJCAR	2010	DBLP DOI BibTeX RDF
15	Mark Kaminski, Gert Smolka	Terminating Tableaux for Hybrid Logic with Eventualities.	IJCAR	2010	DBLP DOI BibTeX RDF
15	Mark Kaminski, Gert Smolka	Terminating Tableaux for SOQ\mathcal{SOQ} with Number Restrictions on Transitive Roles.	IFIP TCS	2010	DBLP DOI BibTeX RDF
15	Shinya Anzai, Jinhee Chun, Ryosei Kasai, Matias Korman, Takeshi Tokuyama	Effect of Corner Information in Simultaneous Placement of K Rectangles and Tableaux.	COCOON	2010	DBLP DOI BibTeX RDF
15	Camilla Schwind	From Inconsistency to Consistency: Knowledge Base Revision by Tableaux Opening.	IBERAMIA	2010	DBLP DOI BibTeX RDF
15	Mathias Péron	Contributions à l'analyse statique de programmes manipulant des tableaux. (Contributions to the Static Analysis of Programs Handling Arrays).		2010	RDF
15	Rajeev Goré, Linh Anh Nguyen	Clausal Tableaux for Multimodal Logics of Belief.	Fundam. Informaticae	2009	DBLP DOI BibTeX RDF
15	Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas	Dual Systems of Tableaux and Sequents for PLTL.	J. Log. Algebraic Methods Program.	2009	DBLP DOI BibTeX RDF
15	Alfredo Burrieza, Ángel Mora 0001, Manuel Ojeda-Aciego, Ewa Orlowska	An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning.	Int. J. Comput. Math.	2009	DBLP DOI BibTeX RDF
15	Jens Ulrik Hansen	Terminating Tableaux for Dynamic Epistemic Logics.	M4M	2009	DBLP DOI BibTeX RDF
15	Kendra Killpatrick	Some statistics for Fibonacci tableaux.	Eur. J. Comb.	2009	DBLP DOI BibTeX RDF
15	Miklós Bóna	On two related questions of Wilf concerning Standard Young Tableaux.	Eur. J. Comb.	2009	DBLP DOI BibTeX RDF
15	Sylvie Corteel, Philippe Nadeau	Bijections for permutation tableaux.	Eur. J. Comb.	2009	DBLP DOI BibTeX RDF
15	Ji Ma 0001, Mehmet A. Orgun, Abdul Sattar 0001	Analysis of Authentication Protocols in Agent-Based Systems Using Labeled Tableaux.	IEEE Trans. Syst. Man Cybern. Part B	2009	DBLP DOI BibTeX RDF
15	Régis Alenda, Nicola Olivetti, Camilla Schwind	Comparative concept similarity over Minspaces: Axiomatisation and Tableaux Calculus	CoRR	2009	DBLP BibTeX RDF
15	Ángel Nepomuceno-Fernández, Fernando Soler-Toscano, Atocha Aliseda-Llera	Abduction via C-tableaux and delta-resolution.	J. Appl. Non Class. Logics	2009	DBLP DOI BibTeX RDF
15	Naiomi T. Cameron, Kendra Killpatrick	k-ribbon Fibonacci tableaux.	Discret. Math.	2009	DBLP DOI BibTeX RDF
15	David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò 0001	Labelled Tableaux for Distributed Temporal Logic.	J. Log. Comput.	2009	DBLP DOI BibTeX RDF
15	Koji Iwanuma, Hidetomo Nabeshima, Katsumi Inoue	Toward an Efficient Equality Computation in Connection Tableaux: A Modification Method without Symmetry Transformation.	FTP	2009	DBLP BibTeX RDF
15	Mathijs de Boer, Andreas Herzig, Tiago de Lima, Emiliano Lorini	Tableaux for Acceptance Logic.	DALT	2009	DBLP DOI BibTeX RDF
15	Hidenori Kurokawa	Tableaux and Hypersequents for Justification Logic.	LFCS	2009	DBLP DOI BibTeX RDF
15	Linh Anh Nguyen, Andrzej Szalas	ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALC\mathcal{ALC}.	ICCCI	2009	DBLP DOI BibTeX RDF
15	Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini	A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results.	Description Logics	2009	DBLP BibTeX RDF
15	Francesco M. Donini, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio	A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics.	Description Logics	2009	DBLP BibTeX RDF
15	Mark Kaminski, Gert Smolka	Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles.	Description Logics	2009	DBLP BibTeX RDF
15	Francesco M. Donini, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio	A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics.	IJCAI	2009	DBLP BibTeX RDF
15	Roger E. Behrend	Osculating Paths and Oscillating Tableaux.	Electron. J. Comb.	2008	DBLP BibTeX RDF
15	Matti Järvisalo, Emilia Oikarinen	Extended ASP tableaux and rule redundancy in normal logic programs	CoRR	2008	DBLP BibTeX RDF
15	Lukasz Golab, Howard J. Karloff, Flip Korn, Divesh Srivastava, Bei Yu 0003	On generating near-optimal tableaux for conditional functional dependencies. (PDF / PS)	Proc. VLDB Endow.	2008	DBLP DOI BibTeX RDF
15	Seul Hee Choi	The Robinson-Schensted correspondence for skew oscillating semi-standard tableaux.	Discret. Math.	2008	DBLP DOI BibTeX RDF
15	Matti Järvisalo, Emilia Oikarinen	Extended ASP Tableaux and rule redundancy in normal logic programs.	Theory Pract. Log. Program.	2008	DBLP DOI BibTeX RDF
15	François Descouens	Ribbon tableaux, ribbon rigged configurations and Hall-Littlewood functions at roots of unity.	J. Comb. Theory, Ser. A	2008	DBLP DOI BibTeX RDF
15	Hjalmar Rosengren	Schur Q-polynomials, multiple hypergeometric series and enumeration of marked shifted tableaux.	J. Comb. Theory, Ser. A	2008	DBLP DOI BibTeX RDF
15	Rodolphe Priam, Mohamed Nadif, Gérard Govaert	Binary Block GTM : Carte auto-organisatrice probabiliste pour les grands tableaux binaires.	EGC	2008	DBLP BibTeX RDF
15	Mark Kaminski, Gert Smolka	Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse.	IJCAR	2008	DBLP DOI BibTeX RDF	modal and hybrid logics, difference modality, converse, decision procedures, tableau systems
15	Guido Governatori	Labelled modal tableaux.	Advances in Modal Logic	2008	DBLP BibTeX RDF
15	Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco	Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders.	JELIA	2008	DBLP DOI BibTeX RDF
15	Jonathan Novak	Truncations of Random Unitary Matrices and Young Tableaux.	Electron. J. Comb.	2007	DBLP DOI BibTeX RDF
15	Guillaume Hoffmann 0001, Carlos Areces	HTab: a Terminating Tableaux System for Hybrid Logic.	M4M	2007	DBLP DOI BibTeX RDF
15	Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro	Systematic Semantic Tableaux for PLTL.	PROLE	2007	DBLP DOI BibTeX RDF
15	Mark Kaminski, Gert Smolka	Hybrid Tableaux for the Difference Modality.	M4M	2007	DBLP DOI BibTeX RDF
15	François Descouens	A Generating Algorithm for Ribbon Tableaux and Spin Polynomials.	Discret. Math. Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
15	Boris G. Pittel, Dan Romik	Limit shapes for random square Young tableaux.	Adv. Appl. Math.	2007	DBLP DOI BibTeX RDF
15	Sylvie Corteel, Lauren K. Williams	Tableaux combinatorics for the asymmetric exclusion process.	Adv. Appl. Math.	2007	DBLP DOI BibTeX RDF
15	Moez Draief, Jean Mairesse, Neil O'Connell	Queues, stores, and tableaux	CoRR	2007	DBLP BibTeX RDF
15	Virginie Detienne, F. Vesentini, Jean-Luc Hainaut	Entreposage et exploitation de documents multidimensionnels évolutifs. Le cas des tableaux statistiques.	Document Numérique	2007	DBLP DOI BibTeX RDF
15	Marianne Johnson	Standard tableaux and Klyachko's theorem on Lie representations.	J. Comb. Theory, Ser. A	2007	DBLP DOI BibTeX RDF
15	Einar Steingrímsson, Lauren K. Williams	Permutation tableaux and permutation patterns.	J. Comb. Theory, Ser. A	2007	DBLP DOI BibTeX RDF
15	Pietro Abate, Rajeev Goré, Florian Widmann	One-Pass Tableaux for Computation Tree Logic.	LPAR	2007	DBLP DOI BibTeX RDF
15	Gaëlle Hignette, Patrice Buche, Juliette Dibie-Barthélemy, Ollivier Haemmerlé	Annotation sémantique floue de tableaux guidée par une ontologie.	EGC	2007	DBLP BibTeX RDF
15	Thorsten Liebig, Felix Müller	Parallelizing Tableaux-Based Description Logic Reasoning.	OTM Workshops (2)	2007	DBLP DOI BibTeX RDF
15	Martin Gebser, Torsten Schaub	Generic Tableaux for Answer Set Programming.	ICLP	2007	DBLP DOI BibTeX RDF