1 citations · 1 across the 4 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2017
Logically automorphically equivalent knowledge bases
Elena Aladova, Tatjana Plotkin
Knowledge bases theory provide an important example of the field where applications of universal algebra and algebraic logic look very natural, and their interaction with practical…
cs.LO2015
Multi-sorted logic, models and logical geometry
Elena Aladova, Aleko Gvaramia, Boris Plotkin +1
Let be a variety of algebras, be a model, where is an algebra from , is a set of relation symbols , is an interpretation of all in . Let $X…
cs.LO2008★ 1 cited
Knowledge bases over algebraic models. Some notes about informational equivalence
Knyazhansky Marina, Plotkin Tatjana
The recent advances in knowledge base research and the growing importance of effective knowledge management raised an important question of knowledge base equivalence verification.…