Concept
Event calculus
Related publications (4)
On Complete Reasoning about Axiomatic Specifications
Automated software verification tools typically accept specifications of functions in terms of pre- and postconditions. However, many properties of functional programs can be more naturally specified using a more general form of universally quantified prop ...
2010TOQL: 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 ...
2009Collaboration with agents in VR environments
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 ...
EPFL2005Static 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