E-LIB Suche - Ergebnisse für: Loveland, Donald W.

1

Mark Stickel: His Earliest Work:

Loveland, Donald W.
Journal of Automated Reasoning. 56 (2015) 2 - p. 99-112 , 2015

Link: https://doi.org/10.1007/..

2

Three Views of Logic

Mathematics, Philosophy, and Computer Science

Loveland, Donald W. ; Hodel, Richard E. ; Sterrett, S. G. , 2014

Link: http://dx.doi.org/10.151..

3

SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy:

Loveland, Donald W. ; Yahya, Adnan H.
New Generation Computing. 21 (2003) 3 - p. 177-207 , 2003

Link: https://doi.org/10.1007/..

4

Proof Procedures for Logic Programming:

, In: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming,

Loveland, Donald W. ; Nadathur, Gopalan , 1998

Link: https://doi.org/10.1093/..

5

Near-Horn Prolog and the ancestry family of procedures:

Reed, David W. ; Loveland, Donald W.
Annals of Mathematics and Artificial Intelligence. 14 (1995) 2-4 - p. 225-249 , 1995

Link: https://doi.org/10.1007/..

6

SATCHMORE: SATCHMO with RElevancy:

Loveland, Donald W. ; Reed, David W. ; Wilson, Debra S.
Journal of Automated Reasoning. 14 (1995) 2 - p. 325-351 , 1995

Link: https://doi.org/10.1007/..

7

A comparison of three PROLOG extensions:

Reed, David W. ; Loveland, Donald W.
The Journal of Logic Programming. 12 (1992) 1-2 - p. 25-50 , 1992

Link: https://doi.org/10.1016/..

8

On the complexity of belief network synthesis and refinemen:

Valtorta, Marco ; Loveland, Donald W.
International Journal of Approximate Reasoning. 7 (1992) 3-4 - p. 121-148 , 1992

Link: https://doi.org/10.1016/..

9

Finding test-and-treatment procedures using parallel comput..:

Duval, Louis D. ; Wagner, Robert A. ; Han, Yijie.
Journal of Parallel and Distributed Computing. 4 (1987) 3 - p. 309-318 , 1987

Link: https://doi.org/10.1016/..

10

Finding critical sets:

Loveland, Donald W.
Journal of Algorithms. 8 (1987) 3 - p. 362-371 , 1987

Link: https://doi.org/10.1016/..

11

Performance bounds for binary testing with arbitrary weight:

Loveland, Donald W.
Acta Informatica. 22 (1985) 1 - p. 101-114 , 1985

Link: https://doi.org/10.1007/..

12

6th Conference on Automated Deduction

New York, USA, June 7 - 9, 1982 Lecture notes in computer science ; 138

Loveland, Donald W. , 1982

Exemplar: Zentrale:Magazin 01.f.8083

13

The heart of computer science:

Givbbs, Norman E. ; Loveland, Donald W. ; Ortega, James M.
ACM SIGCSE Bulletin. 6 (1974) 4 - p. 13-14 , 1974

Link: https://doi.org/10.1145/..

14

The heart of computer science:

Givbbs, Norman E. ; Loveland, Donald W. ; Ortega, James M.
ACM SIGCSE Bulletin. 6 (1974) 4 - p. 13-14 , 1974

Link: https://dl.acm.org/doi/1..

15

Erratum: "Mechanical theorem-proving by model elimination":

Loveland, Donald W.
Journal of the ACM. 16 (1969) 4 - p. 646 , 1969

Link: https://doi.org/10.1145/..