Search results for "Tableaux"

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