2500 search results - page 105 / 500 » Logical Semantics of Modularisation |
120
click to vote
STACS
2010
Springer
15 years 10 months ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
113
Voted
CADE
1994
Springer
15 years 7 months ago
1994
Springer
Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic acc...
123
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The paper proposes and studies temporal logics for attributed words, that is, data words with a (finite) set of (attribute,value)-pairs at each position. It considers a basic logi...
150
click to vote
JELIA
2010
Springer
15 years 1 months ago
2010
Springer
In previous work, the so-called Temporal Equilibrium Logic (TEL) was introduced. This formalism provides an extension of the Answer Set semantics for logic programs to arbirary the...
116
click to vote
WWW
2005
ACM
16 years 3 months ago
2005
ACM
Semantic Portal is the next generation of web portals that are powered by Semantic Web technologies for improved information sharing and exchange for a community of users. Current...