2009
November 29th, 2011
Journal papers
- K. Britz, J. Heidema, and W. Labuschagne. Semantics for dual preferential entailment. Journal of Philosophical Logic, 38(4):433–446, 2009. http://dx.doi.org/10.1007/s10992-008-9097-z
Conference and workshop papers
- Katarina Britz, Johannes Heidema, and Thomas Meyer. Modeling object typicality in Description Logics. In Proceedings of the 22nd International Workshop on Description Logics (DL 2009). July 27-30, Oxford, UK. Volume 477, CEUR Workshop Proceedings, 2009.
- Richard Booth, Thomas Meyer and Ivan José Varzinczak. Next Steps in Propositional Horn Contraction. In Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09). July 11-17, Pasadena, California, USA.
- Ivan José Varzinczak. On the Revision of Action Laws: an Algorithmic Approach. NRAC: Proceedings of the IJCAI-09 Workshop on Nonmonotonic Reasoning, Action and Change. July 11, Pasadena, California. ISBN: [978-0-9802840-7-2].
- L Pretorius and R Schwitter. Towards processable Afrikaans. Proceedings of Workshop on Controlled Natural Language (CNL) 2009, CEUR Workshop Proceedings (Volume 448). Marettimo Island, Italy, June 8-10, 2009.
- Ivan José Varzinczak. How Do I Revise My Agent’s Action Theory? In G. Lakemeyer, L. Morgenstern and M-A. Williams (Eds.), Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense ’09), June 1-3, 2009. Online Proceedings.
- Richard Booth, Thomas Meyer and Ivan José Varzinczak. Next Steps in Propositional Horn Contraction. In G. Lakemeyer, L. Morgenstern and M-A. Williams (Eds.), Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense ’09), June 1-3, 2009. Online Proceedings.
- G. Rens, A. Ferrein and E. van der Poel. A BDI Agent Architecture for a POMDP Planner. In G. Lakemeyer, L. Morgenstern and M-A. Williams (Eds.), Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense ’09), June 1-3, 2009, pages 109-114. Online Proceedings.
- Mbaya I.R., Gerber A.J. and Van der Merwe A.J., Requirements of a Security Framework for the Semantic Web. In Proceedings of the International Conference on Software Engineering (IASTED SE2009), February 17-19, 2009, Innsbruck, Austria, ISBN:978-0-88986-785-7, ACTA Press.
- Aurona Gerber and Alta van der Merwe; Towards the use of fomal ontologies in enterprise architecture frameworks; AER 2009 (First International Workshop on Advanced Enterprise Repositories), Milan, Italy, May 6-10, 2009, ISSN 1287-2384, co-located with ICEIS 2009.
- K. Britz, J. Heidema, and T. Meyer. Modelling object typicality in description logics. In A. Nicholson and X. Li, editors, AI’09: Proceedings of the 22nd Australasian Joint Conference on Artificial Intelligence. Springer, 2009, pages 506-516.
- R. Nortje, K. Britz, and T. Meyer. Finding EL+ justifications using the Earley parsing algorithm. In T. Meyer and K. Taylor, editors, AOW 2009: Ad-vances in Ontologies, Proceedings of the 5th Australasian Ontology Workshop, 1 December 2009, Melbourne, Australia, volume 112. CRPIT, 2009.
- R Pretorius, A Berg, L Pretorius and B Viljoen. Setswana Tokenisation and Computational Verb Morphology: Facing the Challenge of a Disjunctive Orthography. The 12th Conference of the European Chapter of the Association for Computational Linguistics (EACL-09), Proceedings of the Workshop on Language Technologies for African Languages, Athens, Greece, March 30- April 3, 2009.
- L Pretorius and SE Bosch. Exploiting cross-linguistic similarities in Zulu and Xhosa computational morphology. The 12th Conference of the European Chapter of the Association for Computational Linguistics (EACL-09), Proceedings of the Workshop on Language Technologies for African Languages, Athens, Greece, March 30- April 3, 2009.