Joseph Douglas Horton

Publication Activity (10 Years)

Years Active: 1971-2013
Publications (10 Years): 0

Top Topics

Knowledge Extraction

Learning Algorithm

Default Reasoning

Top Venues

Publications

Eric Neufeld, Joseph Douglas Horton
Conditioning on Disjunctive Knowledge: Defaults and Probabilities CoRR (2013)
Therese C. Biedl, Joseph Douglas Horton, Alejandro López-Ortiz
Cross-Stitching Using Little Thread. CCCG (2005)
Joseph Douglas Horton, Alejandro López-Ortiz
On the number of distributed measurement points for network tomography. Internet Measurement Conference (2003)
Therese C. Biedl, Erik D. Demaine, Alexander Golynski, Joseph Douglas Horton, Alejandro López-Ortiz, Guillaume Poirier, Claude-Guy Quimper
Optimal Dynamic Video-on-Demand Using Adaptive Broadcasting. ESA (2003)
Therese C. Biedl, Masud Hasan, Joseph Douglas Horton, Alejandro López-Ortiz, Tomás Vinar
Searching for the center of a circle. CCCG (2002)
Joseph Douglas Horton, Walter D. Wallis
Factoring the cartesian product of a cubic graph and a triangle. Discret. Math. 259 (1-3) (2002)
Alexander Golynski, Joseph Douglas Horton
A Polynomial Time Algorithm to Find the Minimum Cycle Basis of a Regular Matroid. SWAT (2002)
Bruce Spencer, Joseph Douglas Horton
Support Ordered Resolution. CADE (2000)
Bruce Spencer, Joseph Douglas Horton
Efficient Algorithms to Detect and Restore Minimality, an Extension of the Regular Restriction of Resolution. J. Autom. Reason. 25 (1) (2000)
Peter Baumgartner, Joseph Douglas Horton, Bruce Spencer
Merge Path Improvements for Minimal Model Hyper Tableaux. TABLEAUX (1999)
Joseph Douglas Horton, Bruce Spencer
Rank/Activity: A Canonical Form for Binary Resolution. CADE (1998)
Joseph Douglas Horton, Bruce Spencer
Clause Trees: A Tool for Understanding and Implementing Resolution in Automated Reasoning. Artif. Intell. 92 (1-2) (1997)
Bruce Spencer, Joseph Douglas Horton
Extending the Regular Restriction of Resolution to Non-Linear Subdeductions. AAAI/IAAI (1997)
Michael G. Lamoureux, Joseph Douglas Horton, Bradford G. Nickerson
Dynamizing domination queries in 2-dimensions: The paper stabbing problem revisited. CCCG (1997)
Joseph Douglas Horton, R. H. Cooper, W. F. Hyslop, Bradford G. Nickerson, O. K. Ward, Robert Harland, Elton Ashby, W. M. Stewart
The Cascade Vulnerability Problem. J. Comput. Secur. 2 (4) (1993)
Joseph Douglas Horton, Kyriakos Kilakos
Minimum Edge Dominating Sets. SIAM J. Discret. Math. 6 (3) (1993)
Joseph Douglas Horton, Gillian M. Nonay
Self-orthogonal Hamilton path decompositions. Discret. Math. 97 (1-3) (1991)
Joseph Douglas Horton
A hyperfactorization of order 8, index 2. Discret. Math. 92 (1-3) (1991)
Joseph Douglas Horton, I. Z. Bouwer
-graphs. J. Comb. Theory, Ser. B 53 (1) (1991)
Joseph Douglas Horton
Orthogonal starters in finite abelian groups. Discret. Math. 79 (3) (1990)
Eric Neufeld, Joseph Douglas Horton
Conditioning on Disjunctive Knowledge: Simpson's Paradox in Default Logic. UAI (1989)
Joseph Douglas Horton
A Polynomial-Time Algorithm to Find the Shortest Cycle Basis of a Graph. SIAM J. Comput. 16 (2) (1987)
Joseph Douglas Horton
Resolvable Path Designs. J. Comb. Theory, Ser. A 39 (2) (1985)
Joseph Douglas Horton
The construction of Kotzig factorizations. Discret. Math. 43 (2-3) (1983)
Mark N. Ellingham, Joseph Douglas Horton
Non-hamiltonian 3-connected cubic bipartite graphs. J. Comb. Theory, Ser. B 34 (3) (1983)
Joseph Douglas Horton
On two-factors of bipartite regular graphs. Discret. Math. 41 (1) (1982)
Joseph Douglas Horton
Sub-Latin Squares and Incomplete Orthogonal Arrays. J. Comb. Theory, Ser. A 16 (1) (1974)
R. G. Stanton, Joseph Douglas Horton
A Multiplication Theorem for Room Squares. J. Comb. Theory, Ser. A 12 (3) (1972)
J. G. Kalbfleisch, R. G. Stanton, Joseph Douglas Horton
On Covering Sets and Error-Correcting Codes. J. Comb. Theory, Ser. A 11 (3) (1971)