output
20022009
most citedSolar neutrino measurements in Super-Kamiokande-II

445 citations

researchers with a paper here
collaborating institutions
Showing 2004 · cs.DBShow all

1 paper · 2 filters

cs.DB2004

An Abductive Framework For Computing Knowledge Base Updates

Chiaki Sakama, Katsumi Inoue

This paper introduces an abductive framework for updating knowledge bases represented by extended disjunctive programs. We first provide a simple transformation from abductive prog…