Robert Veroff - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2022

A Wos Challenge MetRobert Veroff. JAR, 66(4):565-574, 2022. [doi]

2017

Formalizing a Fragment of Combinatorics on WordsStepan Holub, Robert Veroff. CiE 2017: 24-31 [doi]

2015

Experiments with State-of-the-art Automated Provers on Problems in Tarskian GeometryJosef Urban, Robert Veroff. lpar 2016: 122-126 [doi]

2013

Loops with Abelian Inner Mapping Groups: An Application of Automated DeductionMichael K. Kinyon, Robert Veroff, Petr Vojtechovský. BIRTHDAY 2013: 151-164 [doi]

A Geometric Procedure with Prover9Ranganathan Padmanabhan, Robert Veroff. BIRTHDAY 2013: 139-150 [doi]

2008

Abelian Logic and the Logics of Pointed Lattice-Ordered VarietiesFrancesco Paoli, Matthew Spinks, Robert Veroff. lu, 2(2):209-233, 2008. [doi]

Constructive Logic with Strong Negation is a Substructural Logic. IMatthew Spinks, Robert Veroff. sLogica, 88(3):325-348, 2008. [doi]

Constructive Logic with Strong Negation is a Substructural Logic. IIMatthew Spinks, Robert Veroff. sLogica, 89(3):401-425, 2008. [doi]

2007

Learning and modeling biosignatures from tissue imagesFrank Gilfeather, Vikas Hamine, Paul Helman, Julie Hutt, Terry Loring, C. Rick Lyons, Robert Veroff. cbm, 37(11):1539-1552, 2007. [doi]

2006

Axiomatizing the Skew Boolean Propositional CalculusRobert Veroff, Matthew Spinks. JAR, 37(1-2):3-20, 2006. [doi]

2005

Double-Negation Elimination in Some Propositional LogicsMichael Beeson, Robert Veroff, Larry Wos. sLogica, 80(2-3):195-234, 2005. [doi]

2004

A Bayesian Network Classification Methodology for Gene Expression DataPaul Helman, Robert Veroff, Susan R. Atlas, Cheryl Willman. jcb, 11(4):581-615, 2004. [doi]

2003

A Shortest 2-Basis for Boolean Algebra in Terms of the Sheffer StrokeRobert Veroff. JAR, 31(1):1-9, 2003. [doi]

2002

Short Single Axioms for Boolean AlgebraWilliam McCune, Robert Veroff, Branden Fitelson, Kenneth Harris, Andrew Feist, Larry Wos. JAR, 29(1):1-16, 2002.

2001

The application of automated reasoning to formal models of combinatorial optimizationPaul Helman, Robert Veroff. amc, 120(1-3):175-194, 2001. [doi]

Finding Shortest Proofs: An Application of Linked Inference RulesRobert Veroff. JAR, 27(2):123-139, 2001.

Solving Open Questions and Other Challenge Problems Using Proof SketchesRobert Veroff. JAR, 27(2):157-174, 2001.

1999

Understanding Integrated CircuitsGregory H. Chisholm, Steven T. Eckmann, Christopher M. Lain, Robert Veroff. dt, 16(2):26-37, 1999. [doi]

1996

Using Hints to Increase the Effectiveness of an Automated Reasoning Program: Case StudiesRobert Veroff. JAR, 16(3):223-239, 1996.

1994

Logical basis for the automation of reasoning: Case studiesLarry Wos, Robert Veroff. In Dov M. Gabbay, Christopher J. Hogger, J. A. Robinson, Jörg H. Siekmann, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, Volume2, Deduction Methodologies. pages 1-40, Oxford University Press, 1994.

1992

The Linked Inference Principle, I: The Formal TreatmentRobert Veroff. JAR, 8(2):213-274, 1992.

1991

Intermediate problem solving and data structures - walls and mirrors (2. ed.)Paul Helman, Robert Veroff, Frank R. Carrano. Benjamin/Cummings series in computer science, Benjamin/Cummings, 1991.

1988

Designing Deductive DatabasesPaul Helman, Robert Veroff. JAR, 4(1):29-68, 1988.

1984

The Linked Inference Principle, II: The User s ViewpointLarry Wos, Robert Veroff, B. Smith, William McCune. cade 1984: 316-332

A New Use of an Automated Reasoning Assistant: Open Questions in Equivalential Calculus and the Study of Infinite DomainsLarry Wos, S. Winker, B. Smith, Robert Veroff, Lawrence J. Henschen. ai, 22(3):303-356, 1984.

1983

Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domainsLarry Henschen, B. Smith, Robert Veroff, Steve Winker, Larry Wos. ndjfl, 24(2):205-223, 1983. [doi]

1981

Application of Automatic Transformations to Program VerificationRobert Veroff, Lawrence J. Henschen. IJCAI 1981: 472-479

Sign in or sign up to see more results.

runs on WebDSL