The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Tableau with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1957-1980 (15) 1981-1984 (15) 1985-1988 (16) 1989-1990 (15) 1991-1992 (35) 1993-1994 (28) 1995-1996 (28) 1997-1998 (45) 1999 (30) 2000 (26) 2001 (31) 2002 (31) 2003 (20) 2004 (26) 2005 (37) 2006 (30) 2007 (60) 2008 (52) 2009 (61) 2010 (23) 2011 (23) 2012 (23) 2013 (23) 2014 (31) 2015 (18) 2016 (16) 2017 (16) 2018 (24) 2019-2020 (22) 2021 (15) 2022-2023 (24)
Publication types (Num. hits)
article(251) incollection(7) inproceedings(589) phdthesis(12)
Venues (Conferences, Journals, ...)
TABLEAUX(107) CoRR(34) CADE(29) Description Logics(26) IJCAR(19) Stud Logica(19) J. Autom. Reason.(18) JELIA(16) LPAR(14) CAV(12) J. Log. Comput.(10) Log. J. IGPL(10) SIGMOD Conference(10) TIME(10) ACM Trans. Comput. Log.(9) CSL(9) More (+10 of total 321)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 279 occurrences of 179 keywords

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