2501 search results - page 91 / 501 » Logics with Rank Operators |
108
Voted
SIVP
2008
15 years 20 days ago
2008
Abstract The effective management and exploitation of multimedia documents requires the extraction of the underlying semantics. Multimedia analysis algorithms can produce fairly ri...
145
Voted
FMLDO
2000
Springer
15 years 4 months ago
2000
Springer
In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general objectoriented model for sc...
IPL
1998
15 years 13 days ago
1998
We propose a combination of Kleene’s three-valued logic and ACP process algebra via the guarded command construct. We present an operational semantics in SOS-style, and a comple...
118
Voted
DLOG
2009
14 years 10 months ago
2009
In this work we summarize our recent results on extending Description Logics for reasoning about prototypical properties and inheritance with exceptions. First, we focus our attent...
104
Voted
IANDC
2006
15 years 23 days ago
2006
We propose a modular approach to defining notions of simulation, and modal logics which characterise them. We use coalgebras to model state-based systems, relators to define notio...