XRDS

Crossroads The ACM Magazine for Students

Sign In

Association for Computing Machinery

Articles Tagged: Modal and temporal logics

Articles & Features

Querying flying robots and other things

FEATURE: Features

Querying flying robots and other things

A discussion on the role of ontologies and stream reasoning in Internet of Things applications.

By Daniel de Leng, December 2015

PDF | HTML | In the Digital Library