4401 search results - page 223 / 881 » Computing with Default Logic |
138
click to vote
BIRTHDAY
2003
Springer
15 years 10 months ago
2003
Springer
We provide a translation from CTL to Datalog¬ Succ. The translation has the following advantages: a) It is natural. b) It provides intuition to the expressive power of CTL and it...
144
click to vote
SLIP
2000
ACM
15 years 9 months ago
2000
ACM
Based on Rent’s rule, a well-established empirical relationship, a rigorous derivation of the interconnect fan-out distribution for random logic networks is performed. Through c...
155
click to vote
DRUMS
1998
Springer
15 years 9 months ago
1998
Springer
In this paper logical techniques developed to formalise the analysis of multi-interpretable information, in particular belief set operators and selection operators, are applied to...
134
click to vote
RTA
1998
Springer
15 years 9 months ago
1998
Springer
We show that simultaneous rigid E-unification, or SREU for short, is decidable and in fact EXPTIME-complete in the case of one variable. This result implies that the fragment of i...
140
click to vote
RELMICS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We introduce an implication-with-possible-exceptions and define validity of rules-withpossible-exceptions by means of the topological notion of a full subset. Our implica...