Search results for "Tableau"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
67	Quan Liu, Yang Gao 0001, Zhiming Cui, WangShu Yao, ZhongWen Chen	An Tableau Automated Theorem Proving Method Using Logical Reinforcement Learning.	ISICA	2007	DBLP DOI BibTeX RDF	logical reinforcement learning, tableau automated theorem proving, LOMDP
67	Julian C. Bradfield, Javier Esparza, Angelika Mader	An Effective Tableau System for the Linear Time µ-Calculus.	ICALP	1996	DBLP DOI BibTeX RDF	linear-time -calculus, local model-checking, temporal logic, tableau systems
67	Renate A. Schmidt, Dmitry Tishkovsky	Automated Synthesis of Tableau Calculi.	TABLEAUX	2009	DBLP DOI BibTeX RDF
67	Guilin Qi, Jeff Z. Pan	A Tableau Algorithm for Possibilistic Description Logic .	ASWC	2008	DBLP DOI BibTeX RDF
67	Valentin Goranko, Angelo Montanari, Guido Sciavicco	A General Tableau Method for Propositional Interval Temporal Logics.	TABLEAUX	2003	DBLP DOI BibTeX RDF
61	Laura K. Dillon, Y. S. Ramakrishna	Generating Oracles from Your Favorite Temporal Logic Specifications.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF	propositional temporal logic, specification-based test oracles, tableau methods, test validation, verification, formal specification
61	Patrick Blackburn, Maarten Marx	Tableaux for Quantified Hybrid Logic.	TABLEAUX	2002	DBLP DOI BibTeX RDF
57	John Christopher McCabe-Dansted	A Tableau for RoBCTL*.	JELIA	2008	DBLP DOI BibTeX RDF	QCTL*, Robustness, Diagnosis, Logic, Bundled, Tableau
57	Mark Reynolds 0001	A Tableau for CTL.	FM	2009	DBLP DOI BibTeX RDF
57	Vineet Padmanabhan, Guido Governatori	A Fibred Tableau Calculus for Modal Logics of Agents.	DALT	2006	DBLP DOI BibTeX RDF
57	Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer	A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication.	DALT	2005	DBLP DOI BibTeX RDF
57	Marc Geilen, Dennis Dams	An On-the-Fly Tableau Construction for a Real-Time Temporal Logic.	FTRTFT	2000	DBLP DOI BibTeX RDF
57	Reiner Hähnle	Towards an Efficient Tableau Proof Procedure for Multiple-Valued Logics.	CSL	1990	DBLP DOI BibTeX RDF
51	Vincent Tableau Roche, Purushotham Murugappa Velayuthan	Dijkstra-Through-Time: Ahead of time hardware scheduling method for deterministic workloads.	CoRR	2021	DBLP BibTeX RDF
51	Stefan Gerberding	DT - An Automated Theorem Prover for Multiple-Valued First-Order Predicate Logics.	ISMVL	1996	DBLP DOI BibTeX RDF	Deep Thought, multiple-valued first-order logics, lemma generation, tableau expansion, branch closure, theorem proving, multivalued logic, multiple-valued logics, quantifiers, first-order predicate logic, truth tables, automated theorem prover
51	Yonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli	A Decision Algorithm for Full Propositional Temporal Logic.	CAV	1993	DBLP DOI BibTeX RDF	satisfiability checking, validity checking, past and future operators, incremental tableau, model checking, temporal logic, automatic verification
50	Reinhold Letz, Gernot Stenz	Universal Variables in Disconnection Tableaux.	TABLEAUX	2003	DBLP DOI BibTeX RDF
50	Reinhold Letz, Gernot Stenz	Automated Theorem Proving Proof and Model Generation with Disconnection Tableaux.	LPAR	2001	DBLP DOI BibTeX RDF
47	Carsten Lutz, Maja Milicic	A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	concrete domains, tableau algorithm, description logic, decidability
47	Linh Anh Nguyen, Andrzej Szalas	A Tableau Calculus for Regular Grammar Logics with Converse.	CADE	2009	DBLP DOI BibTeX RDF
47	Natthapong Jungteerapanich	A Tableau System for the Modal µ-Calculus.	TABLEAUX	2009	DBLP DOI BibTeX RDF
47	Renate A. Schmidt, Dmitry Tishkovsky	A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments.	IJCAR	2008	DBLP DOI BibTeX RDF
47	Daniel Marques de Oliveira, Rafael Dueire Lins	Improving the Border Detection and Image Enhancement Algorithms in Tableau.	ICIAR	2008	DBLP DOI BibTeX RDF	Whiteboard images, border detection, portable cameras
47	Renate A. Schmidt, Dmitry Tishkovsky	Using Tableau to Decide Expressive Description Logics with Role Negation.	ISWC/ASWC	2007	DBLP DOI BibTeX RDF
47	Rajeev Goré, Linh Anh Nguyen	A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics.	TABLEAUX	2005	DBLP DOI BibTeX RDF
47	Mark Reynolds 0001	Towards a CTL* Tableau.	FSTTCS	2005	DBLP DOI BibTeX RDF
47	Marc Geilen	An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic.	CAV	2003	DBLP DOI BibTeX RDF
47	Carsten Lutz, Frank Wolter, Michael Zakharyaschev	A Tableau Algorithm for Reasoning about Concepts and Similarity.	TABLEAUX	2003	DBLP DOI BibTeX RDF
47	Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind	Tableau Calculi for Preference-Based Conditional Logics.	TABLEAUX	2003	DBLP DOI BibTeX RDF
47	Mauro Ferrari 0002, Camillo Fiorentini, Guido Fiorino	Tableau Calculi for the Logics of Finite k-Ary Trees.	TABLEAUX	2002	DBLP DOI BibTeX RDF
47	Oliver Bittel	Tableau-Based Theorem Proving and Synthesis of Lambda-Terms in the Intuitionistic Logic.	JELIA	1992	DBLP DOI BibTeX RDF	Typed -Calculus, Program Synthesis, Intuitionistic Logic, Automatic Theorem Proving
47	Neil V. Murray, Erik Rosenthal	Reexamining Intractability of Tableau Methods.	ISSAC	1990	DBLP DOI BibTeX RDF
41	Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev	Temporalising Tableaux.	Stud Logica	2004	DBLP DOI BibTeX RDF	monodic fragment, tableau algorithm, first-order temporal logic
41	Yinglong Ma, Jun Wei 0001, Beihong Jin, Shaohua Liu	A Formal Framework for Ontology Integration Based on a Default Extension to DDL.	ICTAC	2004	DBLP DOI BibTeX RDF	distributed description logics, default extension, Tableau algorithm, Ontology integration, semantic query
40	Christoph Wernhard	Tableaux for Projection Computation and Knowledge Compilation.	TABLEAUX	2009	DBLP DOI BibTeX RDF
40	Pietro Abate, Rajeev Goré, Florian Widmann	One-Pass Tableaux for Computation Tree Logic.	LPAR	2007	DBLP DOI BibTeX RDF
40	Franz Baader, Rafael Peñaloza	Axiom Pinpointing in General Tableaux.	TABLEAUX	2007	DBLP DOI BibTeX RDF
40	Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter	From Tableaux to Automata for Description Logics.	LPAR	2003	DBLP DOI BibTeX RDF
40	Reinhold Letz	Using Matings for Pruning Connection Tableaux.	CADE	1998	DBLP DOI BibTeX RDF
37	Xiaolei Gao, Huaikou Miao	Proving Total Correctness of Refinement Based on Tableau.	ISPA	2009	DBLP DOI BibTeX RDF	Tableau method, Specification, refinement, theorem proving, Program Synthesis, total correctness
37	Domenico Cantone, Calogero G. Zarba, Rosa Ruggeri Cannata	A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	semantic tableau, set theory, decision procedure
37	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
37	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
37	Mario Romero, Zachary Pousman, Michael Mateas	Alien presence in the home: the design of Tableau Machine.	Pers. Ubiquitous Comput.	2008	DBLP DOI BibTeX RDF	Design for enchantment, Computer vision, Formative evaluation, Generative art, Ambient information systems
37	Zachary Pousman, Mario Romero, Adam M. Smith 0001, Michael Mateas	Living with tableau machine: a longitudinal investigation of a curious domestic intelligence.	UbiComp	2008	DBLP DOI BibTeX RDF	activity characterization, casual information visualization, information visualization, sensors, ambient intelligence, interactive art, evaluation techniques
37	Reinhold Letz, Gernot Stenz	The Disconnection Tableau Calculus.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	disconnection tableaux, theorem proving
37	Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala	Tableau Systems for Logics of Subinterval Structures over Dense Orderings.	TABLEAUX	2007	DBLP DOI BibTeX RDF
37	Jianjiang Lu, Baowen Xu, Yanhui Li, Dazhou Kang, Peng Wang 0004	Extended Fuzzy ALCN and Its Tableau Algorithm.	FSKD (1)	2005	DBLP DOI BibTeX RDF
37	Richard Bonichon	TaMeD: A Tableau Method for Deduction Modulo.	IJCAR	2004	DBLP DOI BibTeX RDF
37	Linh Anh Nguyen	Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief.	TABLEAUX	2002	DBLP DOI BibTeX RDF
37	Jan Hladik	Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment.	TABLEAUX	2002	DBLP DOI BibTeX RDF
37	Jef Wijsen, Alexis Bès	Temporal Tableau Queries.	TIME	2001	DBLP DOI BibTeX RDF
37	Vasilis Aggelis 0001, Stavros S. Cosmadakis	Optimization of Nested SQL Queries by Tableau Equivalence.	DBPL	1999	DBLP DOI BibTeX RDF
37	Domenico Cantone, Calogero G. Zarba	A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory.	FTP (LNCS Selection)	1998	DBLP DOI BibTeX RDF
37	Ullrich Hustadt, Renate A. Schmidt	Simplification and Backjumping in Modal Tableau.	TABLEAUX	1998	DBLP DOI BibTeX RDF
37	Matteo Baldoni, Laura Giordano 0001, Alberto Martelli	A Tableau for Multimodal Logics and Some (Un)Decidability Results.	TABLEAUX	1998	DBLP DOI BibTeX RDF	Multimodal logics, Prefixed Tableaux methods, Decidability, Formal Grammars
37	Peter H. Schmitt, Wolfgang Wernecke	Tableau Calculus for Order Sorted Logic.	Sorts and Types in Artificial Intelligence	1989	DBLP DOI BibTeX RDF
33	Khadija Jradeh	Optimised tableau algorithms for reasoning in the description logic ALC extended with link keys. (Algorithmes de tableau optimisés pour le raisonnement dans la logique de description ALC étendue avec des clés de liage).		2022	RDF
33	Michel Mercier	Ajustement statistique d'un tableau sur des marges : application au tableau des entrées intermédiaires.		1981	RDF
30	Melvin Fitting	How True It Is = Who Says It's True.	Stud Logica	2009	DBLP DOI BibTeX RDF	modal logic, bisimulation, many-valued logic, boolean algebra, tableau, logic of knowledge
30	Wanwei Liu, Ji Wang 0001, Huowang Chen, Xiaodong Ma, Zhaofei Wang	Symbolic model checking APSL.	Frontiers Comput. Sci. China	2009	DBLP DOI BibTeX RDF	tableau approach, extended NuSMV, symbolic model checking, property specification language
30	Mark Kaminski, Gert Smolka	Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse.	IJCAR	2008	DBLP DOI BibTeX RDF	modal and hybrid logics, difference modality, converse, decision procedures, tableau systems
30	Olivier Gasquet, Bilal Said	Tableaux with Dynamic Filtration for Layered Modal Logics.	TABLEAUX	2007	DBLP DOI BibTeX RDF	Layered Modal Logic, Dynamic Filtration, Satisfaction problem, Complexity, Tableau
30	Jianjiang Lu, Yanhui Li, Bo Zhou 0019, Dazhou Kang, Yafei Zhang	Distributed Reasoning with Fuzzy Description Logics.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF	discrete tableau algorithm, ontologies, connection
30	Will Marrero	Using BDDs to Decide CTL.	TACAS	2005	DBLP DOI BibTeX RDF	validity, satisfiability, BDDs, CTL, tableau
30	Antonella Santone, Gigliola Vaglini	Local model checking of Java bytecode.	SEKE	2002	DBLP DOI BibTeX RDF	model checking, temporal logic, software systems, tableau system
30	Rami El-Baïda, Jean Paul Bahsoun	Automatic Verification of Concurrent Object Properties.	AICCSA	2001	DBLP DOI BibTeX RDF	Programming languages and systems, Tableau method, Software engineering, Temporal logic, Decision procedure
30	Zohar Manna, Richard J. Waldinger	Fundamentals of Deductive Program Synthesis.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	deductive program synthesis, deductive-tableau system, theorem-proving framework, nonclausal resolution rule, induction rule, formal specification, artificial intelligence, specification, theorem proving, program testing, reasoning, inference mechanisms, proof
30	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
30	Julian C. Bradfield	Proving temporal properties of Petri Nets.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	model-checking, Petri nets, temporal logic, tableau systems
30	Hidenori Kurokawa	Tableaux and Hypersequents for Justification Logic.	LFCS	2009	DBLP DOI BibTeX RDF
30	Tadeusz Jordan, David G. Stork, Wai L. Khoo, Zhigang Zhu	Finding Intrinsic and Extrinsic Viewing Parameters from a Single Realist Painting.	CAIP	2009	DBLP DOI BibTeX RDF	perspective geometry, art analysis, camera calibration
30	Jeffrey Heer, Jock D. Mackinlay, Chris Stolte, Maneesh Agrawala	Graphical Histories for Visualization: Supporting Analysis, Communication, and Evaluation.	IEEE Trans. Vis. Comput. Graph.	2008	DBLP DOI BibTeX RDF
30	Boris Motik, Ian Horrocks 0001	Individual Reuse in Description Logic Reasoning.	IJCAR	2008	DBLP DOI BibTeX RDF
30	Thorsten Liebig, Felix Müller	Parallelizing Tableaux-Based Description Logic Reasoning.	OTM Workshops (2)	2007	DBLP DOI BibTeX RDF
30	Rajeev Goré, Linh Anh Nguyen	Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs.	CLIMA	2007	DBLP DOI BibTeX RDF
30	Vineet Padmanabhan, Guido Governatori	On Constructing Fibred Tableaux for BDI Logics.	PRICAI	2006	DBLP DOI BibTeX RDF
30	G. Venkatesh	Reasoning About Game Equilibria Using Temporal Logic.	FSTTCS	2004	DBLP DOI BibTeX RDF
30	Marta Cialdea Mayer, Carla Limongelli	Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge.	TABLEAUX	2002	DBLP DOI BibTeX RDF
30	Reinhold Letz, Gernot Stenz	DCTP - A Disconnection Calculus Theorem Prover - System Abstract.	IJCAR	2001	DBLP DOI BibTeX RDF
30	Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev	Tableaux for Temporal Description Logic with Constant Domains.	IJCAR	2001	DBLP DOI BibTeX RDF
30	Didier Galmiche, Daniel Méry	Proof-Search and Countermodel Generation in Propositional BI Logic.	TACS	2001	DBLP DOI BibTeX RDF
30	Jan van Eijck	Constrained Hyper Tableaux.	CSL	2001	DBLP DOI BibTeX RDF
30	Sagi Katz, Orna Grumberg, Daniel Geist	"Have I written enough Properties?" - A Method of Comparison between Specification and Implementation.	CHARME	1999	DBLP DOI BibTeX RDF
30	Andrei Voronkov	KK: a theorem prover for K.	CADE	1999	DBLP DOI BibTeX RDF
30	Bernhard Beckert, Dov M. Gabbay	Fibring Semantic Tableaux.	TABLEAUX	1998	DBLP DOI BibTeX RDF
30	Roberto Sebastiani, Adolfo Villafiorita	SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical Framework.	AIMSA	1998	DBLP DOI BibTeX RDF
30	Bernhard Beckert, Reiner Hähnle	Deduction by Combining Semantic Tableaux and Integer Programming.	CSL	1995	DBLP DOI BibTeX RDF
30	Julian C. Bradfield	A Proof Assistant for Symbolic Model-Checking.	CAV	1992	DBLP DOI BibTeX RDF
27	Xiaowang Zhang, Guohui Xiao 0001, Zuoquan Lin	A Tableau Algorithm for Handling Inconsistency in OWL.	ESWC	2009	DBLP DOI BibTeX RDF
27	Rajeev Goré, Florian Widmann	An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability.	CADE	2009	DBLP DOI BibTeX RDF
27	Hui Hou, Jinzhao Wu	Quasi-classical Semantics and Tableau Calculus of Description Logics for Paraconsistent Reasoning in the Semantic Web.	CSE (2)	2009	DBLP DOI BibTeX RDF
27	Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco	A Tableau-Based System for Spatial Reasoning about Directional Relations.	TABLEAUX	2009	DBLP DOI BibTeX RDF
27	Valentin Goranko, Dmitry Shkatov	Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic.	LFCS	2009	DBLP DOI BibTeX RDF
27	Bo Zhou 0019, Zhuang Miao, Yafei Zhang, Jianjiang Lu	A Tableau Algorithm for EFSHOIN Ontologies.	FSKD (5)	2008	DBLP DOI BibTeX RDF
27	Davide Bresolin, Angelo Montanari, Pietro Sala	An optimal tableau for Right Propositional Neighborhood Logic over Trees.	TIME	2008	DBLP DOI BibTeX RDF
27	Kent Andersen, Quentin Louveaux, Robert Weismantel, Laurence A. Wolsey	Inequalities from Two Rows of a Simplex Tableau.	IPCO	2007	DBLP DOI BibTeX RDF
27	Egon Balas, Pierre Bonami	New Variants of Lift-and-Project Cut Generation from the LP Tableau: Open Source Implementation and Testing.	IPCO	2007	DBLP DOI BibTeX RDF	branch and cut algorithms, integer programming
27	Xinxin Liu, Haiyan Chen	Deciding Weak Bisimilarity of Normed Context-Free Processes Using Tableau.	ICTAC	2007	DBLP DOI BibTeX RDF
27	Philippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago de Lima	A Tableau Method for Public Announcement Logics.	TABLEAUX	2007	DBLP DOI BibTeX RDF