9 Result(s)
within
Minh Dao-Tran
Artificial Intelligence
Software Engineering
-
Chapter and Conference Paper
LARS: A Logic-Based Framework for Analytic Reasoning over Streams
Stream reasoning considers continuously deriving conclusions on streaming data. While traditional stream processing approaches focus on throughput and are often based on operational grounds, reasoning approach...
-
Chapter and Conference Paper
Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks
Content-Centric Networking (CCN) research addresses the mismatch between the modern usage of the Internet and its outdated architecture. Importantly, CCN routers use various caching strategies to locally cache co...
-
Chapter and Conference Paper
A Query Model to Capture Event Pattern Matching in RDF Stream Processing Query Languages
The current state of the art in RDF Stream Processing (RSP) proposes several models and implementations to combine Semantic Web technologies with Data Stream Management System (DSMS) operators like windows. Me...
-
Chapter and Conference Paper
The Fourth Answer Set Programming Competition: Preliminary Report
Answer Set Programming is a well-established paradigm of declarative programming in close relationship with other declarative formalisms such as SAT Modulo Theories, Constraint Handling Rules, PDDL and many ot...
-
Chapter and Conference Paper
Linked Stream Data Processing Engines: Facts and Figures
Linked Stream Data, i.e., the RDF data model extended for representing stream data generated from sensors social network applications, is gaining popularity. This has motivated considerable work on develo** ...
-
Chapter and Conference Paper
First-Order Encodings for Modular Nonmonotonic Datalog Programs
Recently Modular Nonmonotonic Logic Programs (MLP) have been introduced which incorporate a call-by-value mechanism and allow for unrestricted calls between modules, including mutual and self recursion, as an ...
-
Chapter and Conference Paper
The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems
The DMCS system is an implementation of the equilibrium semantics for heterogeneous and nonmonotonic multi-context systems (MCS) [3], which feature contexts with heterogeneous and possibly nonmonotonic logics. Ea...
-
Chapter and Conference Paper
Decomposition of Distributed Nonmonotonic Multi-Context Systems
Multi-Context Systems (MCS) are formalisms that enable the interlinkage of single knowledge bases, called contexts, via bridge rules. Recently, a fully distributed algorithm for evaluating heterogeneous, nonmo...
-
Chapter and Conference Paper
Combining Nonmonotonic Knowledge Bases with External Sources
The developments in information technology during the last decade have been rapidly changing the possibilities for data and knowledge access. To respect this, several declarative knowledge representation forma...
