271 search results - page 17 / 55 » Logics from Galois connections |
102
Voted
DAGSTUHL
2007
15 years 3 months ago
2007
Representing an epistemic situation involving several agents depends very much on the modeling point of view one takes. In fact, the interpretation of a formalism relies quite a lo...
146
click to vote
SOCO
2007
Springer
15 years 8 months ago
2007
Springer
In component based software engineering, an application is build by composing trusted and reusable units of execution, the components. A composition is formed by connecting the com...
123
click to vote
ESWS
2007
Springer
15 years 8 months ago
2007
Springer
State-of-the-art research on automated learning of ontologies from text currently focuses on inexpressive ontologies. The acquisition of complex axioms involving logical connective...
118
click to vote
ECSQARU
1999
Springer
15 years 6 months ago
1999
Springer
In this paper we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning. For this we conside...
284
click to vote
FSKD
2011
Springer
14 years 1 months ago
2011
Springer
—This paper describes a model of a hierarchical, heterogeneous knowledge-base. The proposed model consists of an associative level that is implemented by a Kanerva-like sparse di...