2307 search results - page 251 / 462 » Dynamic Fuzzy Logic |
189
click to vote
AAAI
2008
15 years 5 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 ...
137
click to vote
WWW
2008
ACM
16 years 5 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 ...
156
click to vote
ICS
2001
Tsinghua U.
15 years 9 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...
130
click to vote
FMOODS
2007
15 years 6 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...
106
click to vote
JCNS
2006
15 years 4 months ago
2006
We construct a neuronal network to model the logic of associative conditioning as revealed in experimental results using the terrestrial mollusk Limax maximus. We show, in particul...