Harald Beck

From MaRDI portal
Person:1648074

Available identifiers

zbMath Open beck.haraldMaRDI QIDQ1648074

List of research outcomes





PublicationDate of PublicationType
LARS: a logic-based framework for analytic reasoning over streams (extended abstract)2020-10-21Paper
LARS: a logic-based framework for analytic reasoning over streams2018-06-27Paper
Ticker: a system for incremental ASP-based stream reasoning2017-11-08Paper
Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks2016-11-30Paper
Inconsistency management for traffic regulations: formalization and complexity results2012-09-21Paper

Research outcomes over time

This page was built for person: Harald Beck

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1648074&oldid=6305899"
Powered by MediaWiki