5964 search results - page 90 / 1193 » A theory of speculative computation |
119
click to vote
MOC
1998
15 years 4 months ago
1998
Abstract. Details of a new technique for obtaining rigorous results concerning the global dynamics of nonlinear systems is described. The technique abstract existence results based...
140
click to vote
AAAI
1990
15 years 5 months ago
1990
An algorithm is described which computes stable models of propositional logic programs with negation as failure using the Assumption Based Truth Maintenance mechanism. Since stabl...
187
click to vote
Lecture Notes
A good collection of lecture notes on game thoey
123
click to vote
ICLP
2003
Springer
15 years 9 months ago
2003
Springer
We propose and study algorithms for computing minimal models, stable models and answer sets of 2- and 3-CNF theories, and normal and disjunctive 2- and 3-programs. We are especiall...
