UCT CS Research Document Archive

Subject: F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES


    Number of records: 4.

  1. Keet, C. Maria and Oliver Kutz (2018) Orchestrating a Network of Mereo(topo)logical Theories: An Abridged Report. In Lang, Jérôme , Eds. Proceedings International Joint Conference on Artificial Intelligence (IJCAI'18), pages 5289-5293, Stockholm, Sweden.

  2. Fillottrani, Pablo Ruben, C. Maria Keet and David Toman (2015) Polynomial encoding of ORM conceptual models in CFDI_nc^\forall-. In Calvanese, Diego and Boris Konev, Eds. Proceedings 28th International Workshop on Description Logics (DL'15) 1350, pages 401-414, Athens, Greece.

  3. Keet, C. Maria and E.A. Nasubo Ongoma (2015) Temporal Attributes: their Status and Subsumption. In Koehler, H. and M. Saeki, Eds. Proceedings Asia-Pacific Conference on Conceptual Modelling (APCCM'15) 165, pages 61-70, Sydney, Australia.

  4. Ongoma, E.A. Nasubo, C. Maria Keet and Thomas Meyer (2014) Transition Constraints for Temporal Attributes. In Bienvenu, M. , M. Ortiz, R. Rosati and M Simkus, Eds. Proceedings 27th International Workshop on Description Logics (DL'14) 1193, pages 684-695, Vienna, Austria.

  5. This list was generated on Wed Nov 14 12:15:18 SAST 2018.