Search

Filters

Use filters to refine the search results.

Now showing items 1-10 of 19

Proof systems for propositional modal logic

Van der Vyver, Thelma (1997-11)
Integrating the key approaches of neural networks

Howard, Beverley Robin (1999-12)
The construction and use of an ontology to support a simulation environment performing countermeasure evaluation for military aircraft

Lombard, Orpha Cornelia (2014-05)
Logics of belief

Viljoen, Elizabeth (1997-04)
An AI search algorithm to obtain the shortest simplex path

Scott, TG; Hattingh, J.M.; Steyn, T (South African Computer Society (SAICSIT), 1996)
Integrating similarity-based and explanation-based learning

Oosthuizen, GD; Avenant, C (1991)
A power-order semantics for Nonmonotonic Logic I & II

Heidema, J; Labuschagne, WA; Meyer, TA; Rosenblatt, H (1995)
Integrating similarity-based and explanation-based learning

Oosthuizen, GD; Avenant, C (South African Institute of Computer Scientists and Information Technologists, 1992)
PEST - A microcomputer Pascal base expert system shell

Sartori-Angus, AG; Neville, R (South African Institute of Computer Scientists and Information Technologists, 1991)
An Agent-Oriented Framework for Constructing Mobile Agent Systems

Schoeman, Marthie; Venter, Lucas; Cloete, Elsabé (2007)

Now showing items 1-10 of 19