1902 search results - page 117 / 381 » Differential Dynamic Logics |
221
click to vote
AAAI
2008
15 years 6 months ago
2008
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
161
Voted
SLOGICA
2008
15 years 5 months ago
2008
A generic format for adaptive vague logics is presented. The concrete adaptive vague logics based on this format are able to (1) identify sentences as vague or non-vague in the con...
158
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the ...
172
click to vote
ICS
2001
Tsinghua U.
15 years 10 months ago
2001
Tsinghua U.
The issue logic of dynamically scheduled superscalar processors is one of their most complex and power-consuming parts. In this paper we present alternative issue-logic designs th...
150
click to vote
FMOODS
2007
15 years 7 months ago
2007
Rewriting logic provides a powerful, flexible mechanism for language definition and analysis. This flexibility in design can lead to problems during analysis, as different desi...