5 Result(s)
within
Minh Dao-Tran
Artificial Intelligence
Logics and Meanings of Programs
Software Engineering
-
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
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
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...
