Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|