<--- Back to Details
First PageDocument Content
Knowledge representation / Cognition / Database management systems / Middleware / Systems engineering / Reasoning system / Database / Frame language / Spatial–temporal reasoning / Artificial intelligence / Reasoning / Science
Date: 2012-01-19 08:44:42
Knowledge representation
Cognition
Database management systems
Middleware
Systems engineering
Reasoning system
Database
Frame language
Spatial–temporal reasoning
Artificial intelligence
Reasoning
Science

Stream-Based Middleware Support for Embedded Reasoning∗ Fredrik Heintz, Jonas Kvarnstr¨om and Patrick Doherty Dept. of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {frehe, jonkv,

Add to Reading List

Source URL: www.ida.liu.se

Download Document from Source Website

File Size: 509,33 KB

Share Document on Facebook

Similar Documents

University of Washington Database Group Quarterly Newsletter - FallUW Database Group Data management systems, cloud services, probabilistic databases, and data pricing in Computer Science & Engineering at the Univ

University of Washington Database Group Quarterly Newsletter - FallUW Database Group Data management systems, cloud services, probabilistic databases, and data pricing in Computer Science & Engineering at the Univ

DocID: 1xV2p - View Document

RESEARCH LINES Mapping SHiNE RiSE  Rigorous Systems Engineering

RESEARCH LINES Mapping SHiNE RiSE Rigorous Systems Engineering

DocID: 1xUZO - View Document

Georgios Fainekos School of Computing, Informatics and Decision Systems Engineering, Arizona State University. Office address: 660 W 6th St, STE, Tempe, AZweb: http://www.public.asu.edu/~gfaineko/, email: f

Georgios Fainekos School of Computing, Informatics and Decision Systems Engineering, Arizona State University. Office address: 660 W 6th St, STE, Tempe, AZweb: http://www.public.asu.edu/~gfaineko/, email: f

DocID: 1xUnB - View Document

A Relational Encoding for a Clash-Free Subset of ASMs Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, and Wolfgang Reif Institute for Software and Systems Engineering University of Augsburg, Germany {schellhorn,ernst,

A Relational Encoding for a Clash-Free Subset of ASMs Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, and Wolfgang Reif Institute for Software and Systems Engineering University of Augsburg, Germany {schellhorn,ernst,

DocID: 1xUbX - View Document