Skip to main content

    Michael Reip

    ... It lets the user choose whether com-putational resources should favor planning or imperativeprograms, and is based on Reiter's variant of the situation calculus [14]. ... IndiGolog programs are interpreted by a transition... more
    ... It lets the user choose whether com-putational resources should favor planning or imperativeprograms, and is based on Reiter's variant of the situation calculus [14]. ... IndiGolog programs are interpreted by a transition semantics in a step-by-step fashion. ...
    Research Interests:
    Th
    ABSTRACT