2500 search results - page 143 / 500 » Logical Semantics of Modularisation |
159
click to vote
CCIA
2007
Springer
16 years 18 days ago
2007
Springer
We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics for Multi-...
160
click to vote
TLDI
2003
ACM
15 years 11 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
188
click to vote
FLAIRS
2008
15 years 8 months ago
2008
Combining probability and first-order logic has been the subject of intensive research during the last ten years. The most well-known formalisms combining probability and some sub...
215
click to vote
KES
2007
Springer
2007
Springer
Inductive Concept Retrieval and Query Answering with Semantic Knowledge Bases Through Kernel Methods
16 years 16 days ago
This work deals with the application of kernel methods to structured relational settings such as semantic knowledge bases expressed in Description Logics. Our method integrates a n...
198
click to vote
DOLAP
2008
ACM
15 years 8 months ago
2008
ACM
The development of data warehouses is based on a threestage process that starts specifying both the static and dynamic properties of on-line analytical processing (OLAP) applicati...