Relations and graphs: discrete mathematics for computer scientists
Relations and graphs: discrete mathematics for computer scientists
Relational formalisation of nonclassical logics
Relational methods in computer science
An algebraic formalization of fuzzy relations
Fuzzy Sets and Systems
On Databases with Incomplete Information
Journal of the ACM (JACM)
Maintaining knowledge about temporal intervals
Communications of the ACM
International Journal of Human-Computer Studies
Incomplete Information: Structure, Inference, Complexity
Incomplete Information: Structure, Inference, Complexity
Relation Algebras for Reasoning about Time and Space
AMAST '93 Proceedings of the Third International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology
Double Residuated Lattices and Their Applications
ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
Modal Logics for Knowledge Representation Systems
Proceedings of the Symposium on Logical Foundations of Computer Science: Logic at Botik '89
On Some Classes of Fuzzy Information Relations
ISMVL '01 Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic
Representation theory of Goguen categories
Fuzzy Sets and Systems
Relation Algebras and their Application in Temporal and Spatial Reasoning
Artificial Intelligence Review
Relational logics and their applications
TARSKI'02-05 Proceedings of the 2006 international conference on Theory and Applications of Relational Structures as Knowledge Instruments - Volume 2
Modalities, Relations, and Learning
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
Hi-index | 0.00 |
We describe deduction mechanisms for various types of data bases with incomplete information, in particular, relational attribute systems, which we have introduced earlier in [8].