Reuben Peter-Paul

Publication Activity (10 Years)

Years Active: 2009-2012
Publications (10 Years): 0

Top Topics

Computer Algebra Systems

Automated Deduction

Higher Order Logic

Top Venues

Publications

Gen Zou, Reuben Peter-Paul, Harold Boley, Alexandre Riazanov
PSOATransRun: Translating and Running PSOA RuleML via the TPTP Interchange Language for Theorem Provers. RuleML (2) (2012)
Gen Zou, Reuben Peter-Paul, Harold Boley, Alexandre Riazanov
PSOA2TPTP: A Reference Translator for Interoperating PSOA RuleML with TPTP Reasoners. RuleML (2012)
Lev Goldfarb, Ian Scrimger, Reuben Peter-Paul
ETS as a structural language for decision modeling and analysis: Planning, anticipation and monitoring. Risk Decis. Anal. 1 (2) (2009)