1350 search results - page 98 / 270 » Reasoning about Staged Computation |
164
click to vote
ECSQARU
2005
Springer
15 years 11 months ago
2005
Springer
In the presence of a river flood, operators in charge of control must take decisions based on imperfect and incomplete sources of information (e.g., data provided by a limited numb...
151
click to vote
STACS
2010
Springer
16 years 12 days 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...
145
click to vote
SAC
2004
ACM
15 years 10 months ago
2004
ACM
The Object Constraint Language OCL is a textual specification language that could be used for constraining the modelling elements that occur in UML diagrams. Typical constraints i...
147
click to vote
EWCBR
1998
Springer
15 years 9 months ago
1998
Springer
Object-oriented case representations require approaches for similarity assessment that allow to compare two differently structured objects, in particular, objects belonging to diff...
170
click to vote
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...