2530 search results - page 71 / 506 » Dynamic topological logic |
DATE
2003
IEEE
15 years 5 months ago
2003
IEEE
Dynamic noise analysis is recently gaining more attention as a definitive method to overcome glaring deficiencies of static noise analysis. Exact dynamic noise analysis requires...
100
click to vote
ILP
2005
Springer
15 years 5 months ago
2005
Springer
Recursive loops in a logic program present a challenging problem to the PLP framework. On the one hand, they loop forever so that the PLP backward-chaining inferences would never s...
109
click to vote
LICS
1990
IEEE
15 years 3 months ago
1990
IEEE
Reasoning about permissions and obligations sometimes requires to distinguish more than one level of permission: certain actions are preferable to others, or one has more confiden...
190
click to vote
ECCB
2008
IEEE
15 years 1 days ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
ESOP
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. In logic programming, dynamic scheduling refers to a situation where the selection of the atom in each resolution (computation) step is determined at runtime, as opposed ...