Minh Dao-Tran

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
LARS: a logic-based framework for analytic reasoning over streams (extended abstract) SOFSEM 2018: Theory and Practice of Computer Science	2020-10-21	Paper
LARS: a logic-based framework for analytic reasoning over streams Artificial Intelligence	2018-06-27	Paper
Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks Logics in Artificial Intelligence	2016-11-30	Paper
Distributed evaluation of nonmonotonic multi-context systems Journal of Artificial Intelligence Research	2015-05-28	Paper
scientific article; zbMATH DE number 6139986 (Why is no real title available?)	2013-02-28	Paper
Modular nonmonotonic logic programming revisited Logic Programming	2012-11-13	Paper
The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems Logics in Artificial Intelligence	2010-10-01	Paper
Decomposition of distributed nonmonotonic multi-context systems Logics in Artificial Intelligence	2010-10-01	Paper
Combining nonmonotonic knowledge bases with external sources Frontiers of Combining Systems	2010-01-07	Paper
Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs Logic Programming and Nonmonotonic Reasoning	2009-11-10	Paper
Realizing Default Logic over Description Logic Knowledge Bases Lecture Notes in Computer Science	2009-07-02	Paper

Research outcomes over time

This page was built for person: Minh Dao-Tran