Institutional Repository

Browsing South African Computer Journal 1994(12) by Subject "Circumscription"

Browsing South African Computer Journal 1994(12) by Subject "Circumscription"

Sort by: Order: Results:

  • Labuschagne, W.A.; Miller, MG (South African Computer Society (SAICSIT), 1994)
    Yet another axiomatisation of the Yale shooting scenario is provided. The point illustrated by the axiomatisation is that, when using the situation calculus to represent knowledge about a dynamic system in which actions ...

Search UnisaIR


Browse

My Account