Skip to content
cs-conference-ranking.org

Donald W. Loveland

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

12

Venues

8

Active years

1969–1995

Best venue rank

A*

Where they publish

Papers

12 indexed papers, newest first.

YearVenueTitleAuthors
1995LICSUniform Proofs and Disjunctive Logic Programming (Extended Abstract)Gopalan Nadathur, Donald W. Loveland
1994GIProof Procedures for Disjunctive Logic Programming.Donald W. Loveland
1988CADEAn nH-Prolog Implementation.Bruce T. Smith, Donald W. Loveland
1988ICLPA Simple Near-Horn Prolog Interpreter.Bruce T. Smith, Donald W. Loveland
1987ICLPNear-Horn PROLOG.Donald W. Loveland
1986ICPPFinding Test-and-Treatment Procedures Using Parallel Computation.Louis D. Duval, Yijie Han, Robert A. Wagner, Donald W. Loveland
1986ISMISAutomated theorem proving: mapping logic into AI.Donald W. Loveland
1983IJCAIDetecting Ambiguity: An Example in Knowledge Evaluation.Donald W. Loveland, Marco Valtorta
1980CADESimplifying Interpreted Formulas.Donald W. Loveland, Robert E. Shostak
1978STOCPresburger Arithmetic with Bounded Quantifier AlternationC. R. Reddy, Donald W. Loveland
1973IJCAIA Hole in Goal Trees: Some Guidance from Resolution Theory.Donald W. Loveland, Mark E. Stickel
1969STOCOn Minimal-Program Complexity MeasuresDonald W. Loveland