Search results for "Tableaux"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Ping Sun	Note of the enumeration formula of standard Young tableaux of truncated shape (nm)\(2).	Eur. J. Comb.	2015	DBLP DOI BibTeX RDF
15	Carlos Caleiro, João Marcos 0001, Marco Volpe 0001	Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics.	Theor. Comput. Sci.	2015	DBLP DOI BibTeX RDF
15	Reinhard Muskens, Stefan Wintein	Analytic Tableaux for all of SIXTEEN 3.	J. Philos. Log.	2015	DBLP DOI BibTeX RDF
15	Nino Guallart, Ángel Nepomuceno-Fernández	Set theory and tableaux for teaching propositional logic.	CoRR	2015	DBLP BibTeX RDF
15	Richard Bonichon, Olivier Hermant	A syntactic soundness proof for free-variable tableaux with on-the-fly Skolemization.	CoRR	2015	DBLP BibTeX RDF
15	Juan Michelini, Alvaro Tasistro	Presentation of Classical Propositional Tableaux on Program Design Premises.	CoRR	2015	DBLP BibTeX RDF
15	Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois	Tableaux Modulo Theories Using Superdeduction.	CoRR	2015	DBLP BibTeX RDF
15	Gabriel Istrate, Cosmin Bonchis	Partition into heapable sequences, heap tableaux and a multiset extension of Hammersley's process.	CoRR	2015	DBLP BibTeX RDF
15	David Delahaye, Mélanie Jacquel	Recovering Intuition from Automated Formal Proofs using Tableaux with Superdeduction.	CoRR	2015	DBLP BibTeX RDF
15	Susanna Fishel, Matjaz Konvalinka	Results and conjectures on the number of standard strong marked tableaux.	J. Comb. Theory, Ser. A	2015	DBLP DOI BibTeX RDF
15	Olya Mandelshtam	A determinantal formula for Catalan tableaux and TASEP probabilities.	J. Comb. Theory, Ser. A	2015	DBLP DOI BibTeX RDF
15	Yanjun Li	Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles.	LORI	2015	DBLP DOI BibTeX RDF
15	Minghui Ma, Katsuhiko Sano, François Schwarzentruber, Fernando R. Velázquez-Quesada	Tableaux for Non-normal Public Announcement Logic.	ICLA	2015	DBLP DOI BibTeX RDF
15	Gabriel Istrate, Cosmin Bonchis	Partition into Heapable Sequences, Heap Tableaux and a Multiset Extension of Hammersley's Process.	CPM	2015	DBLP DOI BibTeX RDF
15	Linh Anh Nguyen	ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic.	CS&P	2015	DBLP BibTeX RDF
15	Amélie David 0001	Deciding ATL*Satisfiability by Tableaux.	CADE	2015	DBLP DOI BibTeX RDF
15	Philippe Balbiani, Joseph Boudou	Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition.	CADE	2015	DBLP DOI BibTeX RDF
15	Luca Ferrari 0001	Schröder Partitions and Schröder Tableaux.	IWOCA	2015	DBLP DOI BibTeX RDF
15	Cezary Kaliszyk, Josef Urban, Jirí Vyskocil	Certified Connection Tableaux Proofs for HOL Light and TPTP.	CPP	2015	DBLP DOI BibTeX RDF
15	Rajeev Goré, Jason Jingshi Li, Thomas Pagram	Implementing Modal Tableaux Using Sentential Decision Diagrams.	Australasian Conference on Artificial Intelligence	2015	DBLP DOI BibTeX RDF
15	Shaun Van Ault, Benjamin Shemmer	Erdős-Szekeres Tableaux.	Order	2014	DBLP DOI BibTeX RDF
15	Pawel Hitczenko, Svante Janson	Weighted Random Staircase Tableaux.	Comb. Probab. Comput.	2014	DBLP DOI BibTeX RDF
15	Igor Yanovich	Handling equivalence classes of Optimality-Theoretic tableaux.	J. Lang. Model.	2014	DBLP DOI BibTeX RDF
15	Piotr Sniady	Robinson-Schensted-Knuth Algorithm, Jeu de Taquin, and Kerov-Vershik Measures on Infinite Tableaux.	SIAM J. Discret. Math.	2014	DBLP DOI BibTeX RDF
15	Nicolas Clerbout	First-Order Dialogical Games and Tableaux.	J. Philos. Log.	2014	DBLP DOI BibTeX RDF
15	Jian Huang 0010, Xinye Zhao, Jianxing Gong	Optimised ExpTime Tableaux for S H I N over Finite Residuated Lattices.	J. Appl. Math.	2014	DBLP DOI BibTeX RDF
15	Linh Anh Nguyen	ExpTime tableaux with global state caching for the description logic SHIO.	Neurocomputing	2014	DBLP DOI BibTeX RDF
15	Carlos Caleiro, João Marcos 0001, Marco Volpe 0001	Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics.	CoRR	2014	DBLP BibTeX RDF
15	Linh Anh Nguyen, Joanna Golinska-Pilarek	ExpTime Tableaux with Global Caching for the Description Logic SHOQ.	CoRR	2014	DBLP BibTeX RDF
15	Serenella Cerrito, Amélie David 0001, Valentin Goranko	Optimal Tableaux Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-time Temporal Logic ATL+.	CoRR	2014	DBLP BibTeX RDF
15	Tiago de Lima, Andreas Herzig	Tableaux for Dynamic Logic of Propositional Assignments.	CoRR	2014	DBLP BibTeX RDF
15	Cezary Kaliszyk, Josef Urban, Jirí Vyskocil	Certified Connection Tableaux Proofs for HOL Light and TPTP.	CoRR	2014	DBLP BibTeX RDF
15	Damien Rouhling, Mahfuza Farooque, Stéphane Graham-Lengrand, Assia Mahboubi, Jean-Marc Notin	Axiomatisation of constraint systems to specify a tableaux calculus modulo theories.	CoRR	2014	DBLP BibTeX RDF
15	Dohan Kim 0001	Priority-Based Task reassignments in Hierarchical 2D Mesh-Connected Systems using Tableaux.	Discret. Math. Algorithms Appl.	2014	DBLP DOI BibTeX RDF
15	Max Bennett, Blake Madill, Anna Stokke	Jeu-de-taquin promotion and a cyclic sieving phenomenon for semistandard hook tableaux.	Discret. Math.	2014	DBLP DOI BibTeX RDF
15	Pablo Cordero, Manuel Enciso, Ángel Mora 0001, Inmaculada Perez de Guzmán	A tableaux-like method to infer all minimal keys.	Log. J. IGPL	2014	DBLP DOI BibTeX RDF
15	Luc Lapointe, María Elena Pinto	Charge on tableaux and the poset of k-shapes.	J. Comb. Theory, Ser. A	2014	DBLP DOI BibTeX RDF
15	Oliver Pechenik	Cyclic sieving of increasing tableaux and small Schröder paths.	J. Comb. Theory, Ser. A	2014	DBLP DOI BibTeX RDF
15	Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber	Kripke's Worlds - An Introduction to Modal Logics via Tableaux.		2014	DOI RDF
15	Gabin Personeni, Alice Hermann, Jean Lieber	Adapting Propositional Cases Based on Tableaux Repairs Using Adaptation Knowledge.	ICCBR	2014	DBLP DOI BibTeX RDF
15	Soror Sahri, Mourad Ouziri, Salima Benbernou	Summary-Based Pattern Tableaux Generation for Conditional Functional Dependencies in Distributed Data.	DEXA (1)	2014	DBLP DOI BibTeX RDF
15	Thotreingam Kasar, Philippine Barlas, Sébastien Adam, Clément Chatelain 0001, Thierry Paquet	Détection de tableaux dans des documents complexes.	CORIA-CIFED	2014	DBLP DOI BibTeX RDF
15	Serenella Cerrito, Amélie David 0001, Valentin Goranko	Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+.	IJCAR	2014	DBLP DOI BibTeX RDF
15	Rajeev Goré	And-Or Tableaux for Fixpoint Logics with Converse: LTL, CTL, PDL and CPDL.	IJCAR	2014	DBLP DOI BibTeX RDF
15	Francesco Belardinelli	Satisfiability of Alternating-Time Temporal Epistemic Logic Through Tableaux.	KR	2014	DBLP BibTeX RDF
15	Pawel Hitczenko, Svante Janson	Weighted Staircase Tableaux, Asymmetric Exclusion Process, and Eulerian Type Recurrences.	LATIN	2014	DBLP DOI BibTeX RDF
15	Antonis Achilleos	Tableaux and Complexity Bounds for a Multiagent Justification Logic with Interacting Justifications.	EUMAS	2014	DBLP DOI BibTeX RDF
15	Costas D. Koutras, Christos Moyzes, Christos Nomikos, Yorgos Zikos	On the 'in many cases' Modality: Tableaux, Decidability, Complexity, Variants.	SETN	2014	DBLP DOI BibTeX RDF
15	David M. Cerna	A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata.	CICM	2014	DBLP DOI BibTeX RDF
15	Rohit Agrawal 0002, Gregg Musiker, Vladimir Sotirov, Fan Wei	Involutions on Standard Young Tableaux and Divisors on Metric Graphs.	Electron. J. Comb.	2013	DBLP DOI BibTeX RDF
15	Jean-Christophe Aval, Adrien Boussicault, Philippe Nadeau	Tree-like Tableaux.	Electron. J. Comb.	2013	DBLP DOI BibTeX RDF
15	William Y. C. Chen, Lewis H. Liu, Carol J. Wang	Linked Partitions and Permutation Tableaux.	Electron. J. Comb.	2013	DBLP DOI BibTeX RDF
15	Nihal Gowravaram, Ravi Jagadeesan	Beyond Alternating Permutations: Pattern Avoidance in Young Diagrams and Tableaux.	Electron. J. Comb.	2013	DBLP DOI BibTeX RDF
15	François Bergeron, Mark D. Haiman	Tableaux Formulas for MacDonald polynomials.	Int. J. Algebra Comput.	2013	DBLP DOI BibTeX RDF
15	Jean-Christophe Aval, Adrien Boussicault, Sandrine Dasse-Hartaut	Dyck tableaux.	Theor. Comput. Sci.	2013	DBLP DOI BibTeX RDF
15	Walter Alexandre Carnielli	Ewa Orlowska and Joanna Golinska-Pilarek, Dual Tableaux: Foundations, Methodology, Case Studies, Springer, Series: Trends in Logic, Vol 33, 2011, pp. xvi+523, 113 illus. ISBN: 978-94-007-0004-8 (hardcover) EURO 181, 85, 978-94-007-0005-5 (eBook) EURO 159, 99.	Stud Logica	2013	DBLP DOI BibTeX RDF
15	Dan E. Willard	On the Significance of Self-Justifying Axiom Systems from the Perspective of Analytic Tableaux.	CoRR	2013	DBLP BibTeX RDF
15	Kristina C. Garrett, Kendra Killpatrick	A Relationship Between Balanced Modular Tableaux and k-Ribbon Shapes.	Ars Comb.	2013	DBLP BibTeX RDF
15	Nina Gierasimczuk, Han L. J. van der Maas, Maartje E. J. Raijmakers	An Analytic Tableaux Model for Deductive Mastermind Empirically Tested with a Massively Used Online Learning System.	J. Log. Lang. Inf.	2013	DBLP DOI BibTeX RDF
15	Rajeev Goré, Linh Anh Nguyen	ExpTime Tableaux for ALC Using Sound Global Caching.	J. Autom. Reason.	2013	DBLP DOI BibTeX RDF
15	Sandrine Dasse-Hartaut, Pawel Hitczenko	Greek letters in random staircase tableaux.	Random Struct. Algorithms	2013	DBLP DOI BibTeX RDF
15	Olcay Coskun, Müge Taskin	Tower tableaux.	J. Comb. Theory, Ser. A	2013	DBLP DOI BibTeX RDF
15	Sen-Peng Eu, Tung-Shan Fu, Justin T. Hou, Te-Wei Hsu	Standard Young tableaux and colored Motzkin paths.	J. Comb. Theory, Ser. A	2013	DBLP DOI BibTeX RDF
15	Olcay Coskun, Müge Taskin	Tower tableaux and Schubert polynomials.	J. Comb. Theory, Ser. A	2013	DBLP DOI BibTeX RDF
15	Mai Ajspur, Valentin Goranko	Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge.	ICLA	2013	DBLP DOI BibTeX RDF
15	Joanna Golinska-Pilarek	Relational Dual Tableaux: Foundations and Applications.	CILC	2013	DBLP BibTeX RDF
15	James R. Wallace, Stacey D. Scott, Carolyn G. MacGregor	Collaborative sensemaking on a digital tabletop and personal tablets: prioritization, comparisons, and tableaux.	CHI	2013	DBLP DOI BibTeX RDF
15	Loris Bozzato, Martin Homola, Luciano Serafini	ExpTime Tableaux Algorithm for Contextualized ALC.	CONTEXT	2013	DBLP DOI BibTeX RDF
15	Jinfan Zhu, Guilin Qi, Boontawee Suntisrivaraporn	Tableaux Algorithms for Expressive Possibilistic Description Logics.	Web Intelligence	2013	DBLP DOI BibTeX RDF
15	Linh Anh Nguyen	Cut-Free ExpTime Tableaux for Converse-PDL Extended with Regular Inclusion Axioms.	KES-AMSTA	2013	DBLP DOI BibTeX RDF
15	Agathoklis Kritsimallis, Chrysafis Hartonas	Tableaux for type PDL.	BCI	2013	DBLP DOI BibTeX RDF
15	Carlos Areces, Raul Fervari, Guillaume Hoffmann 0001	Tableaux for Relation-Changing Modal Logics.	FroCos	2013	DBLP DOI BibTeX RDF
15	Agnieszka Kulacka, Dirk Pattinson, Lutz Schröder	Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC.	IJCAI	2013	DBLP BibTeX RDF
15	Valentin Perrelle	Analyse statique de programmes manipulant des tableaux.		2013	RDF
15	Müge Taskin	Plactic relations for r-domino tableaux.	Electron. J. Comb.	2012	DBLP DOI BibTeX RDF
15	Yuexiao Xu, Sherry H. F. Yan	Alternating Permutations with Restrictions and Standard Young Tableaux.	Electron. J. Comb.	2012	DBLP DOI BibTeX RDF
15	Ron M. Adin, Yuval Roichman	Triangle-Free Triangulations, Hyperplane Arrangements and Shifted Tableaux.	Electron. J. Comb.	2012	DBLP DOI BibTeX RDF
15	Mauro Ferrari 0002, Camillo Fiorentini, Guido Fiorino	Simplification Rules for Intuitionistic Propositional Tableaux.	ACM Trans. Comput. Log.	2012	DBLP DOI BibTeX RDF
15	William Y. C. Chen, Peter L. Guo	Oscillating rim hook tableaux and colored matchings.	Adv. Appl. Math.	2012	DBLP DOI BibTeX RDF
15	Greta Panova	Tableaux and plane partitions of truncated shapes.	Adv. Appl. Math.	2012	DBLP DOI BibTeX RDF
15	Md. Anisur Rahman, Mehedi Masud, Iluju Kiringa, Abdulmotaleb El-Saddik	Tableaux-based optimization of schema mappings for data integration.	J. Intell. Inf. Syst.	2012	DBLP DOI BibTeX RDF
15	Dov M. Gabbay	Introducing reactive modal tableaux.	Ann. Math. Artif. Intell.	2012	DBLP DOI BibTeX RDF
15		Tableaux for multi-modal hybrid logic with binders, transitive relations and relation hierarchies	CoRR	2012	DBLP BibTeX RDF
15	Linh Anh Nguyen	ExpTime Tableaux for the Description Logic SHIQ Based on Global State Caching and Integer Linear Feasibility Checking	CoRR	2012	DBLP BibTeX RDF
15	Daniel Rönnedal	Temporal alethic-deontic logic and semantic tableaux.	J. Appl. Log.	2012	DBLP DOI BibTeX RDF
15	Hidenori Kurokawa	Tableaux and hypersequents for justification logics.	Ann. Pure Appl. Log.	2012	DBLP DOI BibTeX RDF
15	Ángel Nepomuceno-Fernández, Francisco J. Salguero-Lamillar, David Fernández-Duque	Tableaux for structural abduction.	Log. J. IGPL	2012	DBLP DOI BibTeX RDF
15	Jin Hong 0001, Hyeonmi Lee	Young tableaux and crystal B(∞) for the exceptional Lie algebra types.	J. Comb. Theory, Ser. A	2012	DBLP DOI BibTeX RDF
15	Mahir Bilen Can, Michael Joyce	Ordered Bell numbers, Hermite polynomials, skew Young tableaux, and Borel orbits.	J. Comb. Theory, Ser. A	2012	DBLP DOI BibTeX RDF
15	Bjarne Holen, Dag Hovland, Martin Giese	Efficient Rule-Matching for Hyper-Tableaux.	IWIL@LPAR	2012	DBLP DOI BibTeX RDF
15	Ji Ma	Analysis of access control protocols using labelled tableaux.	ICITST	2012	DBLP BibTeX RDF
15	Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois	Tableaux Modulo Theories Using Superdeduction - An Application to the Verification of B Proof Rules with the Zenon Automated Theorem Prover.	IJCAR	2012	DBLP DOI BibTeX RDF
15	Clare Dixon, Boris Konev, Renate A. Schmidt, Dmitry Tishkovsky	Labelled Tableaux for Temporal Logic with Cardinality Constraints.	SYNASC	2012	DBLP DOI BibTeX RDF
15	Weili Fu, Rafael Peñaloza	Adding Context to Tableaux for DLs.	Description Logics	2012	DBLP BibTeX RDF
15	Jaromir Malenko, Petr Stepánek	Nonmonotonic Reasoning in Description Logic by Tableaux Algorithm with Blocking.	Description Logics	2012	DBLP BibTeX RDF
15	Loris Bozzato, Martin Homola, Luciano Serafini	Towards More Effective Tableaux Reasoning for CKR.	Description Logics	2012	DBLP BibTeX RDF
15	Ron M. Adin, Ronald C. King, Yuval Roichman	Enumeration of Standard Young Tableaux of certain Truncated Shapes.	Electron. J. Comb.	2011	DBLP DOI BibTeX RDF
15	Richard P. Stanley	Two Remarks on Skew Tableaux.	Electron. J. Comb.	2011	DBLP DOI BibTeX RDF
15	William Y. C. Chen, Lewis H. Liu	Permutation Tableaux and the Dashed Permutation Pattern 32-1.	Electron. J. Comb.	2011	DBLP DOI BibTeX RDF
15	Matjaz Konvalinka	The Weighted Hook Length Formula III: Shifted Tableaux.	Electron. J. Comb.	2011	DBLP DOI BibTeX RDF