The mathematics of non-monotonic reasoning

Martin Davis

Artificial Intelligence · 1980 · 100 citations · 0 references

Concepts