2830 search results - page 187 / 566 » No Science without Semantics |
104
Voted
WISE
2009
Springer
16 years 25 days ago
2009
Springer
The visual creation tools in the mashup frameworks are supposed to be simple and accessible. Yet at the same time there is a need to extend the capabilities and complexity of mashu...
157
Voted
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
We introduce a systematic procedure to transform large classes of (Hilbert) axioms into equivalent inference rules in sequent and hypersequent calculi. This allows for the automat...
139
Voted
KSEM
2007
Springer
15 years 9 months ago
2007
Springer
Extended argumentation framework is a formalism where defeat relations are determined by establishing a preference between arguments involved in symmetric conflicts. This process ...
136
Voted
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
The universal Horn theory of relational Kleene algebra with tests (RKAT) is of practical interest, particularly for program semantics. We develop an (infinitary) proof system, ba...
147
Voted
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a Hoare logic for a simple imperative whilelanguage with stored commands, ie. stored parameterless procedures. Stores that may contain procedures are called hi...