On a Semantics for Active Logic

University essay from Lunds universitet/Datavetenskap

Author: Johan Hovold; [2005]

Keywords: numerical analysis; Computer science; active consequence relation; inconsistent knowledge bases; perception functions; semantics for active logic; modelling the reasoning of real-world agents; systems; control; Datalogi; numerisk analys; system; kontroll; Technology and Engineering;

Abstract: Abstract: Se dokumentet.

AT THIS PAGE YOU CAN DOWNLOAD THE WHOLE ESSAY. (follow the link to the next page)