332 search results - page 17 / 67 » Many-valued hybrid logic |
112
click to vote
JAPLL
2010
14 years 8 months ago
2010
The satisfiability problem of hybrid logics with the downarrow binder is known to be undecidable. This initiated a research program on decidable and tractable fragments. In this p...
120
click to vote
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Coalgebraic description logics offer a common semantic umbrella for extensions of description logics with reasoning principles outside relational semantics, e.g. quantitative uncer...
134
click to vote
IJCAI
2007
15 years 3 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 ...
113
click to vote
HYBRID
2004
Springer
15 years 7 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...
104
click to vote
HYBRID
2003
Springer
15 years 7 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 ...