Download:
|
by Bernhard Beckert, Reiner H, Anavai Ramesh, Neil V. Murray
ftp://sonja.ira.uka.de/pub/beckert/Anti_Links_LPAR94.ps.Z
Add To MetaCart
Abstract:
ahnle
Citations
|
256
|
Truth maintenance systems
– Kleer, Harris
- 1979
|
|
56
|
An algorithm to compute circumscription
– Przymusinski
- 1989
|
|
37
|
Dissolution: making paths vanish
– Murray, Rosenthal
- 1993
|
|
34
|
An incremental method for generating prime implicants/implicates
– Kean, Tsiknis
- 1990
|
|
20
|
A new algorithm for generating prime implicants
– Slagle, Chang, et al.
- 1970
|
|
19
|
An improved incremental algorithm for computing prime implicants
– Kleer
- 1992
|
|
18
|
Computing prime implicants incrementally
– Jackson
- 1992
|
|
17
|
Computing prime implicants
– Jackson, Pais
- 1990
|
|
17
|
First-order calculi and proof procedures for automated deduction
– Letz
- 1993
|
|
17
|
A new algorithm for incremental prime implicate generation
– Ngair
- 1993
|
|
16
|
Inference with path resolution and semantic graphs
– Murray, Rosenthal
- 1987
|
|
11
|
Polynomial-time algorithms for generation of prime implicants
– Strzemecki
- 1992
|
|
9
|
Assumption based reasoning and clause management systems
– Kean, Tsiknis
- 1992
|
|
9
|
A new algorithm for generating prime implicants
– Slagle, Chang, et al.
- 1970
|
|
5
|
Path dissolution: A strongly complete rule of inference
– Murray, Rosenthal
- 1987
|
|
3
|
Non-clausal deductive techniques for computing prime implicants and prime implicates
– Ramesh, Murray
- 1320
|
