2500 search results - page 27 / 500 » Logical Semantics of Modularisation |
LPNMR
2009
Springer
15 years 5 months ago
2009
Springer
Building upon the 2-valued Layered Models semantics for normal programs, we introduce a refinement — the Layer Supported Models semantics — which, besides keeping all of LMs...
TMRA
2005
Springer
15 years 4 months ago
2005
Springer
This work-in-progress report subsumes our ongoing research to develop a Topic Maps centric, modularised system which supports collaborative software development by combining the me...
FSS
2007
14 years 10 months ago
2007
We investigate the use of multilattices as the set of truth-values underlying a general fuzzy logic programming framework. On the one hand, some theoretical results about ideals o...
CADE
2006
Springer
15 years 11 months ago
2006
Springer
110
click to vote
DLOG
2007
15 years 1 months ago
2007
Distributed Description Logics (DDLs) is a KR formalism that enables reasoning with multiple ontologies interconnected by directional semantic mapping (bridge rules). DDLs capture ...