TAS -- a generic window inference system

DOI10.1007/3-540-44659-1_25MaRDI QIDQ2754057zbMATH OpenFDO

Authors Christoph Lüth, Burkhart Wolff

Publication date 11 November 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44659-1_25

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• On the performance characteristics of a TASI system
• Extending window inference
• Logics in Artificial Intelligence
• TASS: the toolkit for accurate scientific software
• Ticker: a system for incremental ASP-based stream reasoning
• TIRA
• Exploiting window semantics in continuous data streams system
• Context-bounded analysis of TSO systems

Cited in

(2)

• TAS
• Extending window inference

This page was built for publication: TAS -- a generic window inference system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2754057)