2766 search results - page 26 / 554 » Hybridizing a Logical Framework |
154
click to vote
IJCAI
2007
15 years 5 months ago
2007
Integrating description logics (DL) and logic programming (LP) would produce a very powerful and useful formalism. However, DLs and LP are based on quite different principles, so ...
134
click to vote
HYBRID
2004
Springer
15 years 9 months ago
2004
Springer
We present a new high-level programming language, called XGIOTTO, for programming applications with hard real-time constraints. Like its predecessor, XGIOTTO is based on the LET (l...
125
click to vote
HYBRID
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents a Hoare-style logic for reasoning about the frequency response of control systems in the continuous-time domain. Two properties, the gain (amplitude) and phase ...
136
click to vote
ICSM
2009
IEEE
15 years 10 months ago
2009
IEEE
To improve the ability of predicting the impact scope of a given change, we present two approaches applicable to the maintenance of object-oriented software systems. Our first ap...
117
click to vote
ENTCS
2010
15 years 3 months ago
2010
Spartacus is a tableau prover for hybrid multimodal logic with global modalities and reflexive and transitive relations. Spartacus is the first system to use pattern-based blocking...