Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
24 | Alauddin Ahmed, Atiqur Rahman, Mohammed Anwer, Nazmul Haque, Morshed U. Chowdhury |
A Comparison of Bipartite N-Qubit States to Classify Entangled States under Symmetric Consideration. |
ACIS-ICIS |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Jung-Hwa Chae, Nematollaah Shiri |
Formalization of RBAC Policy with Object Class Hierarchy. |
ISPEC |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Martin Giese |
Saturation Up to Redundancy for Tableau and Sequent Calculi. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Julian Seidenberg, Alan L. Rector |
Representing Transitive Propagation in OWL. |
ER |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Richard Bonichon, Olivier Hermant |
On Constructive Cut Admissibility in Deduction Modulo. |
TYPES |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Terrance Swift |
Deduction in Ontologies via ASP. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Andrei Voronkov |
KK: a theorem prover for K. |
CADE |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Reiner Hähnle, Neil V. Murray, Erik Rosenthal |
Completeness for Linear Regular Negation Normal Form Inference Systems. |
ISMIS |
1997 |
DBLP DOI BibTeX RDF |
tableau method, non-clausal inference, negation normal form, completeness, resolution, Logic for Artificial Intelligence |
24 | Anatoli Degtyarev, Andrei Voronkov |
Equality Elimination for the Tableau Method. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Antonio Gavilanes-Franco, Francisca Lucio-Carrasco, Mario Rodríguez-Artalejo |
Reasoning with Higher Order Partial Functions. |
CSL |
1992 |
DBLP DOI BibTeX RDF |
|
24 | Pratul Dublish, Joachim Biskup, Yehoshua Sagiv |
Optimizatioin of a Subclass of Conjunctive Queries. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Neil V. Murray, Erik Rosenthal |
Reexamining Intractability of Tableau Methods. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Heikki Tuominen |
Proving Properties of Elementary Net Systems with a Special-Purpose Theorem Prover. |
Automatic Verification Methods for Finite State Systems |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Umeshwar Dayal, Nathan Goodman, Randy H. Katz |
An Extended Relational Algebra with Control over Duplicate Elimination. |
PODS |
1982 |
DBLP DOI BibTeX RDF |
|
24 | David Maier 0001, Alberto O. Mendelzon, Yehoshua Sagiv |
Testing Implications of Data Dependencies (Abstract). |
SIGMOD Conference |
1979 |
DBLP DOI BibTeX RDF |
|
24 | Alfred V. Aho, Yehoshua Sagiv, Jeffrey D. Ullman |
Efficient Optimization of a Class of Relational Expressions (Abstract). |
SIGMOD Conference |
1978 |
DBLP DOI BibTeX RDF |
|
20 | Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind |
Tableau calculus for preference-based conditional logics: PCL and its extensions. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
Tableaux calculi, conditional logics |
20 | Chan Le Duc |
Decidability of SHI with Transitive Closure of Roles. |
ESWC |
2009 |
DBLP DOI BibTeX RDF |
OWL, Description Logics, Decidability, Tableaux |
20 | Inanç Seylan, Wojciech Jamroga |
Description logic for coalitions. |
AAMAS (1) |
2009 |
DBLP BibTeX RDF |
strategic logics, satisfiability, description logics, tableaux |
20 | Valentin Goranko, Dmitry Shkatov |
Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time. |
AAMAS (2) |
2009 |
DBLP BibTeX RDF |
logics for multi-agent systems, decision procedures, tableaux |
20 | Claudio Pizzi |
Necessity and Relative Contingency. |
Stud Logica |
2007 |
DBLP DOI BibTeX RDF |
relative necessity, propositional constants, semantic tableaux, Contingency |
20 | Reinhold Letz, Gernot Stenz |
The Disconnection Tableau Calculus. |
J. Autom. Reason. |
2007 |
DBLP DOI BibTeX RDF |
disconnection tableaux, theorem proving |
20 | Davide Bresolin, Angelo Montanari, Guido Sciavicco |
An Optimal Decision Procedure for Right Propositional Neighborhood Logic. |
J. Autom. Reason. |
2007 |
DBLP DOI BibTeX RDF |
tableaux-based decision procedures, right propositional neighborhood logic, interval temporal logic |
20 | Melvin Fitting |
FOIL Axiomatized. |
Stud Logica |
2006 |
DBLP DOI BibTeX RDF |
modal logic, predicate abstraction, axiomatization, tableaux, intensional logic |
20 | Francis Jeffry Pelletier |
On Some Alleged Misconceptions about Fuzzy Logic. |
Artif. Intell. Rev. |
2004 |
DBLP DOI BibTeX RDF |
truth interval tableaux, fuzzy logic, proof theory |
20 | Wilfred Ng |
An extension of the relational data model to incorporate ordered domains. |
ACM Trans. Database Syst. |
2001 |
DBLP DOI BibTeX RDF |
Axiom system, chase rules, language expressiveness, mixed ordering, nonuniform completeness, order-preserving database automorphism, ordered SQL, ordered functional dependencies, ordered relational model, partially ordered domains, partially ordered relational algebra, pointwise ordering, valuation mapping, tableaux, lexicographical ordering, ordered relations, implication problem |
20 | David A. Plaisted |
Special Cases and Substitutes for Rigid E-Unification. |
Appl. Algebra Eng. Commun. Comput. |
2000 |
DBLP DOI BibTeX RDF |
Rigid E -unification, Theorem proving, First-order logic, Decidability, Unification, Equality, Horn clauses, Tableaux |
20 | Andrew Slater, Rajeev Goré, Joachim Posegga, Harald Vogt |
cardTAP: Automated Deduction on a Smart Card. |
Australian Joint Conference on Artificial Intelligence |
1998 |
DBLP DOI BibTeX RDF |
lean TAP, security, java, proof carrying code, automated deduction, tableaux |
20 | Saturnino F. Luz-Filho |
Grammar Specification in Categorial Logics and Theorem Proving. |
CADE |
1996 |
DBLP DOI BibTeX RDF |
Mechanisms (semantic tableaux) and Applications (computational liguistics) |
20 | Alois P. Heinz |
Finding Two-Tree-Factor Elements of Tableau-Defined Monoids in Time O(n³). |
ICCI |
1990 |
DBLP DOI BibTeX RDF |
relational database, query optimization, relational algebra, tableaux |
20 | Marc H. Graham |
Functions in Databases. |
ACM Trans. Database Syst. |
1983 |
DBLP DOI BibTeX RDF |
functional dependencies, tableaux |
17 | Alexandre Madeira, Mario R. F. Benevides (eds.) |
Dynamic Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings |
DALI@TABLEAUX |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Marlo Souza, Álvaro F. Moreira, Renata Vieira |
Dynamic Preference Logic as a Logic of Belief Change. |
DALI@TABLEAUX |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Sonja Smets, Fernando R. Velázquez-Quesada |
The Creation and Change of Social Networks: A Logical Study Based on Group Size. |
DALI@TABLEAUX |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Luís Soares Barbosa |
Layered Logics, Coalgebraically. |
DALI@TABLEAUX |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Raul Fervari, Fernando R. Velázquez-Quesada |
Dynamic Epistemic Logics of Introspection. |
DALI@TABLEAUX |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema |
Parity Games and Automata for Game Logic. |
DALI@TABLEAUX |
2017 |
DBLP DOI BibTeX RDF |
|
17 | José Luiz Fiadeiro, Ionut Tutu, Antónia Lopes, Dusko Pavlovic |
Logics for Actor Networks: A Case Study in Constrained Hybridization - A Case Study in Constrained Hybridization. |
DALI@TABLEAUX |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Philippe Balbiani, Joseph Boudou |
Axiomatization and Computability of a Variant of Iteration-Free PDL with Fork. |
DALI@TABLEAUX |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Carlos Areces, Raul Fervari, Guillaume Hoffmann 0001, Mauricio Martel |
Undecidability of Relation-Changing Modal Logics. |
DALI@TABLEAUX |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Tristan Charrier, Sophie Pinchinat, François Schwarzentruber |
Model Checking Against Arbitrary Public Announcement Logic: A First-Order-Logic Prover Approach for the Existential Fragment. |
DALI@TABLEAUX |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Alexandru Baltag, Nina Gierasimczuk, Aybüke Özgün, Ana Lucia Vargas Sandoval, Sonja Smets |
A Dynamic Logic for Learning Theory. |
DALI@TABLEAUX |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Yuri David Santos |
A Dynamic Informational-Epistemic Logic. |
DALI@TABLEAUX |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Vaughan R. Pratt |
Dynamic Logic: A Personal Perspective. |
DALI@TABLEAUX |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Robin D. P. Zhou, Sherry H. F. Yan |
Equidistribution of set-valued statistics on standard Young tableaux and transversals. |
Adv. Appl. Math. |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Pablo Caballero, Pablo Valencia |
A Sound and Complete Tableaux Calculus for Reichenbach's Quantum Mechanics Logic. |
J. Philos. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Zhanggui Wu, Yen-Jen Cheng, Sen-Peng Eu, Jyun-Cheng Yao |
Sign balances and promotion order of Young-Fibonacci tableaux. |
Discret. Math. |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Jiyang Gao, Shiliang Gao, Yibo Gao |
Balanced shifted tableaux. |
Discret. Math. |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato |
SAT Meets Tableaux for Linear Temporal Logic Satisfiability. |
J. Autom. Reason. |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Emily Gunawan, Jianping Pan, Heather M. Russell, Bridget Eileen Tenner |
RSK Tableaux and the Weak Order on Fully Commutative Permutations. |
Electron. J. Comb. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Jianping Pan, Tianyi Yu |
A Bijection Between K-Kohnert Diagrams and Reverse Set-Valued Tableaux. |
Electron. J. Comb. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Sam Hopkins, Alexander Lazar, Svante Linusson |
On the q-enumeration of barely set-valued tableaux and plane partitions. |
Eur. J. Comb. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Jang Soo Kim, Michael J. Schlosser, Meesue Yoo |
Enumeration of standard barely set-valued tableaux of shifted shapes. |
Eur. J. Comb. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Christoph Wernhard |
Range-Restricted Interpolation through Clausal Tableaux. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir |
Complexity results for modal logic with recursion via translations and tableaux. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yanjun Li |
Tableaux for the Logic of Strategically Knowing How. |
TARK |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Iris Stephanie Arenas Longoria, James A. Mingo |
Freely Independent Coin Tosses, Standard Young Tableaux, and the Kesten-McKay Law. |
Am. Math. Mon. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Alex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio |
Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models. |
J. Log. Algebraic Methods Program. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Jean-Christophe Aval, Adrien Boussicault, Mathilde Bouvel, Olivier Guibert, Matteo Silimbani |
Baxter tree-like tableaux. |
Australas. J Comb. |
2023 |
DBLP BibTeX RDF |
|
15 | Joshua Basman Monterrubio, Graeme Henrickson, Anna Stokke |
Cyclic sieving for a family of semistandard tableaux. |
Australas. J Comb. |
2023 |
DBLP BibTeX RDF |
|
15 | Montserrat Hermo, Paqui Lucio, César Sánchez 0001 |
Tableaux for Realizability of Safety Specifications. |
FM |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Didier Galmiche, Daniel Méry |
Labelled Tableaux for Linear Time Bunched Implication Logic. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Santiago Bautista |
Static Analysis of Algebraic Data Types and Arrays. (Analyse Statique de Types Algébriques et de Tableaux). |
|
2023 |
RDF |
|
15 | Nohra Hage |
Super jeu de taquin and combinatorics of super tableaux of type A. |
Int. J. Algebra Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Myrto Kallipoliti, Robin Sulzgruber, Eleni Tzanaki |
Patterns in Shi Tableaux and Dyck Paths. |
Order |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Alejandro H. Morales, Igor Pak, Martin Tassy |
Asymptotics for the number of standard tableaux of skew shape and for weighted lozenge tilings. |
Comb. Probab. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Wagner Sanz |
Proof-search, analytic tableaux, models and counter-models, in Hypo constructive semantics for Minimal and Intuitionistic Propositional Logic. |
FLAP |
2022 |
DBLP BibTeX RDF |
|
15 | Joanna N. Chen |
Block decomposition and statistics arising from permutation tableaux. |
Eur. J. Comb. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Reuven Hodges, Gidon Orelowitz |
Approximate counting of standard set-valued tableaux. |
Theor. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Alan J. Cain, Erkko Lehtonen |
Reconstructing Young tableaux. |
J. Comb. Theory, Ser. A |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Juan Carlos Sánchez Hernández |
Tableaux for Some Modal-Tense Logics Graham Priest's Fashion. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Tomasz Jarmuzek, Mateusz Klonowski |
Tableaux for Logics of Content Relationship and Set-Assignment Semantics. |
Logica Universalis |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Mark Dukes, Toufik Mansour |
A maxdrop statistic for standard Young tableaux. |
Discret. Math. Algorithms Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Sebastian Miron |
Factorisations des tableaux multidimensionnels de données sous contraintes : unicité et applications. |
|
2022 |
RDF |
|
15 | Michal Sochanski, Dorota Leszczynska-Jasion, Szymon Chlebowski, Agata Tomczyk, Marcin Jukiewicz |
Synthetic Tableaux: Minimal Tableau Search Heuristics. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Julien Braine |
The Data-abstraction Framework: abstracting unbounded data-structures in Horn clauses, the case of arrays. (La Méthode Data-abstraction: une technique d'abstraction de structures de données non-bornées dans des clauses de Horn, le cas des tableaux). |
|
2022 |
RDF |
|
15 | Rachel Karpman, Érika Roldán |
Isotopy graphs of Latin tableaux. |
Adv. Appl. Math. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Neil J. Y. Fan, Peter L. Guo |
Set-valued Rothe tableaux and Grothendieck polynomials. |
Adv. Appl. Math. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Ping Sun |
On the moments of normal distributions and numbers of standard Young tableaux. |
Adv. Appl. Math. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Claudia Malvenuto, Christophe Reutenauer |
Primitive elements of the Hopf algebras of tableaux. |
Eur. J. Comb. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Il-Seung Jang, Jae-Hoon Kwon |
Flagged Littlewood-Richardson tableaux and branching rule for classical groups. |
J. Comb. Theory, Ser. A |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Seung-Il Choi, Young-Hun Kim, Sun-Young Nam, Young-Tak Oh |
Modules of the 0-Hecke algebra arising from standard permuted composition tableaux. |
J. Comb. Theory, Ser. A |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Serenella Cerrito |
Tableaux like model checking on-the-fly for ATL+. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Andrzej Indrzejczak, Michal Zawidzki |
Tableaux for Free Logics with Descriptions. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Michael Färber 0002 |
A Curiously Effective Backtracking Strategy for Connection Tableaux. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Xiaomei Chen |
Enumeration of row-increasing tableaux of two-row skew shapes. |
Discret. Math. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Rosena R. X. Du, Jingni Yu |
Standard Young tableaux in a (2, 1)-hook and Motzkin paths. |
Discret. Math. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Luca Ferrari 0001 |
Schröder partitions, Schröder tableaux and weak poset patterns. |
Contributions Discret. Math. |
2021 |
DBLP BibTeX RDF |
|
15 | Christoph Wernhard |
Craig Interpolation with Clausal First-Order Tableaux. |
J. Autom. Reason. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Michael Färber 0002, Cezary Kaliszyk, Josef Urban |
Machine Learning Guidance for Connection Tableaux. |
J. Autom. Reason. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Oliver Clarke, Fatemeh Mohammadi |
Standard monomial theory and toric degenerations of Schubert varieties from matching field tableaux. |
J. Symb. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Giorgio Venturi, Pedro Teixeira Yago |
Tableaux for essence and contingency. |
Log. J. IGPL |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Josep Argelich, Chu Min Li, Felip Manyà, Joan Ramon Soler |
Clause tableaux for maximum and minimum satisfiability. |
Log. J. IGPL |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Brian Tianyao Chan |
A generalization of balanced tableaux and marriage problems with unique solutions. |
Ars Math. Contemp. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Arnaud Giacometti, Béatrice Markhoff, Arnaud Soulet |
VERSUS : générateur de tableaux comparatifs à partir de bases de connaissances. |
EGC |
2021 |
DBLP BibTeX RDF |
|
15 | Tarek Benkhelif, Clara Lebeau |
Construction d'un graphe de dépendances fonctionnelles à partir de tableaux web. |
EGC |
2021 |
DBLP BibTeX RDF |
|
15 | Mariusz Kaniecki, Justyna Kosakowska |
Combinatorial Algorithms for Binary Operations on LR-tableaux with Entries Equal to 1 with Applications to Nilpotent Linear Operators. |
Fundam. Informaticae |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Sara C. Billey, Matjaz Konvalinka, Joshua P. Swanson |
Asymptotic normality of the major index on standard tableaux. |
Adv. Appl. Math. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Olya Mandelshtam |
Toric tableaux and the inhomogeneous two-species TASEP on a ring. |
Adv. Appl. Math. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | José Martín Castro-Manzano |
Distribution Tableaux, Distribution Models. |
Axioms |
2020 |
DBLP DOI BibTeX RDF |
|