5608 search results - page 77 / 1122 » On the Theory of Matchgate Computations |
115
click to vote
AAAI
1990
15 years 2 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...
151
click to vote
Lecture Notes
A good collection of lecture notes on game thoey
ICLP
2003
Springer
15 years 6 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...
DAC
2008
ACM
16 years 2 months ago
2008
ACM
LICS
2007
IEEE
15 years 7 months ago
2007
IEEE