Approximation of Relations by Propositional Formulas: Complexity and Semantics
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
First order LUB approximations: characterization and algorithms
Artificial Intelligence - Special volume on reformulation
The universe of propositional approximations
Theoretical Computer Science - Logic, language, information and computation
What Is Approximate Reasoning?
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
New Results for Horn Cores and Envelopes of Horn Disjunctions
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Selection and ranking of propositional formulas for large-scale service directories
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
First order LUB approximations: characterization and algorithms
Artificial Intelligence - Special volume on reformulation
Boolean approximation revisited
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Resolution-Based approximate reasoning for OWL DL
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Belief revision within fragments of propositional logic
Journal of Computer and System Sciences
| Hi-index | 0.00 |