Search results for "Tableaux"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
47	Andrey Paskevich	Connection Tableaux with Lazy Paramodulation.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Connection tableaux, Lazy paramodulation, Basic ordered paramodulation, First-order logic with equality
47	Roderic A. Girle	Tableaux for Expansion and Contraction.	PRICAI	1996	DBLP DOI BibTeX RDF	belief revision, tableaux, paraconsistency
46	Judith Jagenteufel	A Sundaram type Bijection for SO(3): Vacillating Tableaux and Pairs of Standard Young Tableaux and Orthogonal Littlewood-Richardson Tableaux.	Electron. J. Comb.	2018	DBLP DOI BibTeX RDF
46	Thomas Selig, Jason P. Smith, Einar Steingrímsson	EW-Tableaux, Le-Tableaux, Tree-Like Tableaux and the Abelian Sandpile Model.	Electron. J. Comb.	2018	DBLP DOI BibTeX RDF
44	Serenella Cerrito, Marta Cialdea Mayer	Using Linear Temporal Logic to Model and Solve Planning Problems.	AIMSA	1998	DBLP DOI BibTeX RDF	Planning, Temporal Reasoning, Linear Temporal Logic, Tableaux, Model Search
44	Alfred V. Aho, Yehoshua Sagiv, Jeffrey D. Ullman	Efficient Optimization of a Class of Relational Expressions.	ACM Trans. Database Syst.	1979	DBLP DOI BibTeX RDF	equivalence of queries, relational database, query optimization, NP-completeness, relational algebra, tableaux
44	David Maier 0001, Alberto O. Mendelzon, Yehoshua Sagiv	Testing Implications of Data Dependencies.	ACM Trans. Database Syst.	1979	DBLP DOI BibTeX RDF	relational databases, data dependencies, functional dependencies, chase, tableaux, multivalued dependencies, join dependencies
39	Stephan Grimm, Pascal Hitzler	A Preferential Tableaux Calculus for Circumscriptive ALCO{\mathcal ALCO}.	RR	2009	DBLP DOI BibTeX RDF
39	Ji Ma 0001, Mehmet A. Orgun	Analytic Tableaux for Verifying Agent Beliefs.	Web Intelligence/IAT Workshops	2008	DBLP DOI BibTeX RDF
39	David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò 0001	A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL.	TIME	2008	DBLP DOI BibTeX RDF
39	Fernando Soler-Toscano, Ángel Nepomuceno-Fernández	: Tableaux and Resolution for Finite Abduction.	JELIA	2006	DBLP DOI BibTeX RDF
39	Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima	Upside-Down Transformation in SOL/Connection Tableaux and Its Application.	ICTAC	2005	DBLP DOI BibTeX RDF
39	Clare Dixon, Cláudia Nalon, Michael Fisher 0001	Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning.	TIME	2003	DBLP DOI BibTeX RDF
39	Guido Governatori, Alessio Lomuscio, Marek J. Sergot	A Tableaux System for Deontic Interpreted Systems.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF
39	Martin Giese	Incremental Closure of Free Variable Tableaux.	IJCAR	2001	DBLP DOI BibTeX RDF
39	Machiel G. Jansen, Guus Schreiber, Bob J. Wielinga	Adapting Tableaux for Classification (Short Paper).	EKAW	2000	DBLP DOI BibTeX RDF
39	Reinhold Letz	Using Matings for Pruning Connection Tableaux.	CADE	1998	DBLP DOI BibTeX RDF
39	Stefan Klingenbeck, Reiner Hähnle	Semantic Tableaux with Ordering Restrictions.	CADE	1994	DBLP DOI BibTeX RDF
39	Joachim Posegga	Compiling Proof Search in Semantic Tableaux.	ISMIS	1993	DBLP DOI BibTeX RDF
39	Bernhard Beckert, Reiner Hähnle	An Improved Method for Adding Equality to Free Variable Semantic Tableaux.	CADE	1992	DBLP DOI BibTeX RDF
36	Robert Law	Using student blogs for documentation in software development projects.	ITiCSE	2011	DBLP DOI BibTeX RDF
35	Domenico Cantone, Marianna Nicolosi Asmundo	A Sound Framework for delta-Rule Variants in Free-Variable Semantic Tableaux.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	free-variable semantic tableaux, ?-rule, Skolemization
35	Martin Giese	Superposition-based Equality Handling for Analytic Tableaux.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	superposition rules, equality handling, analytic tableaux
35	Luigi Di Lascio	Hilbertian systems, analytic fuzzy tableaux and cut rule elimination in rational pavelka logic.	SEKE	2002	DBLP DOI BibTeX RDF	cut rule, fuzzy prepositional logic, galois relation, pavelka semantics, completeness, soundness, MV-algebra, tableaux
35	Anthony C. Klug, Rod Price	Determining View Dependencies Using Tableaux.	ACM Trans. Database Syst.	1982	DBLP DOI BibTeX RDF	rational algebra, dependencies, relational model, chase, tableaux
32	Martin Giese, Roman Kuznets (eds.)	TABLEAUX 2011 - Workshops, Tutorials, and Short Papers, Bern, Switzerland, July 4-8, 2011	TABLEAUX (Workshops, Tutorials, and Short Papers)	2011	DBLP BibTeX RDF
32	Andrew Matusiewicz	A Dynamic Programming Algorithm for Prime Implicates.	TABLEAUX (Workshops, Tutorials, and Short Papers)	2011	DBLP BibTeX RDF
32	Alwen Tiu	On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics.	TABLEAUX (Workshops, Tutorials, and Short Papers)	2011	DBLP BibTeX RDF
32	Christian Mahesh Hansen, Martin Giese, Arild Waaler, Roger Antonsen	Incremental Variable Splitting.	TABLEAUX (Workshops, Tutorials, and Short Papers)	2011	DBLP BibTeX RDF
32	Michel Parigot	A Symmetric Natural Deduction.	TABLEAUX (Workshops, Tutorials, and Short Papers)	2011	DBLP BibTeX RDF
32	Tom Gundersen, Michel Parigot	A Tentative Atomic Calculus for Natural Deduction.	TABLEAUX (Workshops, Tutorials, and Short Papers)	2011	DBLP BibTeX RDF
32	Lutz Straßburger	Some Remarks on Nested Sequent Systems for Modal Logics.	TABLEAUX (Workshops, Tutorials, and Short Papers)	2011	DBLP BibTeX RDF
32	Yury Savateev	Sequent Calculus for Justifications.	TABLEAUX (Workshops, Tutorials, and Short Papers)	2011	DBLP BibTeX RDF
32	Lutz Straßburger	Introduction to Proof Nets.	TABLEAUX (Workshops, Tutorials, and Short Papers)	2011	DBLP BibTeX RDF
32	Felix Klaedtke	Monitoring First-order Temporal Properties.	TABLEAUX (Workshops, Tutorials, and Short Papers)	2011	DBLP BibTeX RDF
32	Melvin Fitting	Nested Sequents and Prefixed Tableaus.	TABLEAUX (Workshops, Tutorials, and Short Papers)	2011	DBLP BibTeX RDF
32	Jesse Alama, Aleks Knoks, Sara L. Uckelman	Dialogue Games for Classical Logic.	TABLEAUX (Workshops, Tutorials, and Short Papers)	2011	DBLP BibTeX RDF
32	Norbert Gratzl	Definite and Indefinite Descriptions.	TABLEAUX (Workshops, Tutorials, and Short Papers)	2011	DBLP BibTeX RDF
32	Christophe Ringeissen, Valerio Senni	Modular Termination and Combinability for Superposition Modulo Counter Arithmetic.	TABLEAUX (Workshops, Tutorials, and Short Papers)	2011	DBLP BibTeX RDF
32	Remo Goetschi	Constructive Realization in Justification Logics via Nested Sequents.	TABLEAUX (Workshops, Tutorials, and Short Papers)	2011	DBLP BibTeX RDF
32	Serdar Erbatur, Christopher Lynch, Paliath Narendran	Unification in a Theory of Blind Signatures.	TABLEAUX (Workshops, Tutorials, and Short Papers)	2011	DBLP BibTeX RDF
32	Xuanye An, Miyuki Koshimura, Hiroshi Fujita 0002, Ryuzo Hasegawa	QMaxSAT version 0.3 & 0.4.	TABLEAUX (Workshops, Tutorials, and Short Papers)	2011	DBLP BibTeX RDF
32	Thomas Raths, Jens Otten	Implementing and Evaluating Theorem Provers for First-Order Modal Logics.	TABLEAUX (Workshops, Tutorials, and Short Papers)	2011	DBLP BibTeX RDF
32	Vincent Aravantinos, Nicolas Peltier	Generating Schemata of Resolution Proofs.	TABLEAUX (Workshops, Tutorials, and Short Papers)	2011	DBLP BibTeX RDF
32	Bertram Fronhöfer, Reiner Hähnle, Thomas Käufl (eds.)	Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992	TABLEAUX	1992	DBLP BibTeX RDF
32	Philippe Lamarre	A Tableau Like Theorem Prover for Conditional Logics (Extended Abstract).	TABLEAUX	1992	DBLP BibTeX RDF
32	Jim Cunningham, Marcello D'Agostino, Jeremy V. Pitt	Towards Tableau Theorem-Proving with Analytic Cut.	TABLEAUX	1992	DBLP BibTeX RDF
32	Peter Baumgartner 0001	A Model Elimination Calculus with Built-in Theories (Extended Abstract).	TABLEAUX	1992	DBLP BibTeX RDF
32	Wilfried Neitz	A Connection Method based Theorem Prover with Selective Backtracking (Extended Abstract).	TABLEAUX	1992	DBLP BibTeX RDF
32	Tadashi Araragi	A Uniform Prefixed Tableau Method for Positive First-Order Definable Systems.	TABLEAUX	1992	DBLP BibTeX RDF
32	Jürgen Lehmann	A Workbench for Model Elimination (Abstract).	TABLEAUX	1992	DBLP BibTeX RDF
32	Thomas Käufl	The Prover of the Program Verification System Tatzelwurm.	TABLEAUX	1992	DBLP BibTeX RDF
32	Joachim Posegga	First-Order Shannon Graphs (Extended Abstract).	TABLEAUX	1992	DBLP BibTeX RDF
32	Aleksandar Krapez, Miodrag Kapetanovic, Zoran Ognjanovic, Tatjana Petrovic	Prover 91 - A Parallel Theorem Prover (Extended Abstract).	TABLEAUX	1992	DBLP BibTeX RDF
32	Reiner Hähnle	Analytic Tableau and Integer Programming (Extended Abstract).	TABLEAUX	1992	DBLP BibTeX RDF
32	Uwe Petermann	Proving Completeness of Connection and Other First-Order Calculi with Built-In Theories (Extended Abstract).	TABLEAUX	1992	DBLP BibTeX RDF
32	Reinhold Letz, Klaus Mayr	SETHEO II - The System and its Calculi.	TABLEAUX	1992	DBLP BibTeX RDF
32	Mark Grundy	Toward an Efficient Tableau Metaprover (Extended Abstract).	TABLEAUX	1992	DBLP BibTeX RDF
32	Nicolas Zabel	Deciding Fragments of the First Order Logic within an Extended Tableau Method.	TABLEAUX	1992	DBLP BibTeX RDF
32	Robert Johnson, Steve Reeves	Necessary and Possible Set Reconciliation and Unification in Semantic Tableau Systems (Extended Abstract).	TABLEAUX	1992	DBLP BibTeX RDF
32	Anavai Ramesh, George Becker, Neil V. Murray	On Computing Prime Implicants and Prime Implicates.	TABLEAUX	1992	DBLP BibTeX RDF
32	Oliver Bittel	The Lambda-Tableau Calculus: A New Approach to Theorem Proving in the Intuitionistic Logic (Extended Abstract).	TABLEAUX	1992	DBLP BibTeX RDF
32	Peter Baumgartner 0001, Ulrich Furbach	Consolution as a Framework for Comparing Calculi.	TABLEAUX	1992	DBLP BibTeX RDF
32	Toni Bollinger	A Model Elimination Calculus for Generalized Clauses.	TABLEAUX	1992	DBLP BibTeX RDF
32	Charles G. Morgan	An Automated Theorem Prover for Relational Logic (Abstract).	TABLEAUX	1992	DBLP BibTeX RDF
32	Wolfgang Wernecke	Tableau Calculus and Equational Reasoning (Extended Abstract).	TABLEAUX	1992	DBLP BibTeX RDF
32	Tertia Hörne, John A. van der Poll	Planning as model checking: the performance of ProB vs NuSMV.	SAICSIT	2008	DBLP DOI BibTeX RDF	tableaux theorem proving, model checking, planning, satisfiability, BDDs, constraint logic programming
32	Junghwa Chae	Towards Modal Logic Formalization of Role-Based Access Control with Object Classes.	FORTE	2007	DBLP DOI BibTeX RDF	object class hierarchy, tableaux method, Role-based access control, modal logic, object classes
32	David Masson	Designs and Representation of the Symmetric Group.	Des. Codes Cryptogr.	2003	DBLP DOI BibTeX RDF	association scheme, Specht module, Hahn polynomials, Designs, tableaux, self-dual codes, symmetric group
32	Yehoshua Sagiv	Evaluation of Queries in Independent Database Schemes.	J. ACM	1991	DBLP DOI BibTeX RDF	expanded cover, extension join, independent database scheme, representative instance, restricted projection, union of tableaux, relational database, relational algebra, functional dependency, query evaluation, chase, null value, tableau, join dependency, lossless join
32	Ilkka Niemelä	Decision Procedure for Autoepistemic Logic.	CADE	1988	DBLP DOI BibTeX RDF	analytic tableaux, theorem proving, Nonmonotonic logic
31	Bao-Xuan Zhu	A generalized Eulerian triangle from staircase tableaux and tree-like tableaux.	J. Comb. Theory, Ser. A	2020	DBLP DOI BibTeX RDF
31	Samuel Fulton, Stephen O'Connor-Seville, Matthew Welz	An index-preserving bijection between marked tableaux and Pn,2-tableaux.	Australas. J Comb.	2020	DBLP BibTeX RDF
31	Megan Ly	Shell Tableaux: A Set Partition Analog of Vacillating Tableaux.	Electron. J. Comb.	2019	DBLP DOI BibTeX RDF
31	Alina R. Mayorova	Combinatorial links between quasisymmetric functions and tableaux for Coxeter groups. (Liens combinatoires entre fonctions quasisymétriques et tableaux dans les groupes de Coxeter).		2019	RDF
31	Zakaria Chemli	Développements combinatoires autour des tableaux et des nombres eulériens. (Combinatorial developments on tableaux and eulerian numbers).		2017	RDF
31	Soichi Okada	Pieri Rules for Classical Groups and Equinumeration between Generalized Oscillating Tableaux and Semistandard Tableaux.	Electron. J. Comb.	2016	DBLP DOI BibTeX RDF
31	Christian Krattenthaler	Bijections between oscillating tableaux and (semi)standard tableaux via growth diagrams.	J. Comb. Theory, Ser. A	2016	DBLP DOI BibTeX RDF
31	Amélie David 0001	Towards Synthesizing Open Systems: Tableaux For Multi-Agent Temporal Logics. (Vers la Synthèse de Systèmes Ouverts : Tableaux pour les Logiques Temporelles Multi-Agents).		2015	RDF
31	Gergely Kovásznai	HyperS Tableaux - Heuristic Hyper Tableaux.	Acta Cybern.	2006	DBLP BibTeX RDF
31	Kazuto Asai	Jacobi-Trudi Identities for Boolean Tableaux and Ideal-tableaux of Zigzag Posets.	Eur. J. Comb.	1998	DBLP DOI BibTeX RDF
31	Janet Simpson Beissinger	Similar constructions for young tableaux and involutions, and their application to shiftable tableaux.	Discret. Math.	1987	DBLP DOI BibTeX RDF
27	Carlos Caleiro, João Marcos 0001	Classic-Like Analytic Tableaux for Finite-Valued Logics.	WoLLIC	2009	DBLP DOI BibTeX RDF	many-valued logics, proof theory
27	Divesh Srivastava	Data Auditor: Analyzing Data Quality Using Pattern Tableaux.	ER	2009	DBLP DOI BibTeX RDF
27	Corina Cîrstea, Clemens Kupke, Dirk Pattinson	EXPTIME Tableaux for the Coalgebraic µ-Calculus.	CSL	2009	DBLP DOI BibTeX RDF
27	Magdalena Ortiz 0001, Diego Calvanese, Thomas Eiter	Data Complexity of Query Answering in Expressive Description Logics via Tableaux.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Expressive description logics, Query answering, Data complexity
27	Andrey Paskevich	Connection Tableaux with Lazy Paramodulation.	IJCAR	2006	DBLP DOI BibTeX RDF
27	Hiroaki Kamoda, Akihiro Hayakawa, Masaki Yamaoka, Shigeyuki Matsuda, Krysia Broda, Morris Sloman	Policy Conflict Analysis Using Tableaux for On Demanc VPN Framework.	WOWMOM	2005	DBLP DOI BibTeX RDF
27	Nicolas Peltier	Some Techniques for Branch-Saturation in Free-Variable Tableaux.	JELIA	2004	DBLP DOI BibTeX RDF
27	Domenico Cantone, Marianna Nicolosi Asmundo	A Further and Effective Liberalization of the delta-Rule in Free Variable Semantic Tableaux.	FTP (LNCS Selection)	1998	DBLP DOI BibTeX RDF
27	Karsten Konrad	HOT: A Concurrent Automated Theorem Prover Based on Higher-Order Tableaux.	TPHOLs	1998	DBLP DOI BibTeX RDF
27	Gwen Kerdiles, Eric Salvat	A Sound and Complete CG Proof Procedure Combining Projections with Analytic Tableaux.	ICCS	1997	DBLP DOI BibTeX RDF
27	Francesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati 0001	A Uniform Tableaux Method for Nonmonotonic Modal Logics.	JELIA	1996	DBLP DOI BibTeX RDF
27	Neil V. Murray, Erik Rosenthal	Employing Path Dissolution to Shorten Tableaux Proofs.	ISSAC	1989	DBLP DOI BibTeX RDF
27	Alberto O. Mendelzon	Database States and Their Tableaux.	ACM Trans. Database Syst.	1984	DBLP DOI BibTeX RDF
24	Luciano Serafini, Andrei Tamilin	Composing Modular Ontologies with Distributed Description Logics.	Modular Ontologies	2009	DBLP DOI BibTeX RDF
24	Luke Steller, Shonali Krishnaswamy	Efficient mobile reasoning for pervasive discovery.	SAC	2009	DBLP DOI BibTeX RDF	context-aware discovery, scalable semantic reasoning, service-oriented pervasive discovery architecture
24	Luke Steller, Shonali Krishnaswamy	Optimised Semantic Reasoning for Pervasive Service Discovery.	ICSOC	2008	DBLP DOI BibTeX RDF
24	Luke Steller, Shonali Krishnaswamy	Optimised Mobile Reasoning for Pervasive Service Discovery.	ICWS	2008	DBLP DOI BibTeX RDF
24	Magdalena Ortiz 0001	Extending Carinto the Description Logics of the Family.	JELIA	2008	DBLP DOI BibTeX RDF