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

DOI10.1016/J.IJAR.2009.11.002zbMATH Open1201.68113OpenAlexW2167127074MaRDI QIDQ985144FDOQ985144

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

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Introduction to algorithms
• Modal logic
• Rough Sets and Current Trends in Computing
• Rudiments of rough sets
• Generalized fuzzy rough approximation operators based on fuzzy coverings
• Rough sets: some extensions
• Rough sets and Boolean reasoning
• A comparison of two types of rough sets induced by coverings
• Incomplete information: Structure, inference, complexity
• Generalized rough approximations in Ł\(\Pi \frac{1}{2}\)
• Multimodal logic programming
• Knowledge representation techniques. A rough set approach.
• Towards Approximate BGI Systems
• Paraconsistent Logic Programs with Four-Valued Rough Sets
• Approximate databases: a support tool for approximate reasoning
• Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics

Cited In (1)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q985144)