2500 search results - page 27 / 500 » Logical Semantics of Modularisation |
74
Voted
LPNMR
2009
Springer
15 years 7 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...
102
click to vote
TMRA
2005
Springer
15 years 6 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...
94
Voted
FSS
2007
15 years 16 days 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...
96
Voted
CADE
2006
Springer
16 years 27 days ago
2006
Springer
126
Voted
DLOG
2007
15 years 2 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 ...