Waterloo

Results: 3962



#Item
131

THIS IS ST. MARY´S N EW FAC ES O F CA R E I N YO U R CO M M U N I T Y As residents of Waterloo Region

Add to Reading List

Source URL: 10602-presscdn-0-94.pagely.netdna-cdn.com

- Date: 2016-09-12 12:44:50
    132

    Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers Carsten Lutz1 , Robert Piro2 , and Frank Wolter2 1

    Add to Reading List

    Source URL: ceur-ws.org

    - Date: 2010-04-20 14:40:19
      133

      Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, An Algebraic Approach to Dynamic Epistemic Logic Prakash Panangaden1 , Caitlin Phillips1 , Doina Precup1 , and Mehrnoosh Sadr

      Add to Reading List

      Source URL: ceur-ws.org

      - Date: 2010-04-20 14:40:19
        134

        Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Temporal Conceptual Modelling with DL-Lite A. Artale,1 R. Kontchakov,2 V. Ryzhikov,1 and M. Zakharyaschev2 2

        Add to Reading List

        Source URL: ceur-ws.org

        - Date: 2010-04-20 14:40:19
          135

          Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Complexity of Axiom Pinpointing in the DL-Lite Family Rafael Pe˜ naloza1 and Barı¸s Sertkaya2

          Add to Reading List

          Source URL: ceur-ws.org

          - Date: 2010-04-20 14:40:19
            136

            Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Extending OWL with Integrity Constraints Jiao Tao1 , Evren Sirin2 , Jie Bao1 , and Deborah L. McGuinness1 1

            Add to Reading List

            Source URL: ceur-ws.org

            - Date: 2010-04-20 14:40:19
              137

              Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, A MapReduce Algorithm for EL+ Raghava Mutharaju, Frederick Maier, and Pascal Hitzler Kno.e.sis Center, Wright State Universit

              Add to Reading List

              Source URL: ceur-ws.org

              - Date: 2010-04-20 14:40:19
                138

                Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Paraconsistent Description Logics Revisited Norihiro Kamide Waseda Institute for Advanced Study, Waseda University, 1-6-1 Nis

                Add to Reading List

                Source URL: ceur-ws.org

                - Date: 2010-04-20 14:40:19
                  139

                  Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, A Multi-Context System Computing Modalities Tarek R. Besold1 and Bernhard Schiemann2 1

                  Add to Reading List

                  Source URL: ceur-ws.org

                  - Date: 2010-04-20 14:40:19
                    140

                    Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, On the feasibility of Description Logic knowledge bases with rough concepts and vague instances C. Maria Keet KRDB Research C

                    Add to Reading List

                    Source URL: ceur-ws.org

                    - Date: 2010-04-20 14:40:20
                      UPDATE