Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic
From MaRDI portal
Publication:985144
DOI10.1016/j.ijar.2009.11.002zbMath1201.68113OpenAlexW2167127074MaRDI QIDQ985144
Linh Anh Nguyen, Barbara Dunin-Kȩplicz, Andrzej Szałas
Publication date: 20 July 2010
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ijar.2009.11.002
Database theory (68P15) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Agent technology and artificial intelligence (68T42)
Related Items (1)
Cites Work
- Rudiments of rough sets
- Rough sets: some extensions
- Rough sets and Boolean reasoning
- A comparison of two types of rough sets induced by coverings
- Generalized rough approximations in Ł\(\Pi \frac{1}{2}\)
- Generalized fuzzy rough approximation operators based on fuzzy coverings
- Knowledge representation techniques. A rough set approach.
- Multimodal logic programming
- Towards Approximate BGI Systems
- Paraconsistent Logic Programs with Four-Valued Rough Sets
- Approximate databases: a support tool for approximate reasoning
- Rough Sets and Current Trends in Computing
- Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics
- Incomplete information: Structure, inference, complexity
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic
