Essays about: "deterministic transformation"

Showing result 11 - 12 of 12 essays containing the words deterministic transformation.

  1. 11. A comparison of SL- and unit-resolution search rules for stratified logic programs

    University essay from TCSLAB - Laboratoriet för teoretisk datalogi

    Author : Victor Lagerqvist; [2010]
    Keywords : logic programming; search rule; resolution; prolog; heuristic search;

    Abstract : There are two symmetrical resolution rules applicable to logic programs - SL-resolution which yields a top-down refutation and unit-resolution which yields a bottom-up refutation. Both resolution principles need to be coupled with a search rule before they can be used in practice. READ MORE

  3. 12. Verifying transformations between timed automata specifications and ECA rules

    University essay from Institutionen för datavetenskap

    Author : Ann-Marie Ericsson; [2003]
    Keywords : Active rules; Timed automata; Realtime systems; Transformations;

    Abstract : Event-triggered real-time systems are desirable to use in environments where the arrival of events are hard to predict. The semantics of an event-triggered system is well mapped to the behaviour of an active database management system (ADBMS), specified using event-condition-action (ECA) rules. READ MORE