Search result matching 185 Publications

Artificial intelligence

CLEAR ALL

What, Again? Automatic Deductive Synthesis of the Unification Algorithm

SRI Authors: Richard J. Waldinger

Conference Paper June 22, 2021

Pathway Size Matters: The Influence of Pathway Granularity on Over-Representation (Enrichment…

SRI Authors: Peter Karp

March 1, 2021

Transformer Based Molecule Encoding for Property Prediction

SRI Authors: Andrew Silberfarb, John Byrnes

December 1, 2020

Interestingness Elements for Explainable Reinforcement Learning: Understanding Agents’ Capabilities…

SRI Authors: Melinda Gervasio, Pedro Sequeira

November 1, 2020

Learning Procedures by Augmenting Sequential Pattern Mining with Planning Knowledge

SRI Authors: Melinda Gervasio, Karen Myers

August 1, 2020

A Comparison of the Pathway Tools Software with the Reactome Software

SRI Authors: Peter Karp

January 9, 2020

October 5, 2019

The MetaCyc Database of Metabolic Pathways and Enzymes – A 2019 Update

SRI Authors: Wai Kit Ong, Peter Karp

Journal Article August 3, 2019

Bridging the Gap: Converting Human Advice into Imagined Examples

SRI Authors: Karen Myers, Melinda Gervasio

July 1, 2019

Probabilistic Inference Modulo Theories

SRI Authors: Rodrigo de Salvo Braz

July 1, 2019

Privacy-Aware Adaptive Scheduling for Coalition Operations

SRI Authors: Karen Myers

March 1, 2019

Interestingness Elements for Explainable Reinforcement Learning through Introspection

SRI Authors: Pedro Sequeira, Eric Yeh, Melinda Gervasio

March 1, 2018

Explanation to Avert Surprise

SRI Authors: Melinda Gervasio, Karen Myers, Eric Yeh

1 2 3 … 16