2830 search results - page 187 / 566 » No Science without Semantics |
95
Voted
WISE
2009
Springer
15 years 11 months 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...
147
Voted
LICS
2008
IEEE
15 years 9 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...
131
Voted
KSEM
2007
Springer
15 years 8 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 ...
122
click to vote
LICS
2005
IEEE
15 years 8 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...
134
Voted
ICALP
2005
Springer
15 years 8 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...