Sökning: "semantics for active logic"

Hittade 1 uppsats innehållade orden semantics for active logic.

  1. 1. On a Semantics for Active Logic

    Magister-uppsats, 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.... LÄS MER