271 search results - page 17 / 55 » Logics from Galois connections |
DAGSTUHL
2007
13 years 11 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...
SOCO
2007
Springer
14 years 4 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...
ESWS
2007
Springer
14 years 4 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...
ECSQARU
1999
Springer
14 years 2 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...
FSKD
2011
Springer
12 years 9 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...