Tableau

Results: 3160



#Item
291

Using Tableau to Decide Description Logics with Full Role Negation and Identity RENATE A. SCHMIDT and DMITRY TISHKOVSKY, The University of Manchester, UK This paper presents a tableau approach for deciding expressive des

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2013-07-19 12:07:31
    292

    The Tableau Prover Generator MetTeL2 Dmitry Tishkovsky, Renate A. Schmidt, and Mohammad Khodadadi? School of Computer Science, The University of Manchester, UK Abstract. This paper introduces MetTeL2, a tableau prover ge

    Add to Reading List

    Source URL: www.cs.man.ac.uk

    Language: English - Date: 2014-02-28 08:22:36
      293

      Microsoft Word - 2015_07_16_Tableau spécialités + DCI.docx

      Add to Reading List

      Source URL: www.boehringer-ingelheim.fr

      Language: French - Date: 2015-07-16 10:59:39
        294

        CZSaw, IMAS & Tableau: Collaboration among Teams VAST 2010 Grand Challenge Award: Excellent Student Team Analysis Dustin Dunsmuir, Mahshid Z. Baraghoush, Victor Chen, Minoo Erfani Joorabchi, Mona Erfani Joorabchi, Saba A

        Add to Reading List

        Source URL: czsaw.iat.sfu.ca

        Language: English - Date: 2014-07-17 22:00:38
          295

          A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI Mohammad Khodadadi, Renate A. Schmidt, and Dmitry Tishkovsky? School of Computer Science, The University of Manchester, UK Abstract The

          Add to Reading List

          Source URL: www.cs.man.ac.uk

          Language: English - Date: 2013-07-19 13:07:29
            296

            Le mot de la rédaction Certains paysages, fauves, ocre, dorés, bruns, appellent autant à la contemplation qu’un tableau de maître. Certaines saisons invitent à prendre le temps de se rapprocher de la terre, de res

            Add to Reading List

            Source URL: www.editions-burda.fr

            Language: French - Date: 2015-09-11 07:18:15
              297

              MetTeL A Tableau Prover with Logic-Independent Inference Engine User Manual v.1 M. Khodadadi, R. A. Schmidt, D. Tishkovsky

              Add to Reading List

              Source URL: www.mettel-prover.org

              Language: English - Date: 2014-04-01 08:48:03
                298

                Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics S¸tefan Minic˘a Amstelveen, The Netherlands

                Add to Reading List

                Source URL: www.mettel-prover.org

                Language: English - Date: 2014-04-01 08:48:03
                  299

                  Tableau III Maps Lab (Assignment 5) Notes The instructions for this lab were fairly complex. Students who did not complete the assignment in lab may therefore run into difficulties. Here’s my best effort to help rem

                  Add to Reading List

                  Source URL: courses.washington.edu

                  Language: English - Date: 2008-09-14 03:55:23
                    300

                    A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI Mohammad Khodadadi, Renate A. Schmidt, and Dmitry Tishkovsky? School of Computer Science, The University of Manchester, UK Abstract The

                    Add to Reading List

                    Source URL: www.mettel-prover.org

                    Language: English - Date: 2014-04-01 08:48:03
                      UPDATE