17054 search results - page 155 / 3411 » Logics of Dynamical Systems |
168
Voted
SAC
2008
ACM
15 years 6 months ago
2008
ACM
In a hypothesis-based approach to digital investigation, the investigator formulates his hypothesis about which events took place, and tests them using the evidence available. A f...
227
Voted
FMCO
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
163
Voted
ICWE
2004
Springer
16 years 11 days ago
2004
Springer
The paper proposes some applications of description logic reasoning techniques in web–based education environments. Current solutions are web oriented but without applying ontolo...
176
Voted
APAL
2008
15 years 7 months ago
2008
Inspired by recent work on approximations of classical logic, we present a method that approximates several modal logics in a modular way. Our starting point is the limitation of ...
196
Voted
ENTCS
2008
15 years 7 months ago
2008
We show how to reason, in the proof assistant Coq, about realistic programming languages using a combination of separation logic and heterogeneous multimodal logic. A heterogeneou...