14 citations · 29 across the 11 of their papers we have counts for
11 papers
Implementation of Linear Model Predictive Control -- Tutorial
Michael Fink
This tutorial shows an overview of Model Predictive Control with a linear discrete-time system and constrained states and inputs. The focus is on the implementation of the method u…
Towards Ideal Semantics for Analyzing Stream Reasoning
Harald Beck, Minh Dao-Tran, Thomas Eiter +1
The rise of smart applications has drawn interest to logical reasoning over data streams. Recently, different query languages and stream processing/reasoning engines were proposed…
Workshop Notes of the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014)
Michael Fink, Martin Homola, Alessandra Mileo
ARCOE-Logic 2014, the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic, was held in co-location with the 19th International Conferen…
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey
Michael Fink, Yuliya Lierler
This volume contains the papers presented at the sixth workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013) held on August 25th, 2013 in Istanbul, co-loca…
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary
Michael Fink, Yuliya Lierler
This volume contains the papers presented at the fifth workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012) held on September 4th, 2012 in Budapest, co-lo…
Eliminating Unfounded Set Checking for HEX-Programs
Thomas Eiter, Michael Fink, Thomas Krennwallner +2
HEX-programs are an extension of the Answer Set Programming (ASP) paradigm incorporating external means of computation into the declarative programming language through so-called e…