Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Klaus Frovin Jørgensen, Patrick Blackburn, Thomas Bolander, Torben Braüner |
Synthetic completeness proofs for Seligman-style tableau systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Modal Logic ![In: Advances in Modal Logic 11, proceedings of the 11th conference on `Advances in Modal Logic,` held in Budapest, Hungary, August 30 - September 2, 2016, pp. 302-321, 2016, College Publications, 978-1-84890-201-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Júlia Pukancová, Martin Homola |
Tableau-Based ABox Abduction for Description Logics: Preliminary Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Matteo Bertello, Nicola Gigante, Angelo Montanari, Mark Reynolds 0001 |
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, pp. 950-956, 2016, IJCAI/AAAI Press, 978-1-57735-770-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Chu Min Li, Felip Manyà, Joan Ramon Soler |
A Clause Tableau Calculus for MaxSAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, pp. 766-772, 2016, IJCAI/AAAI Press, 978-1-57735-770-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Andreas Steigmiller |
Optimisation of tableau-based reasoning systems for expressive description logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
17 | Eric Balci |
Capital immatériel et économie virtuelle, normalisation ISO et pilotage par tableau de bord prospectif: une étude exploratoire dans le secteur du traitement de déchets. (Intangible capital and virtual economy, ISO standardization and control by Scorecard: an exploratory study in the waste treatment sector). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
17 | Jonathan E. Beagley, Paul Drube |
Combinatorics of Tableau Inversions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 22(2), pp. 2, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Serenella Cerrito, Amélie David 0001, Valentin Goranko |
Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 17(1), pp. 4, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Steigmiller, Birte Glimm |
Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Res. ![In: J. Artif. Intell. Res. 54, pp. 535-592, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Yogesh Awate, Gérard Cornuéjols, Bertrand Guenin, Levent Tunçel |
On the relative strength of families of intersection cuts arising from pairs of tableau constraints in mixed integer programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 150(2), pp. 459-489, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Toby Meadows |
Infinitary Tableau for Semantic Truth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 8(2), pp. 207-235, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Linh Anh Nguyen |
Designing a Tableau Reasoner for Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSAMA ![In: Advanced Computational Methods for Knowledge Engineering - Proceedings of 3rd International Conference on Computer Science, Applied Mathematics and Applications - ICCSAMA 2015, Metz, France, 11-13 May, 2015, pp. 321-333, 2015, Springer, 978-3-319-17995-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Thinh Dong, Chan Le Duc, Philippe Bonnot 0002, Myriam Lamolle |
Tableau-Based Revision over SHIQ TBoxes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings, pp. 575-590, 2015, Springer, 978-3-662-48898-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Yifan Yang, Jamal Atif, Isabelle Bloch |
Abductive Reasoning Using Tableau Methods for High-Level Image Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2015: Advances in Artificial Intelligence - 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings, pp. 356-365, 2015, Springer, 978-3-319-24488-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Mauro Ferrari 0002, Camillo Fiorentini, Guido Fiorino |
Towards a tableau-based procedure for PLTL based on a multi-conclusion rule and logical optimizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015., pp. 117-121, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
17 | Pawel Terlecki, Fei Xu, Marianne Shaw, Valeri Kim, Richard Michael Grantham Wesley |
On Improving User Response Times in Tableau. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, Melbourne, Victoria, Australia, May 31 - June 4, 2015, pp. 1695-1706, 2015, ACM, 978-1-4503-2758-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Mapetlwane Litha Mokwana, John Andrew van der Poll |
Evaluating Resolution-Based Reasoning Heuristics for Connection Tableau. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAICSIT ![In: Proceedings of the 2015 Annual Research Conference on South African Institute of Computer Scientists and Information Technologists, SAICSIT '15, Stellenbosch, South Africa, September 28-30, 2015, pp. 29:1-29:10, 2015, ACM, 978-1-4503-3683-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Renate A. Schmidt, Uwe Waldmann |
Modal Tableau Systems with Blocking and Congruence Closure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Wrocław, Poland, September 21-24, 2015. Proceedings, pp. 38-53, 2015, Springer, 978-3-319-24311-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Michael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure |
Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Wrocław, Poland, September 21-24, 2015. Proceedings, pp. 54-69, 2015, Springer, 978-3-319-24311-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | John Christopher McCabe-Dansted, Mark Reynolds 0001 |
A Tableau for Bundled Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Wrocław, Poland, September 21-24, 2015. Proceedings, pp. 22-37, 2015, Springer, 978-3-319-24311-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Alexander K. Hudek, David Toman 0001, Grant E. Weddell |
On Enumerating Query Plans Using Analytic Tableau. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Wrocław, Poland, September 21-24, 2015. Proceedings, pp. 339-354, 2015, Springer, 978-3-319-24311-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Lasha Abzianidze |
A Tableau Prover for Natural Logic and Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP ![In: Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, EMNLP 2015, Lisbon, Portugal, September 17-21, 2015, pp. 2492-2502, 2015, The Association for Computational Linguistics, 978-1-941643-32-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Thinh Dong, Chan Le Duc, Philippe Bonnot 0002, Myriam Lamolle |
Tableau-based revision in SHIQ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015., 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
17 | Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma |
Tableau Reasoners for Probabilistic Ontologies Exploiting Logic Programming Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DC@AI*IA ![In: Proceedings of the Doctoral Consortium (DC) co-located with the 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), Ferrara, Italy, September 23-24, 2015., pp. 1-6, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
17 | Linh Anh Nguyen, Joanna Golinska-Pilarek |
An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 135(4), pp. 433-449, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Santanu S. Dey, Andrea Lodi 0001, Andrea Tramontani, Laurence A. Wolsey |
On the Practical Strength of Two-Row Tableau Cuts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFORMS J. Comput. ![In: INFORMS J. Comput. 26(2), pp. 222-237, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Renate A. Schmidt, Dmitry Tishkovsky |
Using tableau to decide description logics with full role negation and identity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 15(1), pp. 7:1-7:31, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Matteo Cristani, Erisa Karafili, Luca Viganò 0001 |
Tableau systems for reasoning about risk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Ambient Intell. Humaniz. Comput. ![In: J. Ambient Intell. Humaniz. Comput. 5(2), pp. 215-247, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Kristi Morton, Magdalena Balazinska, Dan Grossman, Robert Kosara, Jock D. Mackinlay |
Public Data and Visualizations: How are Many Eyes and Tableau Public Used for Collaborative Analytics? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 43(2), pp. 17-22, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Stéphane Clain, Gaspar José Machado |
A very high-order finite volume method for the time-dependent convection-diffusion problem with Butcher Tableau extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 68(10), pp. 1292-1311, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Olaf Beyersdorff, Leroy Chew |
Tableau vs. Sequent Calculi for Minimal Entailment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR14, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
17 | Olaf Beyersdorff, Leroy Chew |
Tableau vs. Sequent Calculi for Minimal Entailment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1405.1565, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
17 | Meghdad Ghari |
Tableau Proof Systems for Justification Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1405.1828, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
17 | Agnieszka Kulacka |
A tableau for set-satisfiability for extended fuzzy logic BL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1407.3128, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
17 | Joanna Golinska-Pilarek, Taneli Huuskonen, Emilio Muñoz-Velasco |
Relational dual tableau decision procedures and their applications to modal and intuitionistic logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 165(2), pp. 409-427, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | María-José Hidalgo-Doblado, José A. Alonso-Jiménez, Joaquín Borrego-Díaz, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina |
Formally Verified Tableau-Based Reasoners for a Description Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 52(3), pp. 331-360, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | John G. Stell, Renate A. Schmidt, David E. Rydeheard |
Tableau Development for a Bi-intuitionistic Tense Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings, pp. 412-428, 2014, Springer, 978-3-319-06250-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Mauro Ferrari 0002, Camillo Fiorentini, Guido Fiorino |
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014., pp. 46-53, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
17 | Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska |
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014., pp. 194-209, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
17 | Colin Stirling |
A Tableau Proof System with Names for Modal Mu-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOWARD-60 ![In: HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, pp. 306-318, 2014, EasyChair. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Lasha Abzianidze |
Towards a Wide-Coverage Tableau Method for Natural Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JSAI-isAI Workshops ![In: New Frontiers in Artificial Intelligence - JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers, pp. 66-82, 2014, Springer, 978-3-662-48118-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Richard Michael Grantham Wesley, Pawel Terlecki |
Leveraging compression in the tableau data engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: International Conference on Management of Data, SIGMOD 2014, Snowbird, UT, USA, June 22-27, 2014, pp. 563-573, 2014, ACM, 978-1-4503-2376-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Steigmiller, Birte Glimm, Thorsten Liebig |
Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings, pp. 449-463, 2014, Springer, 978-3-319-08586-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Rajeev Goré, Kerry Olesen, Jimmy Thomson 0001 |
Implementing Tableau Calculi Using BDDs: BDDTab System Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings, pp. 337-343, 2014, Springer, 978-3-319-08586-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Agnieszka Kulacka |
Tableau Calculus for Basic Fuzzy Logic BL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMU (1) ![In: Information Processing and Management of Uncertainty in Knowledge-Based Systems - 15th International Conference, IPMU 2014, Montpellier, France, July 15-19, 2014, Proceedings, Part I, pp. 325-334, 2014, Springer, 978-3-319-08794-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Yang Lu 0009, Lina Yang, Haoliang Yuan, Yulong Wang, Huiwu Luo, Yuan Yan Tang |
A novel method for protein structure retrieval using tableau representation and sparse coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: 2014 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2014, San Diego, CA, USA, October 5-8, 2014, pp. 4042-4046, 2014, IEEE, 978-1-4799-3840-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Renate A. Schmidt, John G. Stell, David E. Rydeheard |
Axiomatic and Tableau-Based Reasoning for Kt(H, R). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Modal Logic ![In: Advances in Modal Logic 10, invited and contributed papers from the tenth conference on `Advances in Modal Logic,` held in Groningen, The Netherlands, August 5-8, 2014, pp. 478-497, 2014, College Publications, 978-1-84890-151-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
17 | Mark Reynolds 0001 |
A Tableau for Temporal Logic over the Reals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Modal Logic ![In: Advances in Modal Logic 10, invited and contributed papers from the tenth conference on `Advances in Modal Logic,` held in Groningen, The Netherlands, August 5-8, 2014, pp. 439-458, 2014, College Publications, 978-1-84890-151-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
17 | John Christopher McCabe-Dansted, Mark Reynolds 0001 |
Fairness with EXPTIME Bundled CTL Tableau. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 21st International Symposium on Temporal Representation and Reasoning, TIME 2014, Verona, Italy, September 8-10, 2014, pp. 164-173, 2014, IEEE Computer Society, 978-1-4799-4228-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Basilis Mamalis, Marios Perlitis |
Hybrid Parallelization of Standard Full Tableau Simplex Method with MPI and OpenMP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Panhellenic Conference on Informatics ![In: 18th Panhellenic Conference on Informatics, PCI '14, Athens, Greece, October 2-4, 2014, pp. 19:1-19:6, 2014, ACM, 978-1-4503-2897-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Ken Halland, Arina Britz, Szymon Klarman |
TBox Abduction in ALC Using a DL Tableau. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014., pp. 556-566, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
17 | Yevgeny Kazakov, Pavel Klinov |
Bridging the Gap between Tableau and Consequence-Based Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014., pp. 579-590, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
17 | Erik Wennstrom |
Tableau-Based Model Generation for Relational Syllogistic Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAIM ![In: International Symposium on Artificial Intelligence and Mathematics, ISAIM 2014, Fort Lauderdale, FL, USA, January 6-8, 2014, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
17 | Leen Lambers, Fernando Orejas |
Tableau-Based Reasoning for Graph Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings, pp. 17-32, 2014, Springer, 978-3-319-09107-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Domenico Cantone, Joanna Golinska-Pilarek, Marianna Nicolosi Asmundo |
A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HAIS ![In: Hybrid Artificial Intelligence Systems - 9th International Conference, HAIS 2014, Salamanca, Spain, June 11-13, 2014. Proceedings, pp. 466-477, 2014, Springer, 978-3-319-07616-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Martin Gebser, Torsten Schaub |
Tableau Calculi for Logic Programs under Answer Set Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 14(2), pp. 15:1-15:40, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Xiaowang Zhang, Guohui Xiao 0001, Zuoquan Lin |
A Paraconsistent Tableau Algorithm Based on Sign Transformation in Semantic Web ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1301.2146, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
17 | Mark Reynolds 0001 |
A Faster Tableau for CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Fourth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites, Italy, 29-31th August 2013., pp. 50-63, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Dmitry Tishkovsky, Renate A. Schmidt |
Refinement in the Tableau Synthesis Framework ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1305.3131, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
17 | Tin Perkov |
Tableau-based bisimulation invariance testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reports Math. Log. ![In: Reports Math. Log. 48, pp. 101-115, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
17 | Serenella Cerrito, Marta Cialdea Mayer |
A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 51(2), pp. 197-239, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Mark Alexander Reynolds |
A tableau for general linear temporal logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 23(5), pp. 1057-1080, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Mai Ajspur, Valentin Goranko, Dmitry Shkatov |
Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 21(3), pp. 407-437, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Linh Anh Nguyen |
A Tableau Method with Optimal Complexity for Deciding the Description Logic SHIQ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Computational Methods for Knowledge Engineering ![In: Advanced Computational Methods for Knowledge Engineering, pp. 331-342, 2013, Springer, 978-3-319-00292-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Patrick Blackburn, Thomas Bolander, Torben Braüner, Klaus Frovin Jørgensen |
A Seligman-Style Tableau System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings, pp. 147-163, 2013, Springer, 978-3-642-45220-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Matteo Cristani, Erisa Karafili, Luca Viganò 0001 |
A complete tableau procedure for risk analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRiSIS ![In: 2013 International Conference on Risks and Security of Internet and Systems (CRiSIS), La Rochelle, France, October 23-25, 2013, pp. 1-8, 2013, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi |
A Description Logics Tableau Reasoner in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013., pp. 33-47, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
17 | Linh Anh Nguyen, Joanna Golinska-Pilarek |
An ExpTime Tableau Method for Dealing with Nominals and Quantified Number Restrictions in Deciding the Description Logic SHOQ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CS&P ![In: Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming, Warsaw, Poland, pp. 296-308, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
17 | Chad E. Brown, Christine Rizkallah |
From Classical Extensional Higher-Order Tableau to Intuitionistic Intentional Natural Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP@CADE ![In: Third International Workshop on Proof Exchange for Theorem Proving, PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013, pp. 27-42, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Ming Zuo, Volker Haarslev |
Intelligent Tableau Algorithm for DL Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods - 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings, pp. 273-287, 2013, Springer, 978-3-642-40536-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Hidenori Kurokawa |
Prefixed Tableau Systems for Logic of Proofs and Provability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods - 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings, pp. 203-218, 2013, Springer, 978-3-642-40536-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Amélie David 0001 |
TATL: Implementation of ATL Tableau-Based Decision Procedure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods - 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings, pp. 97-103, 2013, Springer, 978-3-642-40536-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco |
A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods - 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings, pp. 74-80, 2013, Springer, 978-3-642-40536-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky |
A Refined Tableau Calculus with Controlled Blocking for the Description Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods - 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings, pp. 188-202, 2013, Springer, 978-3-642-40536-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Ángel Mora 0001 |
Deterministic Tableau-Decision Procedure via Reductions for Modal Logic K. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCO-CISIS-ICEUTE ![In: International Joint Conference SOCO'13-CISIS'13-ICEUTE'13 - Salamanca, Spain, September 11th-13th, 2013 Proceedings, pp. 429-438, 2013, Springer, 978-3-319-01853-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky |
A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, pp. 724-734, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
17 | Kejia Wu, Volker Haarslev |
Exploring Parallelization of Conjunctive Branches in Tableau-Based Description Logic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, pp. 1011-1023, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
17 | Ji Bian, Tim French 0002, Mark Reynolds 0001 |
An Efficient Tableau for Linear Time Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australasian Conference on Artificial Intelligence ![In: AI 2013: Advances in Artificial Intelligence - 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings, pp. 289-300, 2013, Springer, 978-3-319-03679-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Mai Ajspur, Valentin Goranko, Dmitry Shkatov |
Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1201.5346, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
17 | Renate A. Schmidt, Dmitry Tishkovsky |
Using Tableau to Decide Description Logics with Full Role Negation and Identity ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1208.1476, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
17 | Jia Tao 0001, Giora Slutzki, Vasant G. Honavar |
PSPACE Tableau Algorithms for Acyclic Modalized $\boldsymbol{\mathcal{ALC}}$. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 49(4), pp. 551-582, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora-Bonilla |
Relational dual tableau decision procedure for modal logic K. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 20(4), pp. 747-756, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Md Zahidul Islam 0001, Ahmed Shah Mashiyat, Kashif Nizam Khan, S. M. Masud Karim |
A Tableau Based Automated Theorem Prover Using High Performance Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. ![In: J. Comput. 7(3), pp. 597-607, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
17 | Marco Volpe 0001, João Marcos 0001, Carlos Caleiro |
Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation - 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings, pp. 321-335, 2012, Springer, 978-3-642-32620-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Yoshinori Neya, Noriaki Yoshiura |
Stepwise Satisfiability Checking Procedure for Reactive System Specifications by Tableau Method and Proof System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings, pp. 283-298, 2012, Springer, 978-3-642-34280-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Gabriel de França Pereira e Silva, Rafael Dueire Lins |
Automatic content recognition of teaching boards in the Tableau platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: Proceedings of the 21st International Conference on Pattern Recognition, ICPR 2012, Tsukuba, Japan, November 11-15, 2012, pp. 645-648, 2012, IEEE Computer Society, 978-1-4673-2216-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
17 | Kristi Morton, Ross Bunker, Jock D. Mackinlay, Robert Morton, Chris Stolte |
Dynamic workload driven data integration in tableau. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2012, Scottsdale, AZ, USA, May 20-24, 2012, pp. 807-816, 2012, ACM, 978-1-4503-1247-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Ken Halland, Katarina Britz |
ABox abduction in ALC using a DL tableau. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAICSIT ![In: 2012 South African Institute of Computer Scientists and Information Technologists Conference, SAICSIT '12, Pretoria, South Africa, October 1-3, 2012, pp. 51-58, 2012, ACM, 978-1-4503-1308-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Zhuxiao Wang, Zhitao Guan, Wei Li 0100, Kehe Wu, Jing Guo, Guanhua Tian |
A Tableau-Based Reasoning Algorithm for Distributed Dynamic Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICA (1) ![In: Information Computing and Applications - Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings, Part I, pp. 192-199, 2012, Springer, 978-3-642-34037-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi |
MetTeL2: Towards a Tableau Prover Generation Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAAR@IJCAR ![In: Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012, Manchester, UK, June 30 - July 1, 2012, pp. 149-162, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Minica, Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky |
Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAAR@IJCAR ![In: Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012, Manchester, UK, June 30 - July 1, 2012, pp. 109-123, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Md Zahidul Islam 0001, Wendy MacCaull |
A One-Pass Tableau-Based Workflow Verification Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAAR@IJCAR ![In: Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012, Manchester, UK, June 30 - July 1, 2012, pp. 58-71, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Hongcan Yan, Chen Liu, Baoxiang Liu |
Knowledge reasoning and Tableau Algorithm improving based on rough description logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD ![In: 9th International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2012, 29-31 May 2012, Chongqing, China, pp. 2697-2701, 2012, IEEE, 978-1-4673-0025-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Angelo Montanari, Pietro Sala |
An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 19th International Symposium on Temporal Representation and Reasoning, TIME 2012, Leicester, United Kingdom, September 12-14, 2012, pp. 39-46, 2012, IEEE Computer Society, 978-1-4673-2659-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | John Christopher McCabe-Dansted |
A Tableau for the Combination of CTL and BCTL*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 19th International Symposium on Temporal Representation and Reasoning, TIME 2012, Leicester, United Kingdom, September 12-14, 2012, pp. 29-36, 2012, IEEE Computer Society, 978-1-4673-2659-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi |
The Tableau Prover Generator MetTeL2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 492-495, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky |
An Abstract Tableau Calculus for the Description Logic SHOI Using Unrestricted Blocking and Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
17 | Ken Halland, Katarina Britz |
Naive ABox abduction in ALC using a DL tableau. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
17 | Chan Le Duc, Myriam Lamolle, Olivier Curé |
An ExpSpace Tableau-based Algorithm for SHOIQ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
17 | Stefan Borgwardt, Rafael Peñaloza |
A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, pp. 9-24, 2012, Springer, 978-3-642-33202-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|