Robert Veroff

29 papers A* 1A 1C 1Journal 21Unranked 3
YearRankTypeTitle / Venue / Authors
2022 J jnl
A Wos Challenge Met.
J. Autom. Reason.
Robert Veroff
2017 C conf
Formalizing a Fragment of Combinatorics on Words.
CiE
Stepan Holub, Robert Veroff
2015 — conf
Experiments with State-of-the-art Automated Provers on Problems in Tarskian Geometry.
IWIL@LPAR
Josef Urban, Robert Veroff
2014 J jnl
Discriminator logics (Research announcement).
Australas. J. Log.
Matthew Spinks, Robert J. Bignall, Robert Veroff
2013 — conf
A Geometric Procedure with Prover9.
Automated Reasoning and Mathematics
Ranganathan Padmanabhan, Robert Veroff
2013 — conf
Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction.
Automated Reasoning and Mathematics
Michael K. Kinyon, Robert Veroff, Petr Vojtechovský
2008 J jnl
Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties.
Logica Universalis
Francesco Paoli, Matthew Spinks, Robert Veroff
2008 J jnl
Constructive Logic with Strong Negation is a Substructural Logic. I.
Stud Logica
Matthew Spinks, Robert Veroff
2008 J jnl
Constructive Logic with Strong Negation is a Substructural Logic. II.
Stud Logica
Matthew Spinks, Robert Veroff
2007 J jnl
Learning and modeling biosignatures from tissue images.
Comput. Biol. Medicine
Frank Gilfeather, Vikas Hamine, Paul Helman, Julie Hutt, Terry Loring, C. Rick Lyons, Robert Veroff
2006 J jnl
Axiomatizing the Skew Boolean Propositional Calculus.
J. Autom. Reason.
Robert Veroff, Matthew Spinks
2005 J jnl
Double-Negation Elimination in Some Propositional Logics.
Stud Logica
Michael Beeson, Robert Veroff, Larry Wos
2004 J jnl
A Bayesian Network Classification Methodology for Gene Expression Data.
J. Comput. Biol.
Paul Helman, Robert Veroff, Susan R. Atlas, Cheryl Willman
2003 J jnl
A Shortest 2-Basis for Boolean Algebra in Terms of the Sheffer Stroke.
J. Autom. Reason.
Robert Veroff
2003 J jnl
Double-Negation Elimination in Some Propositional Logics
CoRR
Michael Beeson, Robert Veroff, Larry Wos
2002 J jnl
Short Single Axioms for Boolean Algebra.
J. Autom. Reason.
William McCune, Robert Veroff, Branden Fitelson, Kenneth Harris, Andrew Feist, Larry Wos
2001 J jnl
Finding Shortest Proofs: An Application of Linked Inference Rules.
J. Autom. Reason.
Robert Veroff
2001 J jnl
Solving Open Questions and Other Challenge Problems Using Proof Sketches.
J. Autom. Reason.
Robert Veroff
2001 J jnl
The application of automated reasoning to formal models of combinatorial optimization.
Appl. Math. Comput.
Paul Helman, Robert Veroff
1999 J jnl
Understanding Integrated Circuits.
IEEE Des. Test Comput.
Gregory H. Chisholm, Steven T. Eckmann, Christopher M. Lain, Robert Veroff
1996 J jnl
Using Hints to Increase the Effectiveness of an Automated Reasoning Program: Case Studies.
J. Autom. Reason.
Robert Veroff
1994 — ch.
Logical basis for the automation of reasoning: Case studies.
Handbook of Logic in Artificial Intelligence and Logic Programming (2)
Larry Wos, Robert Veroff
1992 J jnl
The Linked Inference Principle, I: The Formal Treatment.
J. Autom. Reason.
Robert Veroff
1991 — book
Intermediate problem solving and data structures - walls and mirrors (2. ed.).
Paul Helman, Robert Veroff, Frank R. Carrano
1988 J jnl
Designing Deductive Databases.
J. Autom. Reason.
Paul Helman, Robert Veroff
1984 J jnl
A New Use of an Automated Reasoning Assistant: Open Questions in Equivalential Calculus and the Study of Infinite Domains.
Artif. Intell.
Larry Wos, Steve Winker, Barry Smith, Robert Veroff, Lawrence J. Henschen
1984 A conf
The Linked Inference Principle, II: The User's Viewpoint.
CADE
Larry Wos, Robert Veroff, Barry Smith, William McCune
1983 J jnl
Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains.
Notre Dame J. Formal Log.
Larry Henschen, Barry Smith, Robert Veroff, Steve Winker, Larry Wos
1981 A* conf
Application of Automatic Transformations to Program Verification.
IJCAI
Robert Veroff, Lawrence J. Henschen