Login / Signup
Vera Skokova
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Domain Knowledge
Proof Theoretic
Deductive Databases
Operational Semantics
Top Venues
RCAI
</>
Publications
</>
Gulnara Yakhyaeva
,
Vera Skokova
Subjective Expert Evaluations in the Model-Theoretic Representation of Object Domain Knowledge.
RCAI
(2021)