2 papers
math.CO2004
Generalizations of Cauchy's Determinant and Schur's Pfaffian
Masao Ishikawa, Soichi Okada, Hiroyuki Tagawa +1
We present several generalizations of Cauchy's determinant and Schur's Pfaffian by considering matrices whose entries involve some generalized Vandermonde determinants. Special cas…
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…