Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 3 of 3 for “"Golog"”.
-
Towards more realistic logic based robot controllers in the GOLOG framework
… simulations. The high-level programming language GOLOG was specifically proposed for this purpose. The semantics of GOLOG, which offers constructs such as sequences, iterations and recursive procedures, is based on the situation calculus, a logical language for reasoning about action and change. …
-
Robot controllers for highly dynamic environments with real-time constraints
… in dynamic real-time domains. Readylog is a Golog family language and combines features known from other dialects in one framework. It is based on the Situation Calculus and offers probabilistically projecting a given world situation into the future or dealing with a continuously changing …
-
An agent based modeling and simulation methodology for strategic inter-organizational networks
… the high-level logic-based planning language ConGolog with its underlying formalism, the situation calculus, which allows us to formulate agent controllers that pursue goal-oriented tasks while concurrently monitoring and reacting to conditions in the environment; and (3) the deductive …