Scott information system

In domain theory, a branch of mathematics and computer science, a Scott information system is a primitive kind of logical deductive system often used… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

2012-2015
01220122015

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
A generalisation of Scott’s information systems [14] is presented that captures exactly all L-domains. The global consistency… (More)
Is this relevant?
2016
2016
We suggest an approach to resolution of context-dependent lexical and syntactic ambiguity in a framework of ontology population… (More)
Is this relevant?
2015
2015
The paper presents an approach to ontology population as operations with Scott information system. The deducibility relation in… (More)
Is this relevant?
2015
2015
We study a problem of information retrieval and ambiguity resolution for ontology population. The process for retrieval of… (More)
  • figure 1
Is this relevant?
2012
2012
We introduce spatial and epistemic process calculi for reasoning about spatial information and knowledge distributed among the… (More)
Is this relevant?