On a Semantics for Active Logic

Detta är en Magister-uppsats från Lunds universitet/Datavetenskap

Författare: Johan Hovold; [2005]

Nyckelord: 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;

Sammanfattning: Abstract: Se dokumentet.

HÄR KAN DU HÄMTA UPPSATSEN I FULLTEXT. (följ länken till nästa sida)