Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic

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

zbMATH Keywords

rough setsdynamic logicsimilarity relationapproximate databaseknowledge fusion

Mathematics Subject Classification ID

Database theory (68P15) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Agent technology and artificial intelligence (68T42)

Related Items (1)

Converse-PDL with regular inclusion axioms: a framework for MAS logics

Cites Work

• 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
• 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

This page was built for publication: Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic