Concept

Situation calculus

Related publications (4)

TOQL: Temporal Ontology Querying Language

We introduce TOQL, a query language for querying time information in ontologies. TOQL is a high level query language that handles ontologies almost like relational databases. Queries are issued as SQL-like statements involving time (i.e., time points or in ...

2009

Collaboration with agents in VR environments

Jan Ciger

Virtual reality is gaining on importance in many fields – scientific simulation, training, therapy and also more and more in entertainment. All these applications require the human user to interact with virtual worlds inhabited by intelligent characters an ...

EPFL2005

Static micromixers based on large-scale industrial mixer geometry

Philippe Renaud, Arnaud Bertsch

Mixing liquids at the micro-scale is difficult because the low Reynolds numbers in microchannels and in microreactors prohibit the use of conventional mixing techniques based on mechanical actuators and induce turbulence. Static mixers can be used to solve ...

2001

ACCESS - Algebraic Concurrent Events for System Specification

Access is a new algebraic specification formalism, which focuses on the fine description of the ``true'' concurrency and on a high degree of expressivity. Systems are specified by a set of local states, whose value changes under the occurrence of events. B ...

1994

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.